Primary version lives at http://www.w3.org/2003/08/owl-systems/test-results-out
This page is a companion to the OWL Implementations page. It is generated from the latest editor's draft which contains some changes since the CR version, in combination with many tests-results pages maintained by OWL systems developers.
| Approved | Proposed | Extra Credit | |||||||
|---|---|---|---|---|---|---|---|---|---|
| Lite | DL | Full | Lite | DL | Full | Lite | DL | Full | |
| Use of OWL Namespace | 9 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| Entailment Tests | 23 | 29 | 41 | 0 | 0 | 0 | 4 | 1 | 3 |
| Non-Entailment Tests | 8 | 6 | 0 | 0 | 0 | 0 | 0 | 0 | 7 |
| OWL for OWL Tests | 1 | 1 | 4 | 0 | 0 | 0 | 0 | 0 | 0 |
| Consistency Tests | 25 | 27 | 0 | 0 | 0 | 0 | 0 | 4 | 24 |
| Inconsistency Tests | 29 | 38 | 7 | 0 | 0 | 0 | 1 | 4 | 0 |
| Import Entailment Tests | 1 | 0 | 2 | 0 | 0 | 0 | 0 | 0 | 0 |
| Import Level Tests | 3 | 1 | 3 | 0 | 0 | 0 | 0 | 0 | 0 |
| Syntactic Level Tests | 99 | 102 | 57 | 0 | 0 | 0 | 5 | 9 | 34 |
No results on these tests for: WonderWeb Euler Hoolet FaCT Surnia
| Test | FOWL | Pellet | OWLP | Cerebra | ConsVISor |
|---|---|---|---|---|---|
| Percent Passing (of 9 tests) | 100% | 100% | 100% | 100% | 100% |
| (levels:Lite) I3.2-001 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace. | Pass | Pass | Pass | Pass | Pass |
| (levels:Lite) I3.2-002 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified max cardinality constraint are not defined the OWL namespace. | Pass | Pass | Pass | Pass | Pass |
| (levels:Lite) I3.2-003 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified min cardinality constraint are not defined the OWL namespace. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I3.4-001 [APPROVED: Med L XXL]
The name UnambiguousProperty is not defined in the OWL namespace. daml:UnambiguousProperty corresponds to owl:InverseFunctionalProperty. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I4.1-001 [APPROVED: Med L XXL]
The name UniqueProperty is not defined in the OWL namespace.
daml:UniqueProperty corresponds to owl:FunctionalProperty. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I4.6-006 [APPROVED: Med L XXL]
owl:sameIndividualAs is not an OWL property. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I4.6-007 [APPROVED: Med L XXL]
owl:sameClassAs is not an OWL property. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I4.6-008 [APPROVED: Med L XXL]
owl:samePropertyAs is not an OWL property. | Pass | Pass | Pass | Pass | Pass |
(levels:Lite) I5.21-001 [APPROVED: Med L XXL]
daml:disjointUnionOf did not make it into OWL. | Pass | Pass | Pass | Pass | Pass |
No results on these tests for: WonderWeb ConsVISor
| Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | Surnia |
|---|---|---|---|---|---|---|---|---|
| Percent Passing (of 23 tests) | 65% | 82% | 100% | 65% | 73% | 82% | 4% | 26% |
(levels:Lite, Full) I5.2-002 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | Pass | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
| (levels:Lite, Full) I5.24-003 [APPROVED: Med L XXL] This is a typical definition of range from description logic. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
| (levels:Lite, Full) I5.24-004 [APPROVED: Med L XXL] This is a typical definition of range from description logic. It works both ways. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:Lite, Full) Ontology-001 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triples in the premises and conclusions. | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
(levels:Lite, Full) Ontology-004 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of two owl:Ontology triples in the premises. | Pass | Pass | Pass | Pass | Pass | no data | no data | no data |
| (levels:Lite, Full) SymmetricProperty-003 [APPROVED: Med L XXL] A Lite version of test 001. | Pass | Pass | Pass | no data | Pass | no data | no data | no data |
| (levels:Lite, Full) allValuesFrom-001 [APPROVED: Med L XXL] A simple example. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Undecided |
(levels:Lite, Full) cardinality-001 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Pass |
(levels:Lite, Full) cardinality-002 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Pass |
| (levels:Lite, Full) description-logic-661 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data |
| (levels:Lite, Full) description-logic-662 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data |
| (levels:Lite, Full) description-logic-663 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data |
| (levels:Lite, Full) description-logic-664 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. | no data | Undecided | Pass | Undecided | no data | Pass | no data | no data |
| (levels:Lite, Full) description-logic-665 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
| (levels:Lite, Full) description-logic-667 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
| (levels:Lite, Full) equivalentClass-001 [APPROVED: Med L XXL] Two classes may have the same class extension. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
| (levels:Lite, Full) equivalentClass-002 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
| (levels:Lite, Full) equivalentClass-003 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | Pass | Pass | Pass | Pass | Pass | Pass | no data | Pass |
| (levels:Lite, Full) equivalentClass-004 [APPROVED: Med L XXL] Two classes with the same complete description are equivalent. | Pass | Pass | Pass | Pass | Pass | Pass | no data | Undecided |
(levels:Lite, Full) equivalentProperty-001 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead. | Pass | Pass | Pass | no data | Pass | Pass | no data | Pass |
(levels:Lite, Full) equivalentProperty-002 [APPROVED: Med L XXL]
A reasoner can also deduce that hasLeader is a subProperty of hasHead and hasHead is a subProperty of hasLeader. | Pass | Pass | Pass | no data | Pass | Pass | no data | Pass |
| (levels:Lite, Full) equivalentProperty-003 [APPROVED: Med L XXL] The inverse entailment of test 002 also holds. | Pass | Pass | Pass | no data | Pass | Pass | no data | Pass |
| (levels:Lite, Full) someValuesFrom-003 [APPROVED: Med L XXL] A simple infinite loop for implementors to avoid. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
No results on these tests for: WonderWeb ConsVISor
| Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet | FaCT | Surnia |
|---|---|---|---|---|---|---|---|---|
| Percent Passing (of 29 tests) | 6% | 89% | 100% | 44% | 51% | 62% | 10% | 3% |
| (levels:DL, Full) I4.5-001 [APPROVED: Med L XXL] An example combinging owl:oneOf and owl:inverseOf. | no data | Pass | Pass | no data | Pass | Pass | no data | no data |
| (levels:DL, Full) I5.2-004 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
(levels:DL, Full) I5.2-006 [APPROVED: Med L XXL]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
| (levels:DL, Full) I5.21-002 [APPROVED: Med L XXL] The construct used here shows how to express mutual disjointness between classes with O(N) triples. | Undecided | Pass | Pass | Fail | Pass | Undecided | no data | no data |
(levels:DL, Full) I5.26-009 [APPROVED: Med L XXL]
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) )
ObjectProperty( first:p )
This is trivially true given that first:p is an
individualvaluedPropertyID. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:DL, Full) I5.26-010 [APPROVED: Med L XXL]
The abstract syntax form of the conclusions is:
EquivalentClasses( restriction( first:p, minCardinality(1) ) )
ObjectProperty( first:p )
This is trivially true given that first:p is an
individualvaluedPropertyID. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
| (levels:DL, Full) I5.5-005 [APPROVED: Med L XXL] This test exhibits the effect of the comprehension principles in OWL Full. | no data | Pass | Pass | Pass | no data | no data | no data | no data |
(levels:DL, Full) SymmetricProperty-002 [APPROVED: Med L XXL]
Test illustrating extensional semantics of owl:SymmetricProperty. | Undecided | Pass | Pass | no data | Undecided | no data | no data | no data |
(levels:DL, Full) TransitiveProperty-002 [APPROVED: Med L XXL]
Test illustrating extensional semantics of owl:TransitiveProperty. | Undecided | Pass | Pass | no data | Undecided | no data | no data | no data |
(levels:DL, Full) cardinality-003 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | Pass | Pass | Undecided | Pass | no data | Pass |
(levels:DL, Full) cardinality-004 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | Pass | Undecided | Pass | no data | Undecided |
| (levels:DL, Full) description-logic-201 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
| (levels:DL, Full) description-logic-202 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data |
| (levels:DL, Full) description-logic-203 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data |
| (levels:DL, Full) description-logic-204 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Pass | Pass | no data | no data |
| (levels:DL, Full) description-logic-205 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
| (levels:DL, Full) description-logic-206 [APPROVED: Med L XXL] DL Test: k_path ABox test from DL98 systems comparison. | Undecided | Pass | Pass | Undecided | Pass | Pass | no data | no data |
| (levels:DL, Full) description-logic-207 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. | no data | Pass | Pass | Pass | Pass | Pass | no data | no data |
| (levels:DL, Full) description-logic-208 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. | no data | Pass | Pass | Undecided | Undecided | Undecided | no data | no data |
| (levels:DL, Full) description-logic-901 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 2, 3 and 5. | no data | Pass | Pass | no data | Undecided | Pass | Pass | Undecided |
| (levels:DL, Full) description-logic-903 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 200, 300 and 500. | no data | Undecided | Pass | no data | Undecided | Undecided | Pass | no data |
| (levels:DL, Full) disjointWith-001 [APPROVED: Med L XXL] Disjoint classes have different members. | Pass | Pass | Pass | no data | Pass | Pass | no data | Undecided |
| (levels:DL, Full) equivalentClass-006 [APPROVED: Med L XXL] De Morgan's law. | Undecided | Pass | Pass | Pass | Pass | Pass | Pass | Undecided |
(levels:DL, Full) equivalentProperty-004 [APPROVED: Med L XXL]
If p and q have the same property extension then p equivalentProperty q. | Undecided | Pass | Pass | no data | no data | Pass | no data | Undecided |
| (levels:DL, Full) miscellaneous-010 [APPROVED: Med L XXL] Which wine goes well with which food. | no data | Undecided | Pass | no data | no data | no data | no data | no data |
| (levels:DL, Full) miscellaneous-011 [APPROVED: Med L XXL] Which wine hasSugar OffDry. | no data | Undecided | Pass | no data | no data | no data | no data | no data |
| (levels:DL, Full) oneOf-004 [APPROVED: Med L XXL] This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL. | Undecided | Pass | Pass | Fail | Undecided | Undecided | no data | no data |
| (levels:DL, Full) unionOf-003 [APPROVED: Med L XXL] Sets with appropriate extensions are related by unionOf. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
| (levels:DL, Full) unionOf-004 [APPROVED: Med L XXL] An inverse to test 003. | Undecided | Pass | Pass | Pass | Pass | Pass | no data | no data |
No results on these tests for: WonderWeb Hoolet FaCT ConsVISor
| Test | FOWL | Pellet | Euler | OWLP | Cerebra | Surnia |
|---|---|---|---|---|---|---|
| Percent Passing (of 41 tests) | 48% | 82% | 100% | 0% | 12% | 41% |
(levels:Full) AllDifferent-001 [APPROVED: Med L XXL]
using AllDifferent to derive differentFrom | Pass | Pass | Pass | no data | no data | Pass |
| (levels:Full) AnnotationProperty-002 [APPROVED: Med L XXL] Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment. | Undecided | no data | Pass | Fail | Pass | no data |
| (levels:Full) Class-002 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | Pass | Pass | Pass | no data | Pass | no data |
| (levels:Full) Class-003 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions. | Pass | Pass | Pass | no data | Pass | no data |
(levels:Full) Class-006 [APPROVED: Med L XXL]
This test shows a correct application of OWL Full comprehension rules.
It also shows that use of rdfs:Class instead of owl:Class
may make a file fall outside OWL DL. | Undecided | Pass | Pass | no data | no data | no data |
(levels:Full) FunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty,
and subject denotes a resource
which is the subject of two prop triples, then the objects
of these triples have the same denotation. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) FunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty,
and subject denotes a resource
which is the subject of two prop triples, then the objects
of these triples have the same denotation.Hence any assertion made
using one of them can be transferred to the other. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) FunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:FunctionalProperty,
then its inverse is an owl:InverseFunctionalProperty. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) FunctionalProperty-004 [APPROVED: Med L XXL]
If the range of prop is a singleton set then it is necessarily functional, (i.e. every member of its domain
has a single value) and so it is an owl:FunctionalProperty. | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) FunctionalProperty-005 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty
then an OWL individual has at most one value for prop. | Undecided | Pass | Pass | no data | Pass | no data |
(levels:Full) I4.6-003 [APPROVED: Med L XXL]
owl:sameAs is stronger than owl:equivalentClass. | Undecided | no data | Pass | no data | no data | Undecided |
| (levels:Full) I5.1-001 [APPROVED: Med L XXL] stateCode example using an inverseFunctionalProperty and literals | no data | no data | Pass | no data | no data | Undecided |
| (levels:Full) I5.24-001 [APPROVED: Med L XXL] This entailment is similar to one that does not hold in RDFS. | Undecided | Pass | Pass | no data | no data | Undecided |
| (levels:Full) I5.24-002 [APPROVED: Med L XXL] OWL, unlike RDFS, uses iff semantics for range. | Undecided | Pass | Pass | no data | no data | no data |
| (levels:Full) I5.3-014 [APPROVED: Med L XXL] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | Undecided | no data | Pass | no data | no data | no data |
| (levels:Full) I5.3-015 [APPROVED: Med L XXL] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | Undecided | no data | Pass | no data | no data | no data |
| (levels:Full) I5.8-017 [APPROVED: Med L XXL] This explores aliases of builtin datatypes. | no data | no data | Pass | no data | no data | no data |
(levels:Full) InverseFunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty,
and object denotes a resource
which is the object of two prop triples, then the subjects
of these triples have the same denotation. | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty,
and object denotes a resource
which is the object of two prop triples, then the subjects
of these triples have the same denotation. Hence any assertion made
using one of them can be transferred to the other. | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:InverseFunctionalProperty,
then its inverse is an owl:FunctionalProperty. | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) InverseFunctionalProperty-004 [APPROVED: Med L XXL]
If the domain of prop is a singleton set then it is necessarily inverse functional, (i.e. every member of its
range is the value of a single item) so it is an
owl:InverseFunctionalProperty. | Undecided | Pass | Pass | no data | no data | Pass |
(levels:Full) Restriction-006 [APPROVED: Med L XXL]
This test shows a correct application of OWL Full comprehension rules.
It also shows that optional type triples on an owl:Restriction
do not replace the obligatory ones. | Undecided | Pass | Pass | no data | no data | no data |
| (levels:Full) SymmetricProperty-001 [APPROVED: Med L XXL] A simple illustration of symmetric properties. | Pass | Pass | Pass | no data | no data | Pass |
| (levels:Full) TransitiveProperty-001 [APPROVED: Med L XXL] A simple illustration of transitivity. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) cardinality-006 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | no data | Pass | Pass | no data | no data | no data |
(levels:Full) complementOf-001 [APPROVED: Med L XXL]
complementOf is a SymmetricProperty.
| Pass | Pass | Pass | no data | no data | Undecided |
(levels:Full) differentFrom-001 [APPROVED: Med L XXL]
differentFrom is a SymmetricProperty.
| Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) differentFrom-002 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | Pass | Pass | Pass | no data | no data | Undecided |
| (levels:Full) disjointWith-002 [APPROVED: Med L XXL] Disjoint classes have different members. | Pass | Pass | Pass | no data | no data | Undecided |
(levels:Full) distinctMembers-001 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | Pass | Pass | Pass | no data | no data | Undecided |
| (levels:Full) equivalentClass-007 [APPROVED: Med L XXL] De Morgan's law. | Undecided | Pass | Pass | no data | Pass | no data |
(levels:Full) equivalentProperty-005 [APPROVED: Med L XXL]
If p and q have the same property extension then p owl:equivalentProperty q. | Undecided | Pass | Pass | no data | no data | Undecided |
(levels:Full) equivalentProperty-006 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) intersectionOf-001 [APPROVED: Med L XXL]
The order of the classes in an intersectionOf
construct is unimportant. | Undecided | Pass | Pass | no data | no data | Undecided |
(levels:Full) inverseOf-001 [APPROVED: Med L XXL]
If the pair (x,y) is an instance of P, than the pair (y,x) is
an instance of the named property. | Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) oneOf-002 [APPROVED: Med L XXL]
oneOf describes a class by enumerating its individuals.
| Pass | Pass | Pass | no data | no data | Pass |
(levels:Full) oneOf-003 [APPROVED: Med L XXL]
The order of the instances in an owl:oneOf
construct is unimportant. | Pass | Pass | Pass | no data | no data | Pass |
| (levels:Full) sameAs-001 [APPROVED: Med L XXL] Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance. | Pass | no data | Pass | no data | no data | no data |
| (levels:Full) someValuesFrom-001 [APPROVED: Med L XXL] A simple example. | Undecided | Pass | Pass | no data | no data | no data |
| (levels:Full) unionOf-001 [APPROVED: Med L XXL] A union is a superclass of its parts. | Pass | Pass | Pass | no data | no data | Pass |
| (levels:Full) unionOf-002 [APPROVED: Med L XXL] A union behaves quite like set theoretic union. | Pass | Pass | Pass | no data | no data | Undecided |
No results on these tests for: WonderWeb FaCT ConsVISor Surnia
| Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet |
|---|---|---|---|---|---|---|
| Percent Passing (of 4 tests) | 0% | 100% | 100% | 75% | 25% | 0% |
(levels:Lite, Full) I5.8-006 [EXTRACREDIT: Med L XXL]
All xsd:byte
are xsd:short. | Undecided | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) I5.8-008 [EXTRACREDIT: Med L XXL]
-1 is an xsd:short that is not an
xsd:unsignedShort;
100000 is an xsd:unsignedInt that is not
an xsd:unsignedShort; but there are no
xsd:unsignedShort which are neither
xsd:short nor
xsd:unsignedInt | Undecided | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) I5.8-009 [EXTRACREDIT: Med L XXL]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger. 0 is an
xsd:short. | Undecided | Pass | Pass | Pass | Undecided | Undecided |
(levels:Lite, Full) I5.8-010 [EXTRACREDIT: Med L XXL]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger. | Undecided | Pass | Pass | Fail | Pass | Undecided |
No results on these tests for: WonderWeb FaCT ConsVISor Surnia
| Test | FOWL | Pellet | Euler | OWLP | Cerebra | Hoolet |
|---|---|---|---|---|---|---|
| Percent Passing (of 1 tests) | 0% | 100% | 100% | 0% | 0% | 0% |
(levels:DL, Full) I5.8-004 [EXTRACREDIT: Med L XXL]
There are precisely 128 different values of xsd:byte
that are also xsd:unsignedInt. | Undecided | Pass | Pass | Fail | Undecided | Undecided |
No results on these tests for: WonderWeb Pellet OWLP Cerebra Hoolet FaCT ConsVISor Surnia
| Test | FOWL | Euler |
|---|---|---|
| Percent Passing (of 3 tests) | 0% | 100% |
| (levels:Full) extra-credit-002 [EXTRACREDIT: Med L XXL] This test shows a relationship between integer multiplication and OWL Full. | no data | Pass |
| (levels:Full) extra-credit-003 [EXTRACREDIT: Med L XXL] Prime factorization can be expressed in OWL Full. | Undecided | Pass |
| (levels:Full) extra-credit-004 [EXTRACREDIT: Med L XXL] A more difficult prime factorization example. | Undecided | Pass |
No results on these tests for: WonderWeb Hoolet FaCT ConsVISor
| Test | FOWL | Pellet | Euler | OWLP | Cerebra | Surnia |
|---|---|---|---|---|---|---|
| Percent Passing (of 8 tests) | 100% | 62% | 0% | 87% | 25% | 0% |
(levels:Lite, Full) I4.6-005 [APPROVED: Med L XXL]
owl:equivalentClass is not related to annotations on classes. | Pass | no data | Undecided | Pass | Undecided | no data |
(levels:Lite, Full) I5.8-007 [APPROVED: Med L XXL]
-1 is an xsd:short
that is not an
xsd:unsignedByte. | Pass | Pass | Undecided | Fail | Undecided | no data |
(levels:Lite, Full) Ontology-003 [APPROVED: Med L XXL]
This is a variation of equivalentClass-001,
showing the use of owl:Ontology triple only in the conclusions. | Pass | Pass | Undecided | Pass | no data | no data |
(levels:Lite, Full) Restriction-005 [APPROVED: Med L XXL]
This test shows a potential misapplication of OWL Full comprehension rules.
It also shows optional type triples on an owl:Restriction. | Pass | Pass | Undecided | Pass | Undecided | no data |
(levels:Lite, Full) allValuesFrom-002 [APPROVED: Med L XXL]
Another simple example; contrast with owl:someValuesFrom. | Pass | Pass | Undecided | Pass | Pass | Undecided |
| (levels:Lite, Full) |