OWL Test Results (Frozen 2003-12-15)

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.

Contents

  1. OWL Test Categories
  2. Results Grouped By Category
  3. Results Grouped By Number of Systems Passing
  4. Results Grouped By Number of Systems Failing
  5. Tested Systems
  6. (Re)Generation of this Document

OWL Test Categories

OWL Test Cases describes the different kinds of tests, as linked below, as well as the test status "Extra Credit". "Proposed" tests were used during test suite developement.

ApprovedProposedExtra Credit
LiteDLFullLiteDLFullLiteDLFull
Use of OWL Namespace900000000
Entailment Tests232941000413
Non-Entailment Tests860000007
OWL for OWL Tests114000000
Consistency Tests252700000424
Inconsistency Tests28387000240
Import Entailment Tests102000000
Import Level Tests313000000
Syntactic Level Tests98102570006934

Results Grouped By Category

1. Use of OWL Namespace (9 Approved Lite)

No results on these tests for: Jena2 Jena2 (Syntax) Hoolet Bossam WonderWeb Euler FaCT Surnia

TestFOWLPelletOWLPConsVISorCerebra
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.PassPassPassPassPass
(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.PassPassPassPassPass
(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.PassPassPassPassPass
(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.PassPassPassPassPass
(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.PassPassPassPassPass
(levels:Lite) I4.6-006 [APPROVED: Med L XXL] owl:sameIndividualAs is not an OWL property.PassPassPassPassPass
(levels:Lite) I4.6-007 [APPROVED: Med L XXL] owl:sameClassAs is not an OWL property.PassPassPassPassPass
(levels:Lite) I4.6-008 [APPROVED: Med L XXL] owl:samePropertyAs is not an OWL property.PassPassPassPassPass
(levels:Lite) I5.21-001 [APPROVED: Med L XXL] daml:disjointUnionOf did not make it into OWL.PassPassPassPassPass

2. Entailment Tests (23 Approved Lite)

No results on these tests for: Jena2 (Syntax) ConsVISor WonderWeb

TestFOWLJena2PelletOWLPHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 23 tests)65%69%82%65%82%95%73%100% 4%26%
(levels:Lite, Full) I5.2-002 [APPROVED: Med L XXL] A class like owl:Nothing can be defined using OWL Lite restrictions.PassPassPassPassPassPassPassPassPassUndecided
(levels:Lite, Full) I5.24-003 [APPROVED: Med L XXL] This is a typical definition of range from description logic.UndecidedPassPassPassPassPassPassPassno datano 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.PassPassPassPassPassPassPassPassno dataUndecided
(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.Passno dataPassPassno dataPassPassPassno datano 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.Passno dataPassPassno dataPassPassPassno datano data
(levels:Lite, Full) SymmetricProperty-003 [APPROVED: Med L XXL] A Lite version of test 001.Passno dataPassno datano dataPassPassPassno datano data
(levels:Lite, Full) allValuesFrom-001 [APPROVED: Med L XXL] A simple example.PassPassPassPassPassPassUndecidedPassno dataUndecided
(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.PassPassPassPassPassPassPassPassno dataPass
(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.PassPassPassPassPassPassPassPassno dataPass
(levels:Lite, Full) description-logic-661 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. no datano dataUndecidedUndecidedPassPassno dataPassno datano data
(levels:Lite, Full) description-logic-662 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. no datano dataUndecidedUndecidedPassPassno dataPassno datano data
(levels:Lite, Full) description-logic-663 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. no datano dataUndecidedUndecidedPassPassno dataPassno datano data
(levels:Lite, Full) description-logic-664 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. no dataPassUndecidedUndecidedPassPassno dataPassno datano data
(levels:Lite, Full) description-logic-665 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. no dataPassPassPassPassPassPassPassno datano data
(levels:Lite, Full) description-logic-667 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. no dataPassPassPassPassPassPassPassno datano data
(levels:Lite, Full) equivalentClass-001 [APPROVED: Med L XXL] Two classes may have the same class extension.PassPassPassPassPassPassPassPassno dataUndecided
(levels:Lite, Full) equivalentClass-002 [APPROVED: Med L XXL] Two classes may be different names for the same set of individualsPassPassPassPassPassPassPassPassno dataUndecided
(levels:Lite, Full) equivalentClass-003 [APPROVED: Med L XXL] Two classes may be different names for the same set of individualsPassPassPassPassPassPassPassPassno dataPass
(levels:Lite, Full) equivalentClass-004 [APPROVED: Med L XXL] Two classes with the same complete description are equivalent.PassPassPassPassPassPassPassPassno dataUndecided
(levels:Lite, Full) equivalentProperty-001 [APPROVED: Med L XXL] hasLeader may be stated to be the owl:equivalentProperty of hasHead.PassPassPassno dataPassPassPassPassno dataPass
(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.PassPassPassno dataPassPassPassPassno dataPass
(levels:Lite, Full) equivalentProperty-003 [APPROVED: Med L XXL] The inverse entailment of test 002 also holds.PassPassPassno dataPassPassPassPassno dataPass
(levels:Lite, Full) someValuesFrom-003 [APPROVED: Med L XXL] A simple infinite loop for implementors to avoid.no datano dataPassPassno dataFailno dataPassno datano data

3. Entailment Tests (29 Approved DL)

No results on these tests for: Jena2 (Syntax) ConsVISor WonderWeb

TestFOWLJena2PelletOWLPHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 29 tests) 6%17%89%44%62%51%51%100%10% 3%
(levels:DL, Full) I4.5-001 [APPROVED: Med L XXL] An example combinging owl:oneOf and owl:inverseOf.no dataPassPassno dataPassPassPassPassno datano data
(levels:DL, Full) I5.2-004 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions.Undecidedno dataPassPassPassPassPassPassno datano 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.UndecidedUndecidedPassPassPassFailPassPassno datano 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.Undecidedno dataPassFailUndecidedPassPassPassno datano 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 datano dataPassPassno dataPassno dataPassno datano 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 datano dataPassPassno dataPassno dataPassno datano data
(levels:DL, Full) I5.5-005 [APPROVED: Med L XXL] This test exhibits the effect of the comprehension principles in OWL Full.no datano dataPassPassno dataFailno dataPassno datano data
(levels:DL, Full) SymmetricProperty-002 [APPROVED: Med L XXL] Test illustrating extensional semantics of owl:SymmetricProperty.Undecidedno dataPassno datano dataFailUndecidedPassno datano data
(levels:DL, Full) TransitiveProperty-002 [APPROVED: Med L XXL] Test illustrating extensional semantics of owl:TransitiveProperty.Undecidedno dataPassno datano dataFailUndecidedPassno datano 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.PassPassPassPassPassPassUndecidedPassno dataPass
(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 dataPassPassPassPassFailUndecidedPassno dataUndecided
(levels:DL, Full) description-logic-201 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. no datano dataPassPassPassPassPassPassno datano data
(levels:DL, Full) description-logic-202 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. no datano dataPassUndecidedPassPassPassPassno datano data
(levels:DL, Full) description-logic-203 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. no datano dataPassUndecidedPassPassPassPassno datano data
(levels:DL, Full) description-logic-204 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. no datano dataPassUndecidedPassPassPassPassno datano data
(levels:DL, Full) description-logic-205 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. no datano dataPassPassPassPassPassPassno datano data
(levels:DL, Full) description-logic-206 [APPROVED: Med L XXL] DL Test: k_path ABox test from DL98 systems comparison. Undecidedno dataPassUndecidedPassPassPassPassno datano data
(levels:DL, Full) description-logic-207 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. no datano dataPassPassPassPassPassPassno datano data
(levels:DL, Full) description-logic-208 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison.no datano dataPassUndecidedUndecidedPassUndecidedPassno datano 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 datano dataPassno dataPassFailUndecidedPassPassUndecided
(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 datano dataUndecidedno dataUndecidedFailUndecidedPassPassno data
(levels:DL, Full) disjointWith-001 [APPROVED: Med L XXL] Disjoint classes have different members.PassPassPassno dataPassPassPassPassno dataUndecided
(levels:DL, Full) equivalentClass-006 [APPROVED: Med L XXL] De Morgan's law.Undecidedno dataPassPassPassFailPassPassPassUndecided
(levels:DL, Full) equivalentProperty-004 [APPROVED: Med L XXL] If p and q have the same property extension then p equivalentProperty q.UndecidedPassPassno dataPassFailno dataPassno dataUndecided
(levels:DL, Full) miscellaneous-010 [APPROVED: Med L XXL] Which wine goes well with which food.no datano dataUndecidedno datano dataFailno dataPassno datano data
(levels:DL, Full) miscellaneous-011 [APPROVED: Med L XXL] Which wine hasSugar OffDry.no datano dataUndecidedno datano dataFailno dataPassno datano 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.Undecidedno dataPassFailUndecidedFailUndecidedPassno datano data
(levels:DL, Full) unionOf-003 [APPROVED: Med L XXL] Sets with appropriate extensions are related by unionOf.Undecidedno dataPassPassPassFailPassPassno datano data
(levels:DL, Full) unionOf-004 [APPROVED: Med L XXL] An inverse to test 003.Undecidedno dataPassPassPassFailPassPassno datano data

4. Entailment Tests (41 Approved Full)

No results on these tests for: Jena2 (Syntax) ConsVISor Hoolet WonderWeb FaCT

TestFOWLJena2PelletOWLPBossamCerebraEulerSurnia
Percent Passing (of 41 tests)48%68%82% 0%68%12%100%41%
(levels:Full) AllDifferent-001 [APPROVED: Med L XXL] using AllDifferent to derive differentFromPassPassPassno dataPassno dataPassPass
(levels:Full) AnnotationProperty-002 [APPROVED: Med L XXL] Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment.Undecidedno datano dataFailFailPassPassno 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.Passno dataPassno dataFailPassPassno 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.Passno dataPassno dataPassPassPassno 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.Undecidedno dataPassno dataFailno dataPassno 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.PassPassPassno dataPassno dataPassPass
(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.PassPassPassno dataPassno dataPassPass
(levels:Full) FunctionalProperty-003 [APPROVED: Med L XXL] If prop is an owl:FunctionalProperty, then its inverse is an owl:InverseFunctionalProperty.PassPassPassno dataPassno dataPassPass
(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.UndecidedPassPassno dataPassno dataPassPass
(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.UndecidedPassPassno dataPassPassPassno data
(levels:Full) I4.6-003 [APPROVED: Med L XXL] owl:sameAs is stronger than owl:equivalentClass.UndecidedPassno datano dataFailno dataPassUndecided
(levels:Full) I5.1-001 [APPROVED: Med L XXL] stateCode example using an inverseFunctionalProperty and literalsno dataPassno datano dataPassno dataPassUndecided
(levels:Full) I5.24-001 [APPROVED: Med L XXL] This entailment is similar to one that does not hold in RDFS.UndecidedPassPassno dataPassno dataPassUndecided
(levels:Full) I5.24-002 [APPROVED: Med L XXL] OWL, unlike RDFS, uses iff semantics for range.UndecidedPassPassno dataFailno dataPassno 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.Undecidedno datano datano dataFailno dataPassno 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.UndecidedPassno datano dataFailno dataPassno data
(levels:Full) I5.8-017 [APPROVED: Med L XXL] This explores aliases of builtin datatypes.no datano datano datano dataFailno dataPassno 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.UndecidedPassPassno dataPassno dataPassPass
(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.UndecidedPassPassno dataPassno dataPassPass
(levels:Full) InverseFunctionalProperty-003 [APPROVED: Med L XXL] If prop is an owl:InverseFunctionalProperty, then its inverse is an owl:FunctionalProperty.UndecidedPassPassno dataPassno dataPassPass
(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.UndecidedPassPassno dataPassno dataPassPass
(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.Undecidedno dataPassno dataFailno dataPassno data
(levels:Full) SymmetricProperty-001 [APPROVED: Med L XXL] A simple illustration of symmetric properties. PassPassPassno dataPassno dataPassPass
(levels:Full) TransitiveProperty-001 [APPROVED: Med L XXL] A simple illustration of transitivity. PassPassPassno dataPassno dataPassPass
(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 dataPassPassno dataFailno dataPassno data
(levels:Full) complementOf-001 [APPROVED: Med L XXL] complementOf is a SymmetricProperty. Passno dataPassno dataPassno dataPassUndecided
(levels:Full) differentFrom-001 [APPROVED: Med L XXL] differentFrom is a SymmetricProperty. PassPassPassno dataPassno dataPassPass
(levels:Full) differentFrom-002 [APPROVED: Med L XXL] using distinctMembers to derive differentFromPassPassPassno dataPassno dataPassUndecided
(levels:Full) disjointWith-002 [APPROVED: Med L XXL] Disjoint classes have different members.PassPassPassno dataPassno dataPassUndecided
(levels:Full) distinctMembers-001 [APPROVED: Med L XXL] using distinctMembers to derive differentFromPassPassPassno dataPassno dataPassUndecided
(levels:Full) equivalentClass-007 [APPROVED: Med L XXL] De Morgan's law.Undecidedno dataPassno dataFailPassPassno data
(levels:Full) equivalentProperty-005 [APPROVED: Med L XXL] If p and q have the same property extension then p owl:equivalentProperty q.UndecidedPassPassno dataFailno dataPassUndecided
(levels:Full) equivalentProperty-006 [APPROVED: Med L XXL] hasLeader may be stated to be the owl:equivalentProperty of hasHead.PassPassPassno dataPassno dataPassPass
(levels:Full) intersectionOf-001 [APPROVED: Med L XXL] The order of the classes in an intersectionOf construct is unimportant.UndecidedPassPassno dataPassno dataPassUndecided
(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.PassPassPassno dataPassno dataPassPass
(levels:Full) oneOf-002 [APPROVED: Med L XXL] oneOf describes a class by enumerating its individuals. PassPassPassno dataPassno dataPassPass
(levels:Full) oneOf-003 [APPROVED: Med L XXL] The order of the instances in an owl:oneOf construct is unimportant.PassPassPassno dataPassno dataPassPass
(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.Passno datano datano dataPassno dataPassno data
(levels:Full) someValuesFrom-001 [APPROVED: Med L XXL] A simple example.Undecidedno dataPassno dataFailno dataPassno data
(levels:Full) unionOf-001 [APPROVED: Med L XXL] A union is a superclass of its parts. Passno dataPassno dataPassno dataPassPass
(levels:Full) unionOf-002 [APPROVED: Med L XXL] A union behaves quite like set theoretic union. Passno dataPassno dataPassno dataPassUndecided

5. Entailment Tests (4 Extra Credit Lite)

No results on these tests for: Jena2 (Syntax) ConsVISor WonderWeb FaCT Surnia

TestFOWLJena2PelletOWLPHooletBossamCerebraEuler
Percent Passing (of 4 tests) 0%75%100%75% 0%100%25%100%
(levels:Lite, Full) I5.8-006 [EXTRACREDIT: Med L XXL] All xsd:byte are xsd:short.UndecidedPassPassPassUndecidedPassUndecidedPass
(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:unsignedIntUndecidedPassPassPassUndecidedPassUndecidedPass
(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.UndecidedPassPassPassUndecidedPassUndecidedPass
(levels:Lite, Full) I5.8-010 [EXTRACREDIT: Med L XXL] 0 is the only xsd:nonNegativeInteger which is also an xsd:nonPositiveInteger.UndecidedUndecidedPassFailUndecidedPassPassPass

6. Entailment Tests (1 Extra Credit DL)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor WonderWeb FaCT Surnia

TestFOWLPelletOWLPHooletBossamCerebraEuler
Percent Passing (of 1 tests) 0%100% 0% 0% 0% 0%100%
(levels:DL, Full) I5.8-004 [EXTRACREDIT: Med L XXL] There are precisely 128 different values of xsd:byte that are also xsd:unsignedInt.UndecidedPassFailUndecidedFailUndecidedPass

7. Entailment Tests (3 Extra Credit Full)

No results on these tests for: Jena2 Jena2 (Syntax) Pellet OWLP ConsVISor Hoolet WonderWeb Cerebra FaCT Surnia

TestFOWLBossamEuler
Percent Passing (of 3 tests) 0% 0%100%
(levels:Full) extra-credit-002 [EXTRACREDIT: Med L XXL] This test shows a relationship between integer multiplication and OWL Full.no dataFailPass
(levels:Full) extra-credit-003 [EXTRACREDIT: Med L XXL] Prime factorization can be expressed in OWL Full.UndecidedFailPass
(levels:Full) extra-credit-004 [EXTRACREDIT: Med L XXL] A more difficult prime factorization example.UndecidedFailPass

8. Non-Entailment Tests (8 Approved Lite)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor Hoolet Bossam WonderWeb FaCT

TestFOWLPelletOWLPCerebraEulerSurnia
Percent Passing (of 8 tests)100%62%87%25% 0% 0%
(levels:Lite, Full) I4.6-005 [APPROVED: Med L XXL] owl:equivalentClass is not related to annotations on classes.Passno dataPassUndecidedUndecidedno data
(levels:Lite, Full) I5.8-007 [APPROVED: Med L XXL] -1 is an xsd:short that is not an xsd:unsignedByte.PassPassFailUndecidedUndecidedno 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.PassPassPassno dataUndecidedno 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.PassPassPassUndecidedUndecidedno data
(levels:Lite, Full) allValuesFrom-002 [APPROVED: Med L XXL] Another simple example; contrast with owl:someValuesFrom.PassPassPassPassUndecidedUndecided
(levels:Lite, Full) equivalentClass-005 [APPROVED: Med L XXL] Two classes with the same partial description are not equivalent.PassPassPassPassUndecidedUndecided
(levels:Lite, Full) miscellaneous-302 [APPROVED: Med L XXL] Annotations participate a little in the semantics.Passno dataPassno dataUndecidedno data
(levels:Lite) AnnotationProperty-001 [APPROVED: Med L XXL] The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations.Passno dataPassUndecidedFailno data

9. Non-Entailment Tests (6 Approved DL)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor Hoolet Bossam WonderWeb

TestFOWLPelletOWLPCerebraEulerFaCTSurnia
Percent Passing (of 6 tests)83%83%50% 0% 0%33% 0%
(levels:DL, Full) Class-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:Class.PassPassPassUndecidedUndecidedno datano data
(levels:DL, Full) I5.8-005 [APPROVED: Med L XXL] There are 128 different values of xsd:byte that are also xsd:unsignedInt.PassPassPassUndecidedUndecidedno datano data
(levels:DL, Full) description-logic-209 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. (Modified in light of implementation feedback, see test description-logic-208).no dataPassUndecidedno dataUndecidedno datano data
(levels:DL, Full) description-logic-902 [APPROVED: Med L XXL] This non-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 6.PassPassno dataUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-904 [APPROVED: Med L XXL] This non-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 600.PassPassno dataUndecidedUndecidedPassno data
(levels:DL, Full) equivalentClass-008 [APPROVED: Med L XXL] Annotation properties refer to a class instance. equivalentClass refers to the class extension.Passno dataPassUndecidedUndecidedno datano data

10. Non-Entailment Tests (7 Extra Credit Full)

No results on these tests for: Jena2 Jena2 (Syntax) OWLP ConsVISor Hoolet Bossam WonderWeb Cerebra FaCT

TestFOWLPelletEulerSurnia
Percent Passing (of 7 tests)100%57% 0% 0%
(levels:Full) Class-004 [EXTRACREDIT: Med L XXL] Annotations about owl:Class are not related to those about rdfs:Class.Passno dataUndecidedno data
(levels:Full) I4.6-004 [EXTRACREDIT: Med L XXL] owl:sameAs is stronger than owl:equivalentClass.Passno dataUndecidedno data
(levels:Full) I5.5-006 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists.PassPassUndecidedno data
(levels:Full) I5.5-007 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists.Passno dataFailno data
(levels:Full) imports-002 [EXTRACREDIT: Med L XXL] If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. PassPassUndecidedUndecided
(levels:Full) miscellaneous-301 [EXTRACREDIT: Med L XXL] Annotations participate a little in the semantics.PassPassUndecidedno data
(levels:Full) someValuesFrom-002 [EXTRACREDIT: Med L XXL] A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom.PassPassUndecidedUndecided

11. OWL for OWL Tests (1 Approved Lite)

No results on these tests for: Jena2 Jena2 (Syntax) Pellet ConsVISor Hoolet Bossam WonderWeb FaCT Surnia

TestFOWLOWLPCerebraEuler
Percent Passing (of 1 tests)100%100% 0%100%
(levels:Lite, Full) I5.8-011 [APPROVED: Med L XXL] The empty graph entails that xsd:integer and xsd:string are a rdfs:DatatypePassPassUndecidedPass

12. OWL for OWL Tests (1 Approved DL)

No results on these tests for: Jena2 (Syntax) Pellet ConsVISor Hoolet Bossam WonderWeb Cerebra FaCT Surnia

TestFOWLJena2OWLPEuler
Percent Passing (of 1 tests)100%100%100%100%
(levels:DL, Full) Nothing-002 [APPROVED: Med L XXL] An empty owl:Class has the same class extension as owl:Nothing.PassPassPassPass

13. OWL for OWL Tests (4 Approved Full)

No results on these tests for: Jena2 (Syntax) Pellet OWLP ConsVISor Hoolet Bossam WonderWeb FaCT Surnia

TestFOWLJena2CerebraEuler
Percent Passing (of 4 tests)100%50%100%100%
(levels:Full) Class-001 [APPROVED: Med L XXL] In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class.Passno dataPassPass
(levels:Full) I5.5-001 [APPROVED: Med L XXL] rdf:first is a FunctionalProperty.PassPassPassPass
(levels:Full) I5.5-002 [APPROVED: Med L XXL] rdf:rest is a FunctionalProperty.PassPassPassPass
(levels:Full) imports-010 [APPROVED: Med L XXL] This test specifies the domain and range for owl:imports.Passno dataPassPass

14. Consistency Tests (25 Approved Lite)

No results on these tests for: Jena2 Jena2 (Syntax) Bossam WonderWeb Surnia

TestFOWLPelletOWLPConsVISorHooletCerebraEulerFaCT
Percent Passing (of 25 tests)64%100%64%80%76%84% 0%40%
(levels:Lite, Full) I5.2-001 [APPROVED: Med L XXL] A class like owl:Nothing can be defined using OWL Lite restrictions.PassPassPassPassPassPassUndecidedPass
(levels:Lite, Full) I5.2-003 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions.PassPassPassPassPassPassUndecidedno data
(levels:Lite, Full) I5.2-010 [APPROVED: Med L XXL] The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL.PassPassPassPassPassPassUndecidedno data
(levels:Lite, Full) I5.2-011 [APPROVED: Med L XXL] The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL.PassPassPassPassPassPassUndecidedno data
(levels:Lite, Full) I5.3-006 [APPROVED: Med L XXL] A minimal OWL Lite version of test 005.PassPassPassPassPassPassUndecidedno data
(levels:Lite, Full) I5.3-008 [APPROVED: Med L XXL] An OWL Lite version of test 007.PassPassPassPassPassPassUndecidedno data
(levels:Lite, Full) I5.3-011 [APPROVED: Med L XXL] Classes can be the object of annotation properties in OWL Lite and DL.PassPassPassPassPassPassUndecidedno data
(levels:Lite, Full) I5.8-013 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics.PassPassPassPassno dataUndecidedUndecidedno data
(levels:Lite, Full) I5.8-015 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics.PassPassPassFailno dataUndecidedUndecidedno data
(levels:Lite, Full) Restriction-004 [APPROVED: Med L XXL] This test shows OWL Lite syntax for using two equivalent restrictions. PassPassPassPassPassPassUndecidedno data
(levels:Lite, Full) backwardCompatibleWith-001 [APPROVED: Med L XXL] An example of use.PassPassPassPassno dataPassUndecidedno data
(levels:Lite, Full) description-logic-605 [APPROVED: Med L XXL] DL Test: fact4.2 no dataPassno dataPassPassPassUndecidedPass
(levels:Lite, Full) description-logic-606 [APPROVED: Med L XXL] DL Test: t1.1 no dataPassno dataUndecidedPassPassUndecidedPass
(levels:Lite, Full) description-logic-609 [APPROVED: Med L XXL] DL Test: t10.1 no dataPassno dataPassPassPassUndecidedPass
(levels:Lite, Full) description-logic-616 [APPROVED: Med L XXL] DL Test: t2.1 no dataPassno dataPassPassPassUndecidedPass
(levels:Lite, Full) description-logic-624 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model no dataPassno dataPassPassPassUndecidedPass
(levels:Lite, Full) description-logic-625 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model no dataPassno dataPassPassPassUndecidedPass
(levels:Lite, Full) description-logic-628 [APPROVED: Med L XXL] DL Test: t7.1 no dataPassno dataUndecidedUndecidedPassUndecidedPass
(levels:Lite, Full) description-logic-631 [APPROVED: Med L XXL] DL Test: t7f.1 no dataPassno dataUndecidedUndecidedPassUndecidedPass
(levels:Lite, Full) description-logic-634 [APPROVED: Med L XXL] DL Test: t8.1 no dataPassno dataPassPassPassUndecidedPass
(levels:Lite, Full) imports-012 [APPROVED: Med L XXL] A simple test for infinite loops in imports processing code.PassPassPassPassno dataPassUndecidedno data
(levels:Lite, Full) miscellaneous-201 [APPROVED: Med L XXL] This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation.PassPassPassPassPassPassUndecidedno data
(levels:Lite, Full) miscellaneous-202 [APPROVED: Med L XXL] This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL.PassPassPassPassPassUndecidedUndecidedno data
(levels:Lite, Full) miscellaneous-205 [APPROVED: Med L XXL] This shows that an OWL consistency checker which does not support the datatype rdf:XMLLiteral should not detect inconsistencies depending on it. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, but consistent in this test, which excludes such support.PassPassPassFailPassUndecidedUndecidedno data
(levels:Lite, Full) miscellaneous-303 [APPROVED: Med L XXL] dc:creator may be declared as an annotation property.PassPassPassPassPassPassUndecidedno data

15. Consistency Tests (27 Approved DL)

No results on these tests for: Jena2 Jena2 (Syntax) Bossam WonderWeb Surnia

TestFOWLPelletOWLPConsVISorHooletCerebraEulerFaCT
Percent Passing (of 27 tests)44%92%37%74%81%96% 0%44%
(levels:DL, Full) I5.2-005 [APPROVED: Med L XXL] The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf.PassPassPassPassPassPassUndecidedno data
(levels:DL, Full) I5.8-002 [APPROVED: Med L XXL] There are 256 different values for xsd:byte.PassPassPassUndecidedUndecidedPassUndecidedno data
(levels:DL, Full) I5.8-012 [APPROVED: Med L XXL] There might be only 128 different values of xsd:byte that are also xsd:unsignedInt; but this does not follow from the datatype theory of this test. (cf. the similar inconsistency test).PassPassPassUndecidedUndecidedPassUndecidedno data
(levels:DL, Full) description-logic-005 [APPROVED: Med L XXL] DL Test: fact4.2 no dataPassno dataPassPassPassUndecidedPass
(levels:DL, Full) description-logic-006 [APPROVED: Med L XXL] DL Test: t1.1 no dataPassno dataPassPassPassUndecidedPass
(levels:DL, Full) description-logic-009 [APPROVED: Med L XXL] DL Test: t10.1 PassPassno dataPassPassPassUndecidedPass
(levels:DL, Full) description-logic-016 [APPROVED: Med L XXL] DL Test: t2.1 PassPassno dataPassPassPassUndecidedPass
(levels:DL, Full) description-logic-018 [APPROVED: Med L XXL] DL Test: t3.1 There are 90 possible partitions in the satisfiable case no dataPassPassPassPassPassUndecidedPass
(levels:DL, Full) description-logic-020 [APPROVED: Med L XXL] DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case no dataPassPassPassPassPassUndecidedPass
(levels:DL, Full) description-logic-021 [APPROVED: Med L XXL] DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case no dataPassPassUndecidedPassPassUndecidedPass
(levels:DL, Full) description-logic-024 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model no dataPassno dataPassPassPassUndecidedPass
(levels:DL, Full) description-logic-025 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model no dataPassno dataPassPassPassUndecidedPass
(levels:DL, Full) description-logic-028 [APPROVED: Med L XXL] DL Test: t7.1 no dataPassno dataUndecidedPassPassUndecidedPass
(levels:DL, Full) description-logic-031 [APPROVED: Med L XXL] DL Test: t7f.1 no dataPassno dataUndecidedPassPassUndecidedPass
(levels:DL, Full) description-logic-034 [APPROVED: Med L XXL] DL Test: t8.1 no dataPassno dataPassPassPassUndecidedPass
(levels:DL, Full) description-logic-503 [APPROVED: Med L XXL] This is a different encoding of test 501.no dataPassFailUndecidedPassPassUndecidedno data
(levels:DL, Full) description-logic-908 [APPROVED: Med L XXL] This test shows integer multiplication in OWL DL, interacting with infinity.

N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity.
no dataPassno dataPassPassPassUndecidedno data
(levels:DL, Full) disjointWith-003 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL.PassPassFailPassPassPassUndecidedno data
(levels:DL, Full) disjointWith-005 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL.PassPassFailPassPassPassUndecidedno data
(levels:DL, Full) disjointWith-007 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.PassPassFailPassPassPassUndecidedno data
(levels:DL, Full) disjointWith-009 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.PassPassFailPassPassPassUndecidedno data
(levels:DL, Full) equivalentClass-009 [APPROVED: Med L XXL] A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path.PassPassPassPassPassPassUndecidedno data
(levels:DL, Full) miscellaneous-001 [APPROVED: Med L XXL] Wine example taken from the guide.no dataUndecidedno dataPassUndecidedPassUndecidedno data
(levels:DL, Full) miscellaneous-002 [APPROVED: Med L XXL] Food example taken from the guide.no dataUndecidedno dataPassUndecidedPassUndecidedno data
(levels:DL, Full) miscellaneous-102 [APPROVED: Med L XXL] Abstract syntax restrictions with multiple components are in OWL DL.PassPassPassPassPassPassUndecidedno data
(levels:DL, Full) miscellaneous-103 [APPROVED: Med L XXL] This description cannot be expressed as a multicomponent restriction in the abstract syntax.PassPassPassPassPassPassUndecidedno data
(levels:DL) Thing-004 [APPROVED: Med L XXL] The extension of OWL Thing may be a singleton in OWL DL.no dataPassPassFailno datano dataFailno data

16. Consistency Tests (4 Extra Credit DL)

No results on these tests for: FOWL Jena2 Jena2 (Syntax) OWLP Bossam WonderWeb FaCT Surnia

TestPelletConsVISorHooletCerebraEuler
Percent Passing (of 4 tests) 0% 0% 0%100% 0%
(levels:DL, Full) description-logic-501 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem.UndecidedUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-905 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 2. M is 3. N times M is 6.
UndecidedUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-906 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 20. M is 30. N times M is 600.
UndecidedUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-907 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 200. M is 300. N times M is 60000.
no dataUndecidedUndecidedPassUndecided

17. Consistency Tests (24 Extra Credit Full)

No results on these tests for: Jena2 (Syntax) Hoolet Bossam WonderWeb FaCT Surnia

TestFOWLJena2PelletOWLPConsVISorCerebraEuler
Percent Passing (of 24 tests)87% 0%79% 8%95%41% 0%
(levels:Full) AnnotationProperty-003 [EXTRACREDIT: Med L XXL] URI references used in annotations don't need to be typed.no datano dataPassPassPassno dataUndecided
(levels:Full) AnnotationProperty-004 [EXTRACREDIT: Med L XXL] AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. no dataUndecidedno datano dataPassno dataUndecided
(levels:Full) DatatypeProperty-001 [EXTRACREDIT: Med L XXL] DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full.Undecidedno datano datano dataPassPassUndecided
(levels:Full) I5.1-010 [EXTRACREDIT: Med L XXL] There are 128 different bytes that are also unsigned integers; and hence also 127.Passno datano datano dataUndecidedUndecidedUndecided
(levels:Full) I5.26-001 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and a type triple.Passno dataPassno dataPassno dataUndecided
(levels:Full) I5.26-002 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple.Passno dataPassno dataPassPassUndecided
(levels:Full) I5.26-003 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between two class descriptions.Passno dataPassno dataPassPassUndecided
(levels:Full) I5.26-004 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple.Passno dataPassno dataPassPassUndecided
(levels:Full) I5.26-005 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple.Passno dataPassno dataPassPassUndecided
(levels:Full) I5.26-006 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle.Passno dataPassno dataPassno dataUndecided
(levels:Full) I5.26-007 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle.Passno dataPassno dataPassno dataUndecided
(levels:Full) I5.3-005 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. Passno dataPassno dataPassno dataUndecided
(levels:Full) I5.3-007 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. Passno dataPassno dataPassno dataUndecided
(levels:Full) I5.3-009 [EXTRACREDIT: Med L XXL] The use of blank nodes in OWL DL and OWL Lite is restricted. Passno dataPassno dataPassno dataUndecided
(levels:Full) I5.3-010 [EXTRACREDIT: Med L XXL] Classes cannot be the object of regular properties in OWL DL.Passno datano datano dataPassPassUndecided
(levels:Full) I5.8-014 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.Passno datano datano dataPassno dataUndecided
(levels:Full) I5.8-016 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.Passno dataPassPassPassno dataUndecided
(levels:Full) I6.1-001 [EXTRACREDIT: Med L XXL] The blank nodes in a individual description in OWL DL may not form a directed cycle.Passno dataPassno dataPassno dataUndecided
(levels:Full) Restriction-003 [EXTRACREDIT: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. Passno dataPassno dataPassPassUndecided
(levels:Full) backwardCompatibleWith-002 [EXTRACREDIT: Med L XXL] In OWL Lite and DL the subject and object of a triple with predicate owl:backwardCompatibleWith must both be explicitly typed as owl:Ontology.Passno dataPassno dataPassno dataUndecided
(levels:Full) disjointWith-004 [EXTRACREDIT: Med L XXL] This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D.Passno dataPassno dataPassPassUndecided
(levels:Full) disjointWith-006 [EXTRACREDIT: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL.Passno dataPassno dataPassPassUndecided
(levels:Full) disjointWith-008 [EXTRACREDIT: Med L XXL] A further example that cannot be generated from the mapping rule for DisjointClasses.Passno dataPassno dataPassPassUndecided
(levels:Full) oneOf-001 [EXTRACREDIT: Med L XXL] oneOf does not indicate that the named individuals are distinct. Thus a consistent interpretation of this file is when all the individual names denote the same individual.Passno dataPassno dataPassUndecidedUndecided

18. Inconsistency Tests (28 Approved Lite)

No results on these tests for: Jena2 (Syntax) Bossam WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletCerebraEulerFaCTSurnia
Percent Passing (of 28 tests) 7%75%100%28%60%96%67%100%85% 0%
(levels:Lite, Full) Nothing-001 [APPROVED: Med L XXL] The triple asserts something of type owl:Nothing, however that is the empty class.PassPassPassPassPassPassUndecidedPassno datano data
(levels:Lite, Full) Restriction-001 [APPROVED: Med L XXL] This test shows the syntax for using the same restriction twice in OWL Lite. PassPassPassPassUndecidedPassUndecidedPassno datano data
(levels:Lite, Full) Thing-003 [APPROVED: Med L XXL] The extension of OWL Thing may not be empty.no dataPassPassFailFailno datano dataPassno datano data
(levels:Lite, Full) description-logic-601 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. no dataPassPassFailUndecidedPassPassPassno datano data
(levels:Lite, Full) description-logic-602 [APPROVED: Med L XXL] DL Test: fact2.1 no dataPassPassPassPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-603 [APPROVED: Med L XXL] DL Test: fact3.1 no dataPassPassno dataUndecidedPassPassPassPassUndecided
(levels:Lite, Full) description-logic-604 [APPROVED: Med L XXL] DL Test: fact4.1 no dataPassPassno dataUndecidedPassPassPassPassUndecided
(levels:Lite, Full) description-logic-608 [APPROVED: Med L XXL] DL Test: t1.3 no datano dataPassno dataUndecidedPassPassPassPassUndecided
(levels:Lite, Full) description-logic-610 [APPROVED: Med L XXL] DL Test: t10.2 no dataPassPassno dataPassPassUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-611 [APPROVED: Med L XXL] DL Test: t10.3 no datano dataPassno dataPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-612 [APPROVED: Med L XXL] DL Test: t10.4 no dataPassPassno dataUndecidedPassPassPassPassUndecided
(levels:Lite, Full) description-logic-613 [APPROVED: Med L XXL] DL Test: t10.5 no dataPassPassno dataPassPassUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-614 [APPROVED: Med L XXL] DL Test: t11.1 no dataPassPassno dataPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-615 [APPROVED: Med L XXL] DL Test: t12.1 no datano dataPassno dataPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-617 [APPROVED: Med L XXL] DL Test: t2.2 no dataPassPassno dataPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-623 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example no datano dataPassno dataUndecidedPassUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-626 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking no datano dataPassno dataUndecidedPassPassPassPassUndecided
(levels:Lite, Full) description-logic-627 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking no datano dataPassno dataUndecidedPassPassPassPassUndecided
(levels:Lite, Full) description-logic-629 [APPROVED: Med L XXL] DL Test: t7.2 no dataPassPassno dataPassPassUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-630 [APPROVED: Med L XXL] DL Test: t7.3 no datano dataPassno dataPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-632 [APPROVED: Med L XXL] DL Test: t7f.2 no dataPassPassno dataPassPassUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-633 [APPROVED: Med L XXL] DL Test: t7f.3 no dataPassPassno dataPassPassUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-641 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassPassPassPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-642 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassPassPassPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-643 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassPassPassPassPassPassPassPassUndecided
(levels:Lite, Full) description-logic-644 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassPassPassPassPassPassPassPassno data
(levels:Lite, Full) description-logic-646 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno dataPassPassFailPassPassPassPassPassno data
(levels:Lite, Full) description-logic-650 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictionsno dataPassPassPassUndecidedPassPassPassPassno data

19. Inconsistency Tests (38 Approved DL)

No results on these tests for: Jena2 (Syntax) Bossam WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletCerebraEulerFaCTSurnia
Percent Passing (of 38 tests) 2%31%97%26%68%94%55%97%86% 0%
(levels:DL, Full) I4.5-002 [APPROVED: Med L XXL] An example combining owl:oneOf and owl:inverseOf.UndecidedPassPassno dataPassPassUndecidedPassno datano data
(levels:DL, Full) description-logic-001 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. UndecidedPassPassPassUndecidedPassPassPassPassUndecided
(levels:DL, Full) description-logic-002 [APPROVED: Med L XXL] DL Test: fact2.1 UndecidedPassPassFailPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-003 [APPROVED: Med L XXL] DL Test: fact3.1 UndecidedPassPassno dataPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-004 [APPROVED: Med L XXL] DL Test: fact4.1 UndecidedPassPassno dataPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-007 [APPROVED: Med L XXL] DL Test: t1.2 no dataPassPassno dataUndecidedPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-008 [APPROVED: Med L XXL] DL Test: t1.3 no datano dataPassno dataPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-010 [APPROVED: Med L XXL] DL Test: t10.2 UndecidedPassPassno dataPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-011 [APPROVED: Med L XXL] DL Test: t10.3 Undecidedno dataPassno dataPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-012 [APPROVED: Med L XXL] DL Test: t10.4 UndecidedPassPassno dataPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-013 [APPROVED: Med L XXL] DL Test: t10.5 UndecidedPassPassno dataPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-014 [APPROVED: Med L XXL] DL Test: t11.1 UndecidedPassPassno dataPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-015 [APPROVED: Med L XXL] DL Test: t12.1 Undecidedno dataPassno dataPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-017 [APPROVED: Med L XXL] DL Test: t2.2 UndecidedPassPassno dataPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-019 [APPROVED: Med L XXL] DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case no datano dataPassFailUndecidedPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-022 [APPROVED: Med L XXL] DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case no dataPassPassFailUndecidedPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-023 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example no datano dataPassno dataUndecidedPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-026 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking no datano dataPassno dataUndecidedPassPassPassPassUndecided
(levels:DL, Full) description-logic-027 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking no datano dataPassno dataUndecidedPassPassPassPassUndecided
(levels:DL, Full) description-logic-029 [APPROVED: Med L XXL] DL Test: t7.2 no datano dataPassno dataPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-030 [APPROVED: Med L XXL] DL Test: t7.3 no datano dataPassno dataPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-032 [APPROVED: Med L XXL] DL Test: t7f.2 no datano dataPassno dataPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-033 [APPROVED: Med L XXL] DL Test: t7f.3 no datano dataPassno dataPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-035 [APPROVED: Med L XXL] A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2.no datano dataPassno dataUndecidedPassUndecidedPassno datano data
(levels:DL, Full) description-logic-040 [APPROVED: Med L XXL] This kind of pattern comes up a lot in more complex ontologies. Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies.no datano dataPassUndecidedUndecidedno dataPassPassno datano data
(levels:DL, Full) description-logic-101 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano dataPassPassPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-102 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano dataPassPassPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-103 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano dataPassPassPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-104 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano dataPassPassPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-105 [APPROVED: Med L XXL] DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno datano dataPassPassPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-106 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno datano dataPassFailPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-107 [APPROVED: Med L XXL] DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyno datano dataPassno dataPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-108 [APPROVED: Med L XXL] DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyno datano dataPassno dataUndecidedPassPassPassPassUndecided
(levels:DL, Full) description-logic-109 [APPROVED: Med L XXL] DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyPassno dataPassPassPassPassUndecidedPassPassUndecided
(levels:DL, Full) description-logic-110 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictionsUndecidedno dataPassPassUndecidedPassPassPassPassUndecided
(levels:DL, Full) description-logic-111 [APPROVED: Med L XXL] DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictionsno datano dataPassPassPassPassPassPassPassUndecided
(levels:DL, Full) description-logic-504 [APPROVED: Med L XXL] This is a different encoding of test 502.no datano dataPassPassUndecidedPassPassUndecidedno datano data
(levels:DL, Full) description-logic-909 [APPROVED: Med L XXL] This test shows integer multiplication in OWL DL.

For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K.
no datano datano datano dataPassUndecidedno dataPassno datano data

20. Inconsistency Tests (7 Approved Full)

No results on these tests for: Jena2 (Syntax) OWLP Hoolet Bossam WonderWeb Cerebra FaCT

TestFOWLJena2PelletConsVISorEulerSurnia
Percent Passing (of 7 tests)57%71%57%57%100%42%
(levels:Full) I5.5-003 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:rest property.PassPassFailUndecidedPassPass
(levels:Full) I5.5-004 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:first property.PassPassFailPassPassPass
(levels:Full) Restriction-002 [APPROVED: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. PassPassPassPassPassno data
(levels:Full) Thing-005 [APPROVED: Med L XXL] The extension of OWL Thing may not be a singleton in OWL Full.no datano dataFailPassPassno data
(levels:Full) disjointWith-010 [APPROVED: Med L XXL] The owl:disjointWith loop is not in OWL DL. Classes that are disjoint with themselves are necessarily empty.Passno dataPassPassPassno data
(levels:Full) maxCardinality-001 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node.UndecidedPassPassUndecidedPassPass
(levels:Full) maxCardinality-002 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit. UndecidedPassPassUndecidedPassUndecided

21. Inconsistency Tests (2 Extra Credit Lite)

No results on these tests for: Jena2 Jena2 (Syntax) Bossam WonderWeb FaCT Surnia

TestFOWLPelletOWLPConsVISorHooletCerebraEuler
Percent Passing (of 2 tests) 0%100% 0%100% 0% 0%100%
(levels:Lite, Full) miscellaneous-203 [EXTRACREDIT: Med L XXL] This shows that initial whitespace in an rdf:XMLLiteral is significant within OWL.UndecidedPassFailPassUndecidedUndecidedPass
(levels:Lite, Full) miscellaneous-204 [EXTRACREDIT: Med L XXL] This shows a simple inconsistency depending on the datatype rdf:XMLLiteral. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, and consistent otherwise.UndecidedPassFailPassUndecidedUndecidedPass

22. Inconsistency Tests (4 Extra Credit DL)

No results on these tests for: FOWL Jena2 Jena2 (Syntax) Bossam WonderWeb FaCT Surnia

TestPelletOWLPConsVISorHooletCerebraEuler
Percent Passing (of 4 tests)50% 0% 0% 0% 0%75%
(levels:DL, Full) I5.8-001 [EXTRACREDIT: Med L XXL] There are only 256 different values for xsd:byte.PassFailUndecidedUndecidedUndecidedPass
(levels:DL, Full) I5.8-003 [EXTRACREDIT: Med L XXL] There are only 128 different values of xsd:byte that are also xsd:unsignedInt.PassFailUndecidedUndecidedUndecidedPass
(levels:DL, Full) description-logic-502 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem.Undecidedno dataUndecidedUndecidedUndecidedUndecided
(levels:DL, Full) description-logic-910 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 20. M is 30. N times M is not 601.
Undecidedno dataUndecidedUndecidedno dataPass

23. Import Entailment Tests (1 Approved Lite)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor Hoolet Bossam WonderWeb FaCT Surnia

TestFOWLPelletOWLPCerebraEuler
Percent Passing (of 1 tests)100%100%100%100%100%
(levels:Lite) imports-011 [APPROVED: Med L XXL] A Lite version of test imports-001. PassPassPassPassPass

24. Import Entailment Tests (2 Approved Full)

No results on these tests for: Jena2 (Syntax) OWLP ConsVISor Hoolet Bossam WonderWeb Cerebra FaCT Surnia

TestFOWLJena2PelletEuler
Percent Passing (of 2 tests)100%100%100%100%
(levels:Full) imports-001 [APPROVED: Med L XXL] If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. PassPassPassPass
(levels:Full) imports-003 [APPROVED: Med L XXL] If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. PassPassPassPass

25. Import Level Tests (3 Approved Lite)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor Hoolet Bossam WonderWeb Euler FaCT Surnia

TestFOWLPelletOWLPCerebra
Percent Passing (of 3 tests)100%100%100%100%
(levels:Lite) imports-006 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file.PassPassPassPass
(levels:Lite) imports-007 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file.PassPassPassPass
(levels:Lite) imports-008 [APPROVED: Med L XXL] It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document. PassPassPassPass

26. Import Level Tests (1 Approved DL)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor Hoolet Bossam WonderWeb Euler FaCT Surnia

TestFOWLPelletOWLPCerebra
Percent Passing (of 1 tests)100%100%100%100%
(levels:DL) imports-005 [APPROVED: Med L XXL] If an OWL Lite document imports an OWL DL document then it becomes OWL DL. PassPassPassPass

27. Import Level Tests (3 Approved Full)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor Hoolet Bossam WonderWeb Euler FaCT Surnia

TestFOWLPelletOWLPCerebra
Percent Passing (of 3 tests)66%100%100%33%
(levels:Full) imports-004 [APPROVED: Med L XXL] Importing OWL Full documents may change the level of OWL Lite or OWL DL documents.PassPassPassPass
(levels:Full) imports-013 [APPROVED: Med L XXL] An imported ontology must have type owl:Ontology to be in DL.PassPassPassno data
(levels:Full) imports-014 [APPROVED: Med L XXL] When importing a file that uses an xml:base declaration, if you use a different URL in an owl:imports triple, that URL may be without an explicit type.no dataPassPassno data

28. Syntactic Level Tests (98 Approved Lite)

No results on these tests for: FOWL Jena2 ConsVISor Hoolet Bossam Cerebra Euler FaCT Surnia

TestJena2 (Syntax)PelletOWLPWonderWeb
Percent Passing (of 98 tests)100%100%100%100%
Syntactic Level Test for AnnotationProperty-001PassPassPassPass
Syntactic Level Test for I3.2-001PassPassPassPass
Syntactic Level Test for I3.2-002PassPassPassPass
Syntactic Level Test for I3.2-003PassPassPassPass
Syntactic Level Test for I3.4-001PassPassPassPass
Syntactic Level Test for I4.1-001PassPassPassPass
Syntactic Level Test for I4.6-005PassPassPassPass
Syntactic Level Test for I4.6-006PassPassPassPass
Syntactic Level Test for I4.6-007PassPassPassPass
Syntactic Level Test for I4.6-008PassPassPassPass
Syntactic Level Test for I5.2-001PassPassPassPass
Syntactic Level Test for I5.2-002PassPassPassPass
Syntactic Level Test for I5.2-003PassPassPassPass
Syntactic Level Test for I5.2-010PassPassPassPass
Syntactic Level Test for I5.2-011PassPassPassPass
Syntactic Level Test for I5.21-001PassPassPassPass
Syntactic Level Test for I5.24-003PassPassPassPass
Syntactic Level Test for I5.24-004PassPassPassPass
Syntactic Level Test for I5.3-006PassPassPassPass
Syntactic Level Test for I5.3-008PassPassPassPass
Syntactic Level Test for I5.3-011PassPassPassPass
Syntactic Level Test for I5.8-007PassPassPassPass
Syntactic Level Test for I5.8-011PassPassPassPass
Syntactic Level Test for I5.8-013PassPassPassPass
Syntactic Level Test for I5.8-015PassPassPassPass
Syntactic Level Test for Nothing-001PassPassPassPass
Syntactic Level Test for Ontology-001PassPassPassPass
Syntactic Level Test for Ontology-003PassPassPassPass
Syntactic Level Test for Ontology-004PassPassPassPass
Syntactic Level Test for Restriction-001PassPassPassPass
Syntactic Level Test for Restriction-004PassPassPassPass
Syntactic Level Test for Restriction-005PassPassPassPass
Syntactic Level Test for SymmetricProperty-003PassPassPassPass
Syntactic Level Test for Thing-003PassPassPassPass
Syntactic Level Test for allValuesFrom-001PassPassPassPass
Syntactic Level Test for allValuesFrom-002PassPassPassPass
Syntactic Level Test for backwardCompatibleWith-001PassPassPassPass
Syntactic Level Test for cardinality-001PassPassPassPass
Syntactic Level Test for cardinality-002PassPassPassPass
Syntactic Level Test for description-logic-601PassPassPassPass
Syntactic Level Test for description-logic-602PassPassPassPass
Syntactic Level Test for description-logic-603PassPassPassPass
Syntactic Level Test for description-logic-604PassPassPassPass
Syntactic Level Test for description-logic-605PassPassPassPass
Syntactic Level Test for description-logic-606PassPassPassPass
Syntactic Level Test for description-logic-608PassPassPassPass
Syntactic Level Test for description-logic-609PassPassPassPass
Syntactic Level Test for description-logic-610PassPassPassPass
Syntactic Level Test for description-logic-611PassPassPassPass
Syntactic Level Test for description-logic-612PassPassPassPass
Syntactic Level Test for description-logic-613PassPassPassPass
Syntactic Level Test for description-logic-614PassPassPassPass
Syntactic Level Test for description-logic-615PassPassPassPass
Syntactic Level Test for description-logic-616PassPassPassPass
Syntactic Level Test for description-logic-617PassPassPassPass
Syntactic Level Test for description-logic-623PassPassPassPass
Syntactic Level Test for description-logic-624PassPassPassPass
Syntactic Level Test for description-logic-625PassPassPassPass
Syntactic Level Test for description-logic-626PassPassPassPass
Syntactic Level Test for description-logic-627PassPassPassPass
Syntactic Level Test for description-logic-628PassPassPassPass
Syntactic Level Test for description-logic-629PassPassPassPass
Syntactic Level Test for description-logic-630PassPassPassPass
Syntactic Level Test for description-logic-631PassPassPassPass
Syntactic Level Test for description-logic-632PassPassPassPass
Syntactic Level Test for description-logic-633PassPassPassPass
Syntactic Level Test for description-logic-634PassPassPassPass
Syntactic Level Test for description-logic-641PassPassPassPass
Syntactic Level Test for description-logic-642PassPassPassPass
Syntactic Level Test for description-logic-643PassPassPassPass
Syntactic Level Test for description-logic-644PassPassPassPass
Syntactic Level Test for description-logic-646PassPassPassPass
Syntactic Level Test for description-logic-650PassPassPassPass
Syntactic Level Test for description-logic-661PassPassPassPass
Syntactic Level Test for description-logic-662PassPassPassPass
Syntactic Level Test for description-logic-663PassPassPassPass
Syntactic Level Test for description-logic-664PassPassPassPass
Syntactic Level Test for description-logic-665PassPassPassPass
Syntactic Level Test for description-logic-667PassPassPassPass
Syntactic Level Test for equivalentClass-001PassPassPassPass
Syntactic Level Test for equivalentClass-002PassPassPassPass
Syntactic Level Test for equivalentClass-003PassPassPassPass
Syntactic Level Test for equivalentClass-004PassPassPassPass
Syntactic Level Test for equivalentClass-005PassPassPassPass
Syntactic Level Test for equivalentProperty-001PassPassPassPass
Syntactic Level Test for equivalentProperty-002PassPassPassPass
Syntactic Level Test for equivalentProperty-003PassPassPassPass
Syntactic Level Test for imports-006PassPassPassPass
Syntactic Level Test for imports-007PassPassPassPass
Syntactic Level Test for imports-008PassPassPassPass
Syntactic Level Test for imports-011PassPassPassPass
Syntactic Level Test for imports-012PassPassPassPass
Syntactic Level Test for miscellaneous-201PassPassPassPass
Syntactic Level Test for miscellaneous-202PassPassPassPass
Syntactic Level Test for miscellaneous-205PassPassPassPass
Syntactic Level Test for miscellaneous-302PassPassPassPass
Syntactic Level Test for miscellaneous-303PassPassPassPass
Syntactic Level Test for someValuesFrom-003PassPassPassPass

29. Syntactic Level Tests (102 Approved DL)

No results on these tests for: FOWL Jena2 ConsVISor Hoolet Bossam Cerebra Euler FaCT Surnia

TestJena2 (Syntax)PelletOWLPWonderWeb
Percent Passing (of 102 tests)100%100%100%100%
Syntactic Level Test for Class-005PassPassPassPass
Syntactic Level Test for I4.5-001PassPassPassPass
Syntactic Level Test for I4.5-002PassPassPassPass
Syntactic Level Test for I5.2-004PassPassPassPass
Syntactic Level Test for I5.2-005PassPassPassPass
Syntactic Level Test for I5.2-006PassPassPassPass
Syntactic Level Test for I5.21-002PassPassPassPass
Syntactic Level Test for I5.26-009PassPassPassPass
Syntactic Level Test for I5.26-010PassPassPassPass
Syntactic Level Test for I5.5-005PassPassPassPass
Syntactic Level Test for I5.8-002PassPassPassPass
Syntactic Level Test for I5.8-005PassPassPassPass
Syntactic Level Test for I5.8-012PassPassPassPass
Syntactic Level Test for Nothing-002PassPassPassPass
Syntactic Level Test for SymmetricProperty-002PassPassPassPass
Syntactic Level Test for Thing-004PassPassPassPass
Syntactic Level Test for TransitiveProperty-002PassPassPassPass
Syntactic Level Test for cardinality-003PassPassPassPass
Syntactic Level Test for cardinality-004PassPassPassPass
Syntactic Level Test for description-logic-001PassPassPassPass
Syntactic Level Test for description-logic-002PassPassPassPass
Syntactic Level Test for description-logic-003PassPassPassPass
Syntactic Level Test for description-logic-004PassPassPassPass
Syntactic Level Test for description-logic-005PassPassPassPass
Syntactic Level Test for description-logic-006PassPassPassPass
Syntactic Level Test for description-logic-007PassPassPassPass
Syntactic Level Test for description-logic-008PassPassPassPass
Syntactic Level Test for description-logic-009PassPassPassPass
Syntactic Level Test for description-logic-010PassPassPassPass
Syntactic Level Test for description-logic-011PassPassPassPass
Syntactic Level Test for description-logic-012PassPassPassPass
Syntactic Level Test for description-logic-013PassPassPassPass
Syntactic Level Test for description-logic-014PassPassPassPass
Syntactic Level Test for description-logic-015PassPassPassPass
Syntactic Level Test for description-logic-016PassPassPassPass
Syntactic Level Test for description-logic-017PassPassPassPass
Syntactic Level Test for description-logic-018PassPassPassPass
Syntactic Level Test for description-logic-019PassPassPassPass
Syntactic Level Test for description-logic-020PassPassPassPass
Syntactic Level Test for description-logic-021PassPassPassPass
Syntactic Level Test for description-logic-022PassPassPassPass
Syntactic Level Test for description-logic-023PassPassPassPass
Syntactic Level Test for description-logic-024PassPassPassPass
Syntactic Level Test for description-logic-025PassPassPassPass
Syntactic Level Test for description-logic-026PassPassPassPass
Syntactic Level Test for description-logic-027PassPassPassPass
Syntactic Level Test for description-logic-028PassPassPassPass
Syntactic Level Test for description-logic-029PassPassPassPass
Syntactic Level Test for description-logic-030PassPassPassPass
Syntactic Level Test for description-logic-031PassPassPassPass
Syntactic Level Test for description-logic-032PassPassPassPass
Syntactic Level Test for description-logic-033PassPassPassPass
Syntactic Level Test for description-logic-034PassPassPassPass
Syntactic Level Test for description-logic-035PassPassPassPass
Syntactic Level Test for description-logic-040PassPassPassPass
Syntactic Level Test for description-logic-101PassPassPassPass
Syntactic Level Test for description-logic-102PassPassPassPass
Syntactic Level Test for description-logic-103PassPassPassPass
Syntactic Level Test for description-logic-104PassPassPassPass
Syntactic Level Test for description-logic-105PassPassPassPass
Syntactic Level Test for description-logic-106PassPassPassPass
Syntactic Level Test for description-logic-107PassPassPassPass
Syntactic Level Test for description-logic-108PassPassPassPass
Syntactic Level Test for description-logic-109PassPassPassPass
Syntactic Level Test for description-logic-110PassPassPassPass
Syntactic Level Test for description-logic-111PassPassPassPass
Syntactic Level Test for description-logic-201PassPassPassPass
Syntactic Level Test for description-logic-202PassPassPassPass
Syntactic Level Test for description-logic-203PassPassPassPass
Syntactic Level Test for description-logic-204PassPassPassPass
Syntactic Level Test for description-logic-205PassPassPassPass
Syntactic Level Test for description-logic-206PassPassPassPass
Syntactic Level Test for description-logic-207PassPassPassPass
Syntactic Level Test for description-logic-208PassPassPassPass
Syntactic Level Test for description-logic-209PassPassPassPass
Syntactic Level Test for description-logic-503PassPassPassPass
Syntactic Level Test for description-logic-504PassPassPassPass
Syntactic Level Test for description-logic-901PassPassPassPass
Syntactic Level Test for description-logic-902PassPassPassPass
Syntactic Level Test for description-logic-903PassPassPassPass
Syntactic Level Test for description-logic-904PassPassPassPass
Syntactic Level Test for description-logic-908PassPassPassPass
Syntactic Level Test for description-logic-909PassPassPassPass
Syntactic Level Test for disjointWith-001PassPassPassPass
Syntactic Level Test for disjointWith-003PassPassPassPass
Syntactic Level Test for disjointWith-005PassPassPassPass
Syntactic Level Test for disjointWith-007PassPassPassPass
Syntactic Level Test for disjointWith-009PassPassPassPass
Syntactic Level Test for equivalentClass-006PassPassPassPass
Syntactic Level Test for equivalentClass-008PassPassPassPass
Syntactic Level Test for equivalentClass-009PassPassPassPass
Syntactic Level Test for equivalentProperty-004PassPassPassPass
Syntactic Level Test for imports-005PassPassPassPass
Syntactic Level Test for miscellaneous-001PassPassPassPass
Syntactic Level Test for miscellaneous-002PassPassPassPass
Syntactic Level Test for miscellaneous-010PassPassPassPass
Syntactic Level Test for miscellaneous-011PassPassPassPass
Syntactic Level Test for miscellaneous-102PassPassPassPass
Syntactic Level Test for miscellaneous-103PassPassPassPass
Syntactic Level Test for oneOf-004PassPassPassPass
Syntactic Level Test for unionOf-003PassPassPassPass
Syntactic Level Test for unionOf-004PassPassPassPass

30. Syntactic Level Tests (57 Approved Full)

No results on these tests for: FOWL Jena2 ConsVISor Hoolet Bossam Cerebra Euler FaCT Surnia

TestJena2 (Syntax)PelletOWLPWonderWeb
Percent Passing (of 57 tests)100%100%100%100%
Syntactic Level Test for AllDifferent-001PassPassPassPass
Syntactic Level Test for AnnotationProperty-002PassPassPassPass
Syntactic Level Test for Class-001PassPassPassPass
Syntactic Level Test for Class-002PassPassPassPass
Syntactic Level Test for Class-003PassPassPassPass
Syntactic Level Test for Class-006PassPassPassPass
Syntactic Level Test for FunctionalProperty-001PassPassPassPass
Syntactic Level Test for FunctionalProperty-002PassPassPassPass
Syntactic Level Test for FunctionalProperty-003PassPassPassPass
Syntactic Level Test for FunctionalProperty-004PassPassPassPass
Syntactic Level Test for FunctionalProperty-005PassPassPassPass
Syntactic Level Test for I4.6-003PassPassPassPass
Syntactic Level Test for I5.1-001PassPassPassPass
Syntactic Level Test for I5.24-001PassPassPassPass
Syntactic Level Test for I5.24-002PassPassPassPass
Syntactic Level Test for I5.3-014PassPassPassPass
Syntactic Level Test for I5.3-015PassPassPassPass
Syntactic Level Test for I5.5-001PassPassPassPass
Syntactic Level Test for I5.5-002PassPassPassPass
Syntactic Level Test for I5.5-003PassPassPassPass
Syntactic Level Test for I5.5-004PassPassPassPass
Syntactic Level Test for I5.8-017PassPassPassPass
Syntactic Level Test for InverseFunctionalProperty-001PassPassPassPass
Syntactic Level Test for InverseFunctionalProperty-002PassPassPassPass
Syntactic Level Test for InverseFunctionalProperty-003PassPassPassPass
Syntactic Level Test for InverseFunctionalProperty-004PassPassPassPass
Syntactic Level Test for Restriction-002PassPassPassPass
Syntactic Level Test for Restriction-006PassPassPassPass
Syntactic Level Test for SymmetricProperty-001PassPassPassPass
Syntactic Level Test for Thing-005PassPassPassPass
Syntactic Level Test for TransitiveProperty-001PassPassPassPass
Syntactic Level Test for cardinality-006PassPassPassPass
Syntactic Level Test for complementOf-001PassPassPassPass
Syntactic Level Test for differentFrom-001PassPassPassPass
Syntactic Level Test for differentFrom-002PassPassPassPass
Syntactic Level Test for disjointWith-002PassPassPassPass
Syntactic Level Test for disjointWith-010PassPassPassPass
Syntactic Level Test for distinctMembers-001PassPassPassPass
Syntactic Level Test for equivalentClass-007PassPassPassPass
Syntactic Level Test for equivalentProperty-005PassPassPassPass
Syntactic Level Test for equivalentProperty-006PassPassPassPass
Syntactic Level Test for imports-001PassPassPassPass
Syntactic Level Test for imports-003PassPassPassPass
Syntactic Level Test for imports-004PassPassPassPass
Syntactic Level Test for imports-010PassPassPassPass
Syntactic Level Test for imports-013PassPassPassPass
Syntactic Level Test for imports-014PassPassPassPass
Syntactic Level Test for intersectionOf-001PassPassPassPass
Syntactic Level Test for inverseOf-001PassPassPassPass
Syntactic Level Test for maxCardinality-001PassPassPassPass
Syntactic Level Test for maxCardinality-002PassPassPassPass
Syntactic Level Test for oneOf-002PassPassPassPass
Syntactic Level Test for oneOf-003PassPassPassPass
Syntactic Level Test for sameAs-001PassPassPassPass
Syntactic Level Test for someValuesFrom-001PassPassPassPass
Syntactic Level Test for unionOf-001PassPassPassPass
Syntactic Level Test for unionOf-002PassPassPassPass

31. Syntactic Level Tests (6 Extra Credit Lite)

No results on these tests for: FOWL Jena2 ConsVISor Hoolet Bossam Cerebra Euler FaCT Surnia

TestJena2 (Syntax)PelletOWLPWonderWeb
Percent Passing (of 6 tests)100%100%100%100%
Syntactic Level Test for I5.8-006PassPassPassPass
Syntactic Level Test for I5.8-008PassPassPassPass
Syntactic Level Test for I5.8-009PassPassPassPass
Syntactic Level Test for I5.8-010PassPassPassPass
Syntactic Level Test for miscellaneous-203PassPassPassPass
Syntactic Level Test for miscellaneous-204PassPassPassPass

32. Syntactic Level Tests (9 Extra Credit DL)

No results on these tests for: FOWL Jena2 ConsVISor Hoolet Bossam Cerebra Euler FaCT Surnia

TestJena2 (Syntax)PelletOWLPWonderWeb
Percent Passing (of 9 tests)100%100%100%100%
Syntactic Level Test for I5.8-001PassPassPassPass
Syntactic Level Test for I5.8-003PassPassPassPass
Syntactic Level Test for I5.8-004PassPassPassPass
Syntactic Level Test for description-logic-501PassPassPassPass
Syntactic Level Test for description-logic-502PassPassPassPass
Syntactic Level Test for description-logic-905PassPassPassPass
Syntactic Level Test for description-logic-906PassPassPassPass
Syntactic Level Test for description-logic-907PassPassPassPass
Syntactic Level Test for description-logic-910PassPassPassPass

33. Syntactic Level Tests (34 Extra Credit Full)

No results on these tests for: FOWL Jena2 ConsVISor Hoolet Bossam Cerebra Euler FaCT Surnia

TestJena2 (Syntax)PelletOWLPWonderWeb
Percent Passing (of 34 tests)100%100%97%100%
Syntactic Level Test for AnnotationProperty-003PassPassPassPass
Syntactic Level Test for AnnotationProperty-004PassPassPassPass
Syntactic Level Test for Class-004PassPassPassPass
Syntactic Level Test for DatatypeProperty-001PassPassPassPass
Syntactic Level Test for I4.6-004PassPassPassPass
Syntactic Level Test for I5.1-010PassPassPassPass
Syntactic Level Test for I5.26-001PassPassPassPass
Syntactic Level Test for I5.26-002PassPassPassPass
Syntactic Level Test for I5.26-003PassPassPassPass
Syntactic Level Test for I5.26-004PassPassPassPass
Syntactic Level Test for I5.26-005PassPassPassPass
Syntactic Level Test for I5.26-006PassPassPassPass
Syntactic Level Test for I5.26-007PassPassPassPass
Syntactic Level Test for I5.3-005PassPassPassPass
Syntactic Level Test for I5.3-007PassPassPassPass
Syntactic Level Test for I5.3-009PassPassPassPass
Syntactic Level Test for I5.3-010PassPassPassPass
Syntactic Level Test for I5.5-006PassPassPassPass
Syntactic Level Test for I5.5-007PassPassPassPass
Syntactic Level Test for I5.8-014PassPassPassPass
Syntactic Level Test for I5.8-016PassPassFailPass
Syntactic Level Test for I6.1-001PassPassPassPass
Syntactic Level Test for Restriction-003PassPassPassPass
Syntactic Level Test for backwardCompatibleWith-002PassPassPassPass
Syntactic Level Test for disjointWith-004PassPassPassPass
Syntactic Level Test for disjointWith-006PassPassPassPass
Syntactic Level Test for disjointWith-008PassPassPassPass
Syntactic Level Test for extra-credit-002PassPassPassPass
Syntactic Level Test for extra-credit-003PassPassPassPass
Syntactic Level Test for extra-credit-004PassPassPassPass
Syntactic Level Test for imports-002PassPassPassPass
Syntactic Level Test for miscellaneous-301PassPassPassPass
Syntactic Level Test for oneOf-001PassPassPassPass
Syntactic Level Test for someValuesFrom-002PassPassPassPass

Results by Number of Systems Passing

ApprovedProposedExtra Credit
LiteDLFullLiteDLFullLiteDLFull
Tests With 0 Passes000000010
Tests With 1 Pass032000058
Tests With 2 Passes498000036
Tests With 3 Passes119100002012
Tests With 4 Passes108117700007942
Tests With 5 Passes242913000300
Tests With 6 Passes232311000000
Tests With 7 Passes10130000000
Tests With 8 Passes1210000000
Tests With 9 Passes400000000

34. Extra Credit Tests With 0 Passes (DL)

No results on these tests for: FOWL Jena2 Jena2 (Syntax) OWLP Bossam WonderWeb FaCT Surnia

TestPelletConsVISorHooletCerebraEuler
Percent Passing (of 1 tests) 0% 0% 0% 0% 0%
(levels:DL, Full) description-logic-502 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem.UndecidedUndecidedUndecidedUndecidedUndecided

35. Approved Tests With 1 Pass (DL)

No results on these tests for: FOWL Jena2 Jena2 (Syntax) ConsVISor Hoolet WonderWeb Cerebra FaCT Surnia

TestPelletOWLPBossamEuler
Percent Passing (of 3 tests)33% 0% 0%66%
(levels:DL, Full) description-logic-209 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. (Modified in light of implementation feedback, see test description-logic-208).PassUndecidedno dataUndecided
(levels:DL, Full) miscellaneous-010 [APPROVED: Med L XXL] Which wine goes well with which food.Undecidedno dataFailPass
(levels:DL, Full) miscellaneous-011 [APPROVED: Med L XXL] Which wine hasSugar OffDry.Undecidedno dataFailPass

36. Approved Tests With 1 Pass (Full)

No results on these tests for: Jena2 Jena2 (Syntax) Pellet OWLP ConsVISor Hoolet WonderWeb Cerebra FaCT Surnia

TestFOWLBossamEuler
Percent Passing (of 2 tests) 0% 0%100%
(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.UndecidedFailPass
(levels:Full) I5.8-017 [APPROVED: Med L XXL] This explores aliases of builtin datatypes.no dataFailPass

37. Extra Credit Tests With 1 Pass (DL)

No results on these tests for: FOWL Jena2 Jena2 (Syntax) OWLP Bossam WonderWeb FaCT Surnia

TestPelletConsVISorHooletCerebraEuler
Percent Passing (of 5 tests) 0% 0% 0%80%20%
(levels:DL, Full) description-logic-501 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem.UndecidedUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-905 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 2. M is 3. N times M is 6.
UndecidedUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-906 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 20. M is 30. N times M is 600.
UndecidedUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-907 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 200. M is 300. N times M is 60000.
no dataUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-910 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 20. M is 30. N times M is not 601.
UndecidedUndecidedUndecidedno dataPass

38. Extra Credit Tests With 1 Pass (Full)

No results on these tests for: Jena2 (Syntax) Pellet OWLP Hoolet WonderWeb FaCT Surnia

TestFOWLJena2ConsVISorBossamCerebraEuler
Percent Passing (of 8 tests)50% 0%12% 0% 0%37%
(levels:Full) AnnotationProperty-004 [EXTRACREDIT: Med L XXL] AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. no dataUndecidedPassno datano dataUndecided
(levels:Full) Class-004 [EXTRACREDIT: Med L XXL] Annotations about owl:Class are not related to those about rdfs:Class.Passno datano datano datano dataUndecided
(levels:Full) I4.6-004 [EXTRACREDIT: Med L XXL] owl:sameAs is stronger than owl:equivalentClass.Passno datano datano datano dataUndecided
(levels:Full) I5.1-010 [EXTRACREDIT: Med L XXL] There are 128 different bytes that are also unsigned integers; and hence also 127.Passno dataUndecidedno dataUndecidedUndecided
(levels:Full) I5.5-007 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists.Passno datano datano datano dataFail
(levels:Full) extra-credit-002 [EXTRACREDIT: Med L XXL] This test shows a relationship between integer multiplication and OWL Full.no datano datano dataFailno dataPass
(levels:Full) extra-credit-003 [EXTRACREDIT: Med L XXL] Prime factorization can be expressed in OWL Full.Undecidedno datano dataFailno dataPass
(levels:Full) extra-credit-004 [EXTRACREDIT: Med L XXL] A more difficult prime factorization example.Undecidedno datano dataFailno dataPass

39. Approved Tests With 2 Passes (Lite)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor Hoolet Bossam WonderWeb FaCT Surnia

TestFOWLPelletOWLPCerebraEuler
Percent Passing (of 4 tests)100%25%75% 0% 0%
(levels:Lite, Full) I4.6-005 [APPROVED: Med L XXL] owl:equivalentClass is not related to annotations on classes.Passno dataPassUndecidedUndecided
(levels:Lite, Full) I5.8-007 [APPROVED: Med L XXL] -1 is an xsd:short that is not an xsd:unsignedByte.PassPassFailUndecidedUndecided
(levels:Lite, Full) miscellaneous-302 [APPROVED: Med L XXL] Annotations participate a little in the semantics.Passno dataPassno dataUndecided
(levels:Lite) AnnotationProperty-001 [APPROVED: Med L XXL] The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations.Passno dataPassUndecidedFail

40. Approved Tests With 2 Passes (DL)

No results on these tests for: Jena2 Jena2 (Syntax) WonderWeb Surnia

TestFOWLPelletOWLPConsVISorHooletBossamCerebraEulerFaCT
Percent Passing (of 9 tests)11%44%22%33% 0% 0%22%55%11%
(levels:DL, Full) SymmetricProperty-002 [APPROVED: Med L XXL] Test illustrating extensional semantics of owl:SymmetricProperty.UndecidedPassno datano datano dataFailUndecidedPassno data
(levels:DL, Full) TransitiveProperty-002 [APPROVED: Med L XXL] Test illustrating extensional semantics of owl:TransitiveProperty.UndecidedPassno datano datano dataFailUndecidedPassno data
(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 dataUndecidedno datano dataUndecidedFailUndecidedPassPass
(levels:DL, Full) description-logic-909 [APPROVED: Med L XXL] This test shows integer multiplication in OWL DL.

For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K.
no datano datano dataPassUndecidedno datano dataPassno data
(levels:DL, Full) equivalentClass-008 [APPROVED: Med L XXL] Annotation properties refer to a class instance. equivalentClass refers to the class extension.Passno dataPassno datano datano dataUndecidedUndecidedno data
(levels:DL, Full) miscellaneous-001 [APPROVED: Med L XXL] Wine example taken from the guide.no dataUndecidedno dataPassUndecidedno dataPassUndecidedno data
(levels:DL, Full) miscellaneous-002 [APPROVED: Med L XXL] Food example taken from the guide.no dataUndecidedno dataPassUndecidedno dataPassUndecidedno 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.UndecidedPassFailno dataUndecidedFailUndecidedPassno data
(levels:DL) Thing-004 [APPROVED: Med L XXL] The extension of OWL Thing may be a singleton in OWL DL.no dataPassPassFailno datano datano dataFailno data

41. Approved Tests With 2 Passes (Full)

No results on these tests for: Jena2 (Syntax) Hoolet WonderWeb FaCT

TestFOWLJena2PelletOWLPConsVISorBossamCerebraEulerSurnia
Percent Passing (of 8 tests) 0%25%50%12%12% 0%12%87% 0%
(levels:Full) AnnotationProperty-002 [APPROVED: Med L XXL] Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment.Undecidedno datano dataFailno dataFailPassPassno 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.Undecidedno dataPassno datano dataFailno dataPassno data
(levels:Full) I4.6-003 [APPROVED: Med L XXL] owl:sameAs is stronger than owl:equivalentClass.UndecidedPassno datano datano dataFailno dataPassUndecided
(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.UndecidedPassno datano datano dataFailno dataPassno data
(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.Undecidedno dataPassno datano dataFailno dataPassno data
(levels:Full) Thing-005 [APPROVED: Med L XXL] The extension of OWL Thing may not be a singleton in OWL Full.no datano dataFailno dataPassno datano dataPassno data
(levels:Full) imports-014 [APPROVED: Med L XXL] When importing a file that uses an xml:base declaration, if you use a different URL in an owl:imports triple, that URL may be without an explicit type.no datano dataPassPassno datano datano datano datano data
(levels:Full) someValuesFrom-001 [APPROVED: Med L XXL] A simple example.Undecidedno dataPassno datano dataFailno dataPassno data

42. Extra Credit Tests With 2 Passes (DL)

No results on these tests for: Jena2 Jena2 (Syntax) WonderWeb FaCT Surnia

TestFOWLPelletOWLPConsVISorHooletBossamCerebraEuler
Percent Passing (of 3 tests) 0%100% 0% 0% 0% 0% 0%100%
(levels:DL, Full) I5.8-001 [EXTRACREDIT: Med L XXL] There are only 256 different values for xsd:byte.no dataPassFailUndecidedUndecidedno dataUndecidedPass
(levels:DL, Full) I5.8-003 [EXTRACREDIT: Med L XXL] There are only 128 different values of xsd:byte that are also xsd:unsignedInt.no dataPassFailUndecidedUndecidedno dataUndecidedPass
(levels:DL, Full) I5.8-004 [EXTRACREDIT: Med L XXL] There are precisely 128 different values of xsd:byte that are also xsd:unsignedInt.UndecidedPassFailno dataUndecidedFailUndecidedPass

43. Extra Credit Tests With 2 Passes (Full)

No results on these tests for: Jena2 Jena2 (Syntax) OWLP Hoolet Bossam WonderWeb FaCT

TestFOWLPelletConsVISorCerebraEulerSurnia
Percent Passing (of 6 tests)83%66%33%16% 0% 0%
(levels:Full) DatatypeProperty-001 [EXTRACREDIT: Med L XXL] DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full.Undecidedno dataPassPassUndecidedno data
(levels:Full) I5.5-006 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists.PassPassno datano dataUndecidedno data
(levels:Full) I5.8-014 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.Passno dataPassno dataUndecidedno data
(levels:Full) imports-002 [EXTRACREDIT: Med L XXL] If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. PassPassno datano dataUndecidedUndecided
(levels:Full) miscellaneous-301 [EXTRACREDIT: Med L XXL] Annotations participate a little in the semantics.PassPassno datano dataUndecidedno data
(levels:Full) someValuesFrom-002 [EXTRACREDIT: Med L XXL] A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom.PassPassno datano dataUndecidedUndecided

44. Approved Tests With 3 Passes (Lite)

No results on these tests for: Jena2 (Syntax) WonderWeb Surnia

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCT
Percent Passing (of 11 tests)36% 9%63%45% 0%27%27%18%54%18%
(levels:Lite, Full) I5.8-011 [APPROVED: Med L XXL] The empty graph entails that xsd:integer and xsd:string are a rdfs:DatatypePassno datano dataPassno datano datano dataUndecidedPassno data
(levels:Lite, Full) I5.8-015 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics.Passno dataPassPassFailno datano dataUndecidedUndecidedno 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.Passno dataPassPassno datano datano datano dataUndecidedno 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.Passno dataPassPassno datano datano dataUndecidedUndecidedno data
(levels:Lite, Full) Thing-003 [APPROVED: Med L XXL] The extension of OWL Thing may not be empty.no dataPassPassFailFailno datano datano dataPassno data
(levels:Lite, Full) description-logic-628 [APPROVED: Med L XXL] DL Test: t7.1 no datano dataPassno dataUndecidedUndecidedno dataPassUndecidedPass
(levels:Lite, Full) description-logic-631 [APPROVED: Med L XXL] DL Test: t7f.1 no datano dataPassno dataUndecidedUndecidedno dataPassUndecidedPass
(levels:Lite, Full) description-logic-661 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. no datano dataUndecidedUndecidedno dataPassPassno dataPassno data
(levels:Lite, Full) description-logic-662 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. no datano dataUndecidedUndecidedno dataPassPassno dataPassno data
(levels:Lite, Full) description-logic-663 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. no datano dataUndecidedUndecidedno dataPassPassno dataPassno data
(levels:Lite, Full) someValuesFrom-003 [APPROVED: Med L XXL] A simple infinite loop for implementors to avoid.no datano dataPassPassno datano dataFailno dataPassno data

45. Approved Tests With 3 Passes (DL)

No results on these tests for: Jena2 Jena2 (Syntax) WonderWeb

TestFOWLPelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 9 tests)44%100%33% 0%22%11%22%44%22% 0%
(levels:DL, Full) Class-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:Class.PassPassPassno datano datano dataUndecidedUndecidedno datano data
(levels:DL, Full) I5.5-005 [APPROVED: Med L XXL] This test exhibits the effect of the comprehension principles in OWL Full.no dataPassPassno datano dataFailno dataPassno datano data
(levels:DL, Full) I5.8-005 [APPROVED: Med L XXL] There are 128 different values of xsd:byte that are also xsd:unsignedInt.PassPassPassno datano datano dataUndecidedUndecidedno datano data
(levels:DL, Full) description-logic-035 [APPROVED: Med L XXL] A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2.no dataPassno dataUndecidedPassno dataUndecidedPassno datano data
(levels:DL, Full) description-logic-040 [APPROVED: Med L XXL] This kind of pattern comes up a lot in more complex ontologies. Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies.no dataPassUndecidedUndecidedno datano dataPassPassno datano data
(levels:DL, Full) description-logic-208 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison.no dataPassUndecidedno dataUndecidedPassUndecidedPassno datano data
(levels:DL, Full) description-logic-503 [APPROVED: Med L XXL] This is a different encoding of test 501.no dataPassFailUndecidedPassno dataPassUndecidedno datano data
(levels:DL, Full) description-logic-902 [APPROVED: Med L XXL] This non-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 6.PassPassno datano datano datano dataUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-904 [APPROVED: Med L XXL] This non-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 600.PassPassno datano datano datano dataUndecidedUndecidedPassno data

46. Approved Tests With 3 Passes (Full)

No results on these tests for: Jena2 (Syntax) Hoolet WonderWeb FaCT

TestFOWLJena2PelletOWLPConsVISorBossamCerebraEulerSurnia
Percent Passing (of 10 tests)40%50%60%10% 0%20%30%90% 0%
(levels:Full) Class-001 [APPROVED: Med L XXL] In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class.Passno datano datano datano datano dataPassPassno data
(levels:Full) I5.1-001 [APPROVED: Med L XXL] stateCode example using an inverseFunctionalProperty and literalsno dataPassno datano datano dataPassno dataPassUndecided
(levels:Full) I5.24-002 [APPROVED: Med L XXL] OWL, unlike RDFS, uses iff semantics for range.UndecidedPassPassno datano dataFailno dataPassno data
(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 dataPassPassno datano dataFailno dataPassno data
(levels:Full) equivalentClass-007 [APPROVED: Med L XXL] De Morgan's law.Undecidedno dataPassno datano dataFailPassPassno data
(levels:Full) equivalentProperty-005 [APPROVED: Med L XXL] If p and q have the same property extension then p owl:equivalentProperty q.UndecidedPassPassno datano dataFailno dataPassUndecided
(levels:Full) imports-010 [APPROVED: Med L XXL] This test specifies the domain and range for owl:imports.Passno datano datano datano datano dataPassPassno data
(levels:Full) imports-013 [APPROVED: Med L XXL] An imported ontology must have type owl:Ontology to be in DL.Passno dataPassPassno datano datano datano datano data
(levels:Full) maxCardinality-002 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit. UndecidedPassPassno dataUndecidedno datano dataPassUndecided
(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.Passno datano datano datano dataPassno dataPassno data

47. Extra Credit Tests With 3 Passes (Lite)

No results on these tests for: Jena2 Jena2 (Syntax) Bossam WonderWeb FaCT Surnia

TestFOWLPelletOWLPConsVISorHooletCerebraEuler
Percent Passing (of 2 tests) 0%100% 0%100% 0% 0%100%
(levels:Lite, Full) miscellaneous-203 [EXTRACREDIT: Med L XXL] This shows that initial whitespace in an rdf:XMLLiteral is significant within OWL.UndecidedPassFailPassUndecidedUndecidedPass
(levels:Lite, Full) miscellaneous-204 [EXTRACREDIT: Med L XXL] This shows a simple inconsistency depending on the datatype rdf:XMLLiteral. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, and consistent otherwise.UndecidedPassFailPassUndecidedUndecidedPass

48. Extra Credit Tests With 3 Passes (Full)

No results on these tests for: Jena2 Hoolet Bossam FaCT Surnia

TestFOWLJena2 (Syntax)PelletOWLPConsVISorWonderWebCerebraEuler
Percent Passing (of 12 tests)83% 8%91% 8%91% 8% 8% 0%
(levels:Full) AnnotationProperty-003 [EXTRACREDIT: Med L XXL] URI references used in annotations don't need to be typed.no datano dataPassPassPassno datano dataUndecided
(levels:Full) I5.26-001 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and a type triple.Passno dataPassno dataPassno datano dataUndecided
(levels:Full) I5.26-006 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle.Passno dataPassno dataPassno datano dataUndecided
(levels:Full) I5.26-007 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle.Passno dataPassno dataPassno datano dataUndecided
(levels:Full) I5.3-005 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. Passno dataPassno dataPassno datano dataUndecided
(levels:Full) I5.3-007 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. Passno dataPassno dataPassno datano dataUndecided
(levels:Full) I5.3-009 [EXTRACREDIT: Med L XXL] The use of blank nodes in OWL DL and OWL Lite is restricted. Passno dataPassno dataPassno datano dataUndecided
(levels:Full) I5.3-010 [EXTRACREDIT: Med L XXL] Classes cannot be the object of regular properties in OWL DL.Passno datano datano dataPassno dataPassUndecided
(levels:Full) I6.1-001 [EXTRACREDIT: Med L XXL] The blank nodes in a individual description in OWL DL may not form a directed cycle.Passno dataPassno dataPassno datano dataUndecided
(levels:Full) backwardCompatibleWith-002 [EXTRACREDIT: Med L XXL] In OWL Lite and DL the subject and object of a triple with predicate owl:backwardCompatibleWith must both be explicitly typed as owl:Ontology.Passno dataPassno dataPassno datano dataUndecided
(levels:Full) oneOf-001 [EXTRACREDIT: Med L XXL] oneOf does not indicate that the named individuals are distinct. Thus a consistent interpretation of this file is when all the individual names denote the same individual.Passno dataPassno dataPassno dataUndecidedUndecided
Syntactic Level Test for I5.8-016no dataPassPassFailno dataPassno datano data

49. Approved Tests With 4 Passes (Lite)

TestFOWLJena2Jena2 (Syntax)PelletOWLPConsVISorHooletBossamWonderWebCerebraEulerFaCTSurnia
Percent Passing (of 108 tests) 6% 0%90%99%97% 0% 3% 0%90% 5% 1% 1% 0%
(levels:Lite, Full) I5.8-013 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics.Passno datano dataPassPassPassno datano datano dataUndecidedUndecidedno datano data
(levels:Lite, Full) allValuesFrom-002 [APPROVED: Med L XXL] Another simple example; contrast with owl:someValuesFrom.Passno datano dataPassPassno datano datano datano dataPassUndecidedno dataUndecided
(levels:Lite, Full) description-logic-606 [APPROVED: Med L XXL] DL Test: t1.1 no datano datano dataPassno dataUndecidedPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-623 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example no datano datano dataPassno dataUndecidedPassno datano dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-664 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. no dataPassno dataUndecidedUndecidedno dataPassPassno datano dataPassno datano data
(levels:Lite, Full) equivalentClass-005 [APPROVED: Med L XXL] Two classes with the same partial description are not equivalent.Passno datano dataPassPassno datano datano datano dataPassUndecidedno dataUndecided
(levels:Lite, Full) miscellaneous-205 [APPROVED: Med L XXL] This shows that an OWL consistency checker which does not support the datatype rdf:XMLLiteral should not detect inconsistencies depending on it. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, but consistent in this test, which excludes such support.Passno datano dataPassPassFailPassno datano dataUndecidedUndecidedno datano data
(levels:Lite) imports-006 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file.Passno datano dataPassPassno datano datano datano dataPassno datano datano data
(levels:Lite) imports-007 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file.Passno datano dataPassPassno datano datano datano dataPassno datano datano data
(levels:Lite) imports-008 [APPROVED: Med L XXL] It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document. Passno datano dataPassPassno datano datano datano dataPassno datano datano data
Syntactic Level Test for AnnotationProperty-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I3.2-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I3.2-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I3.2-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I3.4-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.1-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.6-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.6-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.6-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.6-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-010no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.21-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.24-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.24-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.3-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.3-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.3-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-013no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-015no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Nothing-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Ontology-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Ontology-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Ontology-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Restriction-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Restriction-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Restriction-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for SymmetricProperty-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Thing-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for allValuesFrom-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for allValuesFrom-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for backwardCompatibleWith-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for cardinality-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for cardinality-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-601no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-602no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-603no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-604no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-605no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-606no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-608no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-609no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-610no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-611no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-612no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-613no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-614no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-615no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-616no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-617no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-623no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-624no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-625no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-626no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-627no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-628no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-629no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-630no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-631no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-632no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-633no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-634no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-641no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-642no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-643no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-644no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-646no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-650no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-661no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-662no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-663no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-664no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-665no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-667no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentProperty-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentProperty-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentProperty-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-012no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-201no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-202no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-205no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-302no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-303no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for someValuesFrom-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data

50. Approved Tests With 4 Passes (DL)

TestFOWLJena2Jena2 (Syntax)PelletOWLPConsVISorHooletBossamWonderWebCerebraEulerFaCTSurnia
Percent Passing (of 117 tests) 3% 1%87%99%93% 0% 6% 2%87% 6% 6% 4% 0%
(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.Undecidedno datano dataPassFailno dataUndecidedPassno dataPassPassno datano 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 datano datano dataPassPassno datano dataPassno datano dataPassno datano 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 datano datano dataPassPassno datano dataPassno datano dataPassno datano data
(levels:DL, Full) I5.8-002 [APPROVED: Med L XXL] There are 256 different values for xsd:byte.Passno datano dataPassPassUndecidedUndecidedno datano dataPassUndecidedno datano data
(levels:DL, Full) I5.8-012 [APPROVED: Med L XXL] There might be only 128 different values of xsd:byte that are also xsd:unsignedInt; but this does not follow from the datatype theory of this test. (cf. the similar inconsistency test).Passno datano dataPassPassUndecidedUndecidedno datano dataPassUndecidedno datano data
(levels:DL, Full) Nothing-002 [APPROVED: Med L XXL] An empty owl:Class has the same class extension as owl:Nothing.PassPassno datano dataPassno datano datano datano datano dataPassno datano data
(levels:DL, Full) description-logic-019 [APPROVED: Med L XXL] DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case no datano datano dataPassFailUndecidedPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-023 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example no datano datano dataPassno dataUndecidedPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-028 [APPROVED: Med L XXL] DL Test: t7.1 no datano datano dataPassno dataUndecidedPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-031 [APPROVED: Med L XXL] DL Test: t7f.1 no datano datano dataPassno dataUndecidedPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-504 [APPROVED: Med L XXL] This is a different encoding of test 502.no datano datano dataPassPassUndecidedPassno datano dataPassUndecidedno datano 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 datano datano dataPassno datano dataPassFailno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-908 [APPROVED: Med L XXL] This test shows integer multiplication in OWL DL, interacting with infinity.

N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity.
no datano datano dataPassno dataPassPassno datano dataPassUndecidedno datano data
(levels:DL, Full) equivalentProperty-004 [APPROVED: Med L XXL] If p and q have the same property extension then p equivalentProperty q.UndecidedPassno dataPassno datano dataPassFailno datano dataPassno dataUndecided
(levels:DL) imports-005 [APPROVED: Med L XXL] If an OWL Lite document imports an OWL DL document then it becomes OWL DL. Passno datano dataPassPassno datano datano datano dataPassno datano datano data
Syntactic Level Test for Class-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.5-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.5-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.21-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.26-009no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.26-010no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.5-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-012no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Nothing-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for SymmetricProperty-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Thing-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for TransitiveProperty-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for cardinality-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for cardinality-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-009no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-010no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-012no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-013no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-014no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-015no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-016no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-017no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-018no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-019no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-020no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-021no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-022no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-023no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-024no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-025no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-026no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-027no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-028no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-029no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-030no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-031no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-032no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-033no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-034no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-035no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-040no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-101no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-102no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-103no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-104no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-105no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-106no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-107no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-108no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-109no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-110no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-111no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-201no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-202no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-203no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-204no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-205no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-206no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-207no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-208no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-209no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-503no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-504no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-901no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-902no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-903no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-904no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-908no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-909no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-009no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-009no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentProperty-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-010no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-102no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-103no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for oneOf-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for unionOf-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for unionOf-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data

51. Approved Tests With 4 Passes (Full)

No results on these tests for: Hoolet FaCT

TestFOWLJena2Jena2 (Syntax)PelletOWLPConsVISorBossamWonderWebCerebraEulerSurnia
Percent Passing (of 70 tests)14%11%81%95%82% 1% 5%81% 5%17% 2%
(levels:Full) Class-002 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.Passno datano dataPassno datano dataFailno dataPassPassno data
(levels:Full) I5.24-001 [APPROVED: Med L XXL] This entailment is similar to one that does not hold in RDFS.UndecidedPassno dataPassno datano dataPassno datano dataPassUndecided
(levels:Full) I5.5-001 [APPROVED: Med L XXL] rdf:first is a FunctionalProperty.PassPassno datano datano datano datano datano dataPassPassno data
(levels:Full) I5.5-002 [APPROVED: Med L XXL] rdf:rest is a FunctionalProperty.PassPassno datano datano datano datano datano dataPassPassno data
(levels:Full) I5.5-003 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:rest property.PassPassno dataFailno dataUndecidedno datano datano dataPassPass
(levels:Full) complementOf-001 [APPROVED: Med L XXL] complementOf is a SymmetricProperty. Passno datano dataPassno datano dataPassno datano dataPassUndecided
(levels:Full) disjointWith-010 [APPROVED: Med L XXL] The owl:disjointWith loop is not in OWL DL. Classes that are disjoint with themselves are necessarily empty.Passno datano dataPassno dataPassno datano datano dataPassno data
(levels:Full) imports-001 [APPROVED: Med L XXL] If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. PassPassno dataPassno datano datano datano datano dataPassno data
(levels:Full) imports-003 [APPROVED: Med L XXL] If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. PassPassno dataPassno datano datano datano datano dataPassno data
(levels:Full) imports-004 [APPROVED: Med L XXL] Importing OWL Full documents may change the level of OWL Lite or OWL DL documents.Passno datano dataPassPassno datano datano dataPassno datano data
(levels:Full) intersectionOf-001 [APPROVED: Med L XXL] The order of the classes in an intersectionOf construct is unimportant.UndecidedPassno dataPassno datano dataPassno datano dataPassUndecided
(levels:Full) maxCardinality-001 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node.UndecidedPassno dataPassno dataUndecidedno datano datano dataPassPass
(levels:Full) unionOf-002 [APPROVED: Med L XXL] A union behaves quite like set theoretic union. Passno datano dataPassno datano dataPassno datano dataPassUndecided
Syntactic Level Test for AllDifferent-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for AnnotationProperty-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Class-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Class-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Class-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Class-006no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-004no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-005no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I4.6-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.1-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.24-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.24-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.3-014no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.3-015no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.5-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.5-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.5-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.5-004no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.8-017no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for InverseFunctionalProperty-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for InverseFunctionalProperty-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for InverseFunctionalProperty-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for InverseFunctionalProperty-004no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Restriction-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Restriction-006no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for SymmetricProperty-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Thing-005no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for TransitiveProperty-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for cardinality-006no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for complementOf-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for differentFrom-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for differentFrom-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for disjointWith-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for disjointWith-010no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for distinctMembers-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for equivalentClass-007no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for equivalentProperty-005no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for equivalentProperty-006no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-004no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-010no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-013no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-014no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for intersectionOf-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for inverseOf-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for maxCardinality-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for maxCardinality-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for oneOf-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for oneOf-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for sameAs-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for someValuesFrom-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for unionOf-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for unionOf-002no datano dataPassPassPassno datano dataPassno datano datano data

52. Extra Credit Tests With 4 Passes (Lite)

No results on these tests for: ConsVISor FaCT Surnia

TestFOWLJena2Jena2 (Syntax)PelletOWLPHooletBossamWonderWebCerebraEuler
Percent Passing (of 7 tests) 0% 0%85%100%85% 0%14%85%14%14%
(levels:Lite, Full) I5.8-010 [EXTRACREDIT: Med L XXL] 0 is the only xsd:nonNegativeInteger which is also an xsd:nonPositiveInteger.UndecidedUndecidedno dataPassFailUndecidedPassno dataPassPass
Syntactic Level Test for I5.8-006no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for I5.8-008no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for I5.8-009no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for I5.8-010no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for miscellaneous-203no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for miscellaneous-204no datano dataPassPassPassno datano dataPassno datano data

53. Extra Credit Tests With 4 Passes (DL)

No results on these tests for: FOWL Jena2 ConsVISor Hoolet Bossam Cerebra Euler FaCT Surnia

TestJena2 (Syntax)PelletOWLPWonderWeb
Percent Passing (of 9 tests)100%100%100%100%
Syntactic Level Test for I5.8-001PassPassPassPass
Syntactic Level Test for I5.8-003PassPassPassPass
Syntactic Level Test for I5.8-004PassPassPassPass
Syntactic Level Test for description-logic-501PassPassPassPass
Syntactic Level Test for description-logic-502PassPassPassPass
Syntactic Level Test for description-logic-905PassPassPassPass
Syntactic Level Test for description-logic-906PassPassPassPass
Syntactic Level Test for description-logic-907PassPassPassPass
Syntactic Level Test for description-logic-910PassPassPassPass

54. Extra Credit Tests With 4 Passes (Full)

No results on these tests for: Jena2 Hoolet Bossam FaCT Surnia

TestFOWLJena2 (Syntax)PelletOWLPConsVISorWonderWebCerebraEuler
Percent Passing (of 42 tests)21%78%100%80%21%78%19% 0%
(levels:Full) I5.26-002 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple.Passno dataPassno dataPassno dataPassUndecided
(levels:Full) I5.26-003 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between two class descriptions.Passno dataPassno dataPassno dataPassUndecided
(levels:Full) I5.26-004 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple.Passno dataPassno dataPassno dataPassUndecided
(levels:Full) I5.26-005 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple.Passno dataPassno dataPassno dataPassUndecided
(levels:Full) I5.8-016 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.Passno dataPassPassPassno datano dataUndecided
(levels:Full) Restriction-003 [EXTRACREDIT: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. Passno dataPassno dataPassno dataPassUndecided
(levels:Full) disjointWith-004 [EXTRACREDIT: Med L XXL] This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D.Passno dataPassno dataPassno dataPassUndecided
(levels:Full) disjointWith-006 [EXTRACREDIT: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL.Passno dataPassno dataPassno dataPassUndecided
(levels:Full) disjointWith-008 [EXTRACREDIT: Med L XXL] A further example that cannot be generated from the mapping rule for DisjointClasses.Passno dataPassno dataPassno dataPassUndecided
Syntactic Level Test for AnnotationProperty-003no dataPassPassPassno dataPassno datano data
Syntactic Level Test for AnnotationProperty-004no dataPassPassPassno dataPassno datano data
Syntactic Level Test for Class-004no dataPassPassPassno dataPassno datano data
Syntactic Level Test for DatatypeProperty-001no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I4.6-004no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.1-010no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.26-001no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.26-002no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.26-003no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.26-004no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.26-005no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.26-006no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.26-007no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.3-005no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.3-007no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.3-009no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.3-010no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.5-006no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.5-007no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I5.8-014no dataPassPassPassno dataPassno datano data
Syntactic Level Test for I6.1-001no dataPassPassPassno dataPassno datano data
Syntactic Level Test for Restriction-003no dataPassPassPassno dataPassno datano data
Syntactic Level Test for backwardCompatibleWith-002no dataPassPassPassno dataPassno datano data
Syntactic Level Test for disjointWith-004no dataPassPassPassno dataPassno datano data
Syntactic Level Test for disjointWith-006no dataPassPassPassno dataPassno datano data
Syntactic Level Test for disjointWith-008no dataPassPassPassno dataPassno datano data
Syntactic Level Test for extra-credit-002no dataPassPassPassno dataPassno datano data
Syntactic Level Test for extra-credit-003no dataPassPassPassno dataPassno datano data
Syntactic Level Test for extra-credit-004no dataPassPassPassno dataPassno datano data
Syntactic Level Test for imports-002no dataPassPassPassno dataPassno datano data
Syntactic Level Test for miscellaneous-301no dataPassPassPassno dataPassno datano data
Syntactic Level Test for oneOf-001no dataPassPassPassno dataPassno datano data
Syntactic Level Test for someValuesFrom-002no dataPassPassPassno dataPassno datano data

55. Approved Tests With 5 Passes (Lite)

No results on these tests for: Jena2 (Syntax) WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 24 tests)58% 4%100%54%75%45% 4%95%25%37% 0%
(levels:Lite, Full) SymmetricProperty-003 [APPROVED: Med L XXL] A Lite version of test 001.Passno dataPassno datano datano dataPassPassPassno datano data
(levels:Lite, Full) backwardCompatibleWith-001 [APPROVED: Med L XXL] An example of use.Passno dataPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) description-logic-601 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. no dataPassPassFailUndecidedPassno dataPassPassno datano data
(levels:Lite, Full) description-logic-605 [APPROVED: Med L XXL] DL Test: fact4.2 no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-608 [APPROVED: Med L XXL] DL Test: t1.3 no datano dataPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-609 [APPROVED: Med L XXL] DL Test: t10.1 no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-616 [APPROVED: Med L XXL] DL Test: t2.1 no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-624 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-625 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-626 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking no datano dataPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-627 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking no datano dataPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-634 [APPROVED: Med L XXL] DL Test: t8.1 no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:Lite, Full) imports-012 [APPROVED: Med L XXL] A simple test for infinite loops in imports processing code.Passno dataPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) miscellaneous-202 [APPROVED: Med L XXL] This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL.Passno dataPassPassPassPassno dataUndecidedUndecidedno datano data
(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.Passno dataPassPassPassno datano dataPassno datano datano data
(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.Passno dataPassPassPassno datano dataPassno datano datano data
(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.Passno dataPassPassPassno datano dataPassno datano datano data
(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.Passno dataPassPassPassno datano dataPassno datano datano data
(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.Passno dataPassPassPassno datano dataPassno datano datano data
(levels:Lite) I4.6-006 [APPROVED: Med L XXL] owl:sameIndividualAs is not an OWL property.Passno dataPassPassPassno datano dataPassno datano datano data
(levels:Lite) I4.6-007 [APPROVED: Med L XXL] owl:sameClassAs is not an OWL property.Passno dataPassPassPassno datano dataPassno datano datano data
(levels:Lite) I4.6-008 [APPROVED: Med L XXL] owl:samePropertyAs is not an OWL property.Passno dataPassPassPassno datano dataPassno datano datano data
(levels:Lite) I5.21-001 [APPROVED: Med L XXL] daml:disjointUnionOf did not make it into OWL.Passno dataPassPassPassno datano dataPassno datano datano data
(levels:Lite) imports-011 [APPROVED: Med L XXL] A Lite version of test imports-001. Passno dataPassPassno datano datano dataPassPassno datano data

56. Approved Tests With 5 Passes (DL)

No results on these tests for: Jena2 (Syntax) WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 29 tests)13%13%100%17%51%100%13%68%65%55% 0%
(levels:DL, Full) I4.5-002 [APPROVED: Med L XXL] An example combining owl:oneOf and owl:inverseOf.UndecidedPassPassno dataPassPassno dataUndecidedPassno datano 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.UndecidedUndecidedPassPassno dataPassFailPassPassno datano data
(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 dataPassPassPassno dataPassFailUndecidedPassno dataUndecided
(levels:DL, Full) description-logic-005 [APPROVED: Med L XXL] DL Test: fact4.2 no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-006 [APPROVED: Med L XXL] DL Test: t1.1 no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-007 [APPROVED: Med L XXL] DL Test: t1.2 no dataPassPassno dataUndecidedPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-008 [APPROVED: Med L XXL] DL Test: t1.3 no datano dataPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-015 [APPROVED: Med L XXL] DL Test: t12.1 Undecidedno dataPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-021 [APPROVED: Med L XXL] DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case no datano dataPassPassUndecidedPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-022 [APPROVED: Med L XXL] DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case no dataPassPassFailUndecidedPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-024 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-025 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-026 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking no datano dataPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-027 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking no datano dataPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-029 [APPROVED: Med L XXL] DL Test: t7.2 no datano dataPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-032 [APPROVED: Med L XXL] DL Test: t7f.2 no datano dataPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-033 [APPROVED: Med L XXL] DL Test: t7f.3 no datano dataPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-034 [APPROVED: Med L XXL] DL Test: t8.1 no datano dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-108 [APPROVED: Med L XXL] DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyno datano dataPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-202 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. no datano dataPassUndecidedno dataPassPassPassPassno datano data
(levels:DL, Full) description-logic-203 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. no datano dataPassUndecidedno dataPassPassPassPassno datano data
(levels:DL, Full) description-logic-204 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. no datano dataPassUndecidedno dataPassPassPassPassno datano data
(levels:DL, Full) description-logic-206 [APPROVED: Med L XXL] DL Test: k_path ABox test from DL98 systems comparison. Undecidedno dataPassUndecidedno dataPassPassPassPassno datano data
(levels:DL, Full) disjointWith-003 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL.Passno dataPassFailPassPassno dataPassUndecidedno datano data
(levels:DL, Full) disjointWith-005 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL.Passno dataPassFailPassPassno dataPassUndecidedno datano data
(levels:DL, Full) disjointWith-007 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.Passno dataPassFailPassPassno dataPassUndecidedno datano data
(levels:DL, Full) disjointWith-009 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.Passno dataPassFailPassPassno dataPassUndecidedno datano data
(levels:DL, Full) unionOf-003 [APPROVED: Med L XXL] Sets with appropriate extensions are related by unionOf.Undecidedno dataPassPassno dataPassFailPassPassno datano data
(levels:DL, Full) unionOf-004 [APPROVED: Med L XXL] An inverse to test 003.Undecidedno dataPassPassno dataPassFailPassPassno datano data

57. Approved Tests With 5 Passes (Full)

No results on these tests for: Jena2 (Syntax) OWLP Hoolet WonderWeb FaCT

TestFOWLJena2PelletConsVISorBossamCerebraEulerSurnia
Percent Passing (of 13 tests)53%84%92%15%84%15%100%53%
(levels:Full) Class-003 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.Passno dataPassno dataPassPassPassno data
(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.UndecidedPassPassno dataPassno dataPassPass
(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.UndecidedPassPassno dataPassPassPassno data
(levels:Full) I5.5-004 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:first property.PassPassFailPassno datano dataPassPass
(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.UndecidedPassPassno dataPassno dataPassPass
(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.UndecidedPassPassno dataPassno dataPassPass
(levels:Full) InverseFunctionalProperty-003 [APPROVED: Med L XXL] If prop is an owl:InverseFunctionalProperty, then its inverse is an owl:FunctionalProperty.UndecidedPassPassno dataPassno dataPassPass
(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.UndecidedPassPassno dataPassno dataPassPass
(levels:Full) Restriction-002 [APPROVED: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. PassPassPassPassno datano dataPassno data
(levels:Full) differentFrom-002 [APPROVED: Med L XXL] using distinctMembers to derive differentFromPassPassPassno dataPassno dataPassUndecided
(levels:Full) disjointWith-002 [APPROVED: Med L XXL] Disjoint classes have different members.PassPassPassno dataPassno dataPassUndecided
(levels:Full) distinctMembers-001 [APPROVED: Med L XXL] using distinctMembers to derive differentFromPassPassPassno dataPassno dataPassUndecided
(levels:Full) unionOf-001 [APPROVED: Med L XXL] A union is a superclass of its parts. Passno dataPassno dataPassno dataPassPass

58. Extra Credit Tests With 5 Passes (Lite)

No results on these tests for: Jena2 (Syntax) ConsVISor WonderWeb FaCT Surnia

TestFOWLJena2PelletOWLPHooletBossamCerebraEuler
Percent Passing (of 3 tests) 0%100%100%100% 0%100% 0%100%
(levels:Lite, Full) I5.8-006 [EXTRACREDIT: Med L XXL] All xsd:byte are xsd:short.UndecidedPassPassPassUndecidedPassUndecidedPass
(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:unsignedIntUndecidedPassPassPassUndecidedPassUndecidedPass
(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.UndecidedPassPassPassUndecidedPassUndecidedPass

59. Approved Tests With 6 Passes (Lite)

No results on these tests for: Jena2 (Syntax) WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 23 tests)52%39%100%52%73%91% 8%73%60%47% 0%
(levels:Lite, Full) I5.2-003 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:Lite, Full) I5.2-010 [APPROVED: Med L XXL] The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:Lite, Full) I5.2-011 [APPROVED: Med L XXL] The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:Lite, Full) I5.3-006 [APPROVED: Med L XXL] A minimal OWL Lite version of test 005.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:Lite, Full) I5.3-008 [APPROVED: Med L XXL] An OWL Lite version of test 007.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:Lite, Full) I5.3-011 [APPROVED: Med L XXL] Classes can be the object of annotation properties in OWL Lite and DL.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(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.Passno dataPassPassno datano dataPassPassPassno datano 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.Passno dataPassPassno datano dataPassPassPassno datano data
(levels:Lite, Full) Restriction-001 [APPROVED: Med L XXL] This test shows the syntax for using the same restriction twice in OWL Lite. PassPassPassPassUndecidedPassno dataUndecidedPassno datano data
(levels:Lite, Full) Restriction-004 [APPROVED: Med L XXL] This test shows OWL Lite syntax for using two equivalent restrictions. Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:Lite, Full) description-logic-603 [APPROVED: Med L XXL] DL Test: fact3.1 no dataPassPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-604 [APPROVED: Med L XXL] DL Test: fact4.1 no dataPassPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-610 [APPROVED: Med L XXL] DL Test: t10.2 no dataPassPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-611 [APPROVED: Med L XXL] DL Test: t10.3 no datano dataPassno dataPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-612 [APPROVED: Med L XXL] DL Test: t10.4 no dataPassPassno dataUndecidedPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-613 [APPROVED: Med L XXL] DL Test: t10.5 no dataPassPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-615 [APPROVED: Med L XXL] DL Test: t12.1 no datano dataPassno dataPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-629 [APPROVED: Med L XXL] DL Test: t7.2 no dataPassPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-630 [APPROVED: Med L XXL] DL Test: t7.3 no datano dataPassno dataPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-632 [APPROVED: Med L XXL] DL Test: t7f.2 no dataPassPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-633 [APPROVED: Med L XXL] DL Test: t7f.3 no dataPassPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:Lite, Full) miscellaneous-201 [APPROVED: Med L XXL] This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:Lite, Full) miscellaneous-303 [APPROVED: Med L XXL] dc:creator may be declared as an annotation property.Passno dataPassPassPassPassno dataPassUndecidedno datano data

60. Approved Tests With 6 Passes (DL)

No results on these tests for: Jena2 (Syntax) WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 23 tests)26%17%100%56%69%100%21%82%65%60% 0%
(levels:DL, Full) I4.5-001 [APPROVED: Med L XXL] An example combinging owl:oneOf and owl:inverseOf.no dataPassPassno datano dataPassPassPassPassno datano data
(levels:DL, Full) I5.2-004 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions.Undecidedno dataPassPassno dataPassPassPassPassno datano data
(levels:DL, Full) I5.2-005 [APPROVED: Med L XXL] The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:DL, Full) description-logic-009 [APPROVED: Med L XXL] DL Test: t10.1 Passno dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-010 [APPROVED: Med L XXL] DL Test: t10.2 UndecidedPassPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-011 [APPROVED: Med L XXL] DL Test: t10.3 Undecidedno dataPassno dataPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-013 [APPROVED: Med L XXL] DL Test: t10.5 UndecidedPassPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-014 [APPROVED: Med L XXL] DL Test: t11.1 UndecidedPassPassno dataPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-016 [APPROVED: Med L XXL] DL Test: t2.1 Passno dataPassno dataPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-018 [APPROVED: Med L XXL] DL Test: t3.1 There are 90 possible partitions in the satisfiable case no datano dataPassPassPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-020 [APPROVED: Med L XXL] DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case no datano dataPassPassPassPassno dataPassUndecidedPassno data
(levels:DL, Full) description-logic-030 [APPROVED: Med L XXL] DL Test: t7.3 no datano dataPassno dataPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-105 [APPROVED: Med L XXL] DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno datano dataPassPassPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-106 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno datano dataPassFailPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-107 [APPROVED: Med L XXL] DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyno datano dataPassno dataPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-110 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictionsUndecidedno dataPassPassUndecidedPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-201 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. no datano dataPassPassno dataPassPassPassPassno datano data
(levels:DL, Full) description-logic-205 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. no datano dataPassPassno dataPassPassPassPassno datano data
(levels:DL, Full) description-logic-207 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. no datano dataPassPassno dataPassPassPassPassno datano data
(levels:DL, Full) equivalentClass-006 [APPROVED: Med L XXL] De Morgan's law.Undecidedno dataPassPassno dataPassFailPassPassPassUndecided
(levels:DL, Full) equivalentClass-009 [APPROVED: Med L XXL] A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:DL, Full) miscellaneous-102 [APPROVED: Med L XXL] Abstract syntax restrictions with multiple components are in OWL DL.Passno dataPassPassPassPassno dataPassUndecidedno datano data
(levels:DL, Full) miscellaneous-103 [APPROVED: Med L XXL] This description cannot be expressed as a multicomponent restriction in the abstract syntax.Passno dataPassPassPassPassno dataPassUndecidedno datano data

61. Approved Tests With 6 Passes (Full)

No results on these tests for: Jena2 (Syntax) OWLP ConsVISor Hoolet WonderWeb Cerebra FaCT

TestFOWLJena2PelletBossamEulerSurnia
Percent Passing (of 11 tests)100%100%100%100%100%100%
(levels:Full) AllDifferent-001 [APPROVED: Med L XXL] using AllDifferent to derive differentFromPassPassPassPassPassPass
(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.PassPassPassPassPassPass
(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.PassPassPassPassPassPass
(levels:Full) FunctionalProperty-003 [APPROVED: Med L XXL] If prop is an owl:FunctionalProperty, then its inverse is an owl:InverseFunctionalProperty.PassPassPassPassPassPass
(levels:Full) SymmetricProperty-001 [APPROVED: Med L XXL] A simple illustration of symmetric properties. PassPassPassPassPassPass
(levels:Full) TransitiveProperty-001 [APPROVED: Med L XXL] A simple illustration of transitivity. PassPassPassPassPassPass
(levels:Full) differentFrom-001 [APPROVED: Med L XXL] differentFrom is a SymmetricProperty. PassPassPassPassPassPass
(levels:Full) equivalentProperty-006 [APPROVED: Med L XXL] hasLeader may be stated to be the owl:equivalentProperty of hasHead.PassPassPassPassPassPass
(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.PassPassPassPassPassPass
(levels:Full) oneOf-002 [APPROVED: Med L XXL] oneOf describes a class by enumerating its individuals. PassPassPassPassPassPass
(levels:Full) oneOf-003 [APPROVED: Med L XXL] The order of the instances in an owl:oneOf construct is unimportant.PassPassPassPassPassPass

62. Approved Tests With 7 Passes (Lite)

No results on these tests for: Jena2 (Syntax) WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 10 tests)30%90%100%70%50%100%40%80%90%50% 0%
(levels:Lite, Full) I5.2-001 [APPROVED: Med L XXL] A class like owl:Nothing can be defined using OWL Lite restrictions.Passno dataPassPassPassPassno dataPassUndecidedPassno data
(levels:Lite, Full) I5.24-003 [APPROVED: Med L XXL] This is a typical definition of range from description logic.UndecidedPassPassPassno dataPassPassPassPassno datano data
(levels:Lite, Full) Nothing-001 [APPROVED: Med L XXL] The triple asserts something of type owl:Nothing, however that is the empty class.PassPassPassPassPassPassno dataUndecidedPassno datano data
(levels:Lite, Full) allValuesFrom-001 [APPROVED: Med L XXL] A simple example.PassPassPassPassno dataPassPassUndecidedPassno dataUndecided
(levels:Lite, Full) description-logic-614 [APPROVED: Med L XXL] DL Test: t11.1 no dataPassPassno dataPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-617 [APPROVED: Med L XXL] DL Test: t2.2 no dataPassPassno dataPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-646 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno dataPassPassFailPassPassno dataPassPassPassno data
(levels:Lite, Full) description-logic-650 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictionsno dataPassPassPassUndecidedPassno dataPassPassPassno data
(levels:Lite, Full) description-logic-665 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. no dataPassPassPassno dataPassPassPassPassno datano data
(levels:Lite, Full) description-logic-667 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. no dataPassPassPassno dataPassPassPassPassno datano data

63. Approved Tests With 7 Passes (DL)

No results on these tests for: Jena2 (Syntax) WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 13 tests)15%53%100%53%84%100% 7%92%100%92% 0%
(levels:DL, Full) description-logic-001 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. UndecidedPassPassPassUndecidedPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-002 [APPROVED: Med L XXL] DL Test: fact2.1 UndecidedPassPassFailPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-003 [APPROVED: Med L XXL] DL Test: fact3.1 UndecidedPassPassno dataPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-004 [APPROVED: Med L XXL] DL Test: fact4.1 UndecidedPassPassno dataPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-012 [APPROVED: Med L XXL] DL Test: t10.4 UndecidedPassPassno dataPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-017 [APPROVED: Med L XXL] DL Test: t2.2 UndecidedPassPassno dataPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-101 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano dataPassPassPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-102 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano dataPassPassPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-103 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano dataPassPassPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-104 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano dataPassPassPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-109 [APPROVED: Med L XXL] DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyPassno dataPassPassPassPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-111 [APPROVED: Med L XXL] DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictionsno datano dataPassPassPassPassno dataPassPassPassUndecided
(levels:DL, Full) disjointWith-001 [APPROVED: Med L XXL] Disjoint classes have different members.PassPassPassno datano dataPassPassPassPassno dataUndecided

64. Approved Tests With 8 Passes (Lite)

No results on these tests for: Jena2 (Syntax) WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 12 tests)58%100%100%75%41%100%58%100%100%41%25%
(levels:Lite, Full) I5.24-004 [APPROVED: Med L XXL] This is a typical definition of range from description logic. It works both ways.PassPassPassPassno dataPassPassPassPassno dataUndecided
(levels:Lite, Full) description-logic-602 [APPROVED: Med L XXL] DL Test: fact2.1 no dataPassPassPassPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-641 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassPassPassPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-642 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassPassPassPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-643 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassPassPassPassPassno dataPassPassPassUndecided
(levels:Lite, Full) description-logic-644 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassPassPassPassPassno dataPassPassPassno data
(levels:Lite, Full) equivalentClass-001 [APPROVED: Med L XXL] Two classes may have the same class extension.PassPassPassPassno dataPassPassPassPassno dataUndecided
(levels:Lite, Full) equivalentClass-002 [APPROVED: Med L XXL] Two classes may be different names for the same set of individualsPassPassPassPassno dataPassPassPassPassno dataUndecided
(levels:Lite, Full) equivalentClass-004 [APPROVED: Med L XXL] Two classes with the same complete description are equivalent.PassPassPassPassno dataPassPassPassPassno dataUndecided
(levels:Lite, Full) equivalentProperty-001 [APPROVED: Med L XXL] hasLeader may be stated to be the owl:equivalentProperty of hasHead.PassPassPassno datano dataPassPassPassPassno dataPass
(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.PassPassPassno datano dataPassPassPassPassno dataPass
(levels:Lite, Full) equivalentProperty-003 [APPROVED: Med L XXL] The inverse entailment of test 002 also holds.PassPassPassno datano dataPassPassPassPassno dataPass

65. Approved Tests With 8 Passes (DL)

No results on these tests for: Jena2 (Syntax) ConsVISor WonderWeb FaCT

TestFOWLJena2PelletOWLPHooletBossamCerebraEulerSurnia
Percent Passing (of 1 tests)100%100%100%100%100%100% 0%100%100%
(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.PassPassPassPassPassPassUndecidedPassPass

66. Approved Tests With 9 Passes (Lite)

No results on these tests for: Jena2 (Syntax) ConsVISor WonderWeb

TestFOWLJena2PelletOWLPHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 4 tests)100%100%100%100%100%100%100%100%25%75%
(levels:Lite, Full) I5.2-002 [APPROVED: Med L XXL] A class like owl:Nothing can be defined using OWL Lite restrictions.PassPassPassPassPassPassPassPassPassUndecided
(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.PassPassPassPassPassPassPassPassno dataPass
(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.PassPassPassPassPassPassPassPassno dataPass
(levels:Lite, Full) equivalentClass-003 [APPROVED: Med L XXL] Two classes may be different names for the same set of individualsPassPassPassPassPassPassPassPassno dataPass

Results by Number of Systems Failing

ApprovedProposedExtra Credit
LiteDLFullLiteDLFullLiteDLFull
Tests With 0 Fails1881799800091563
Tests With 1 Fail72315000325
Tests With 2 Fails121000010

67. Approved Tests With 0 Fails (Lite)

TestFOWLJena2Jena2 (Syntax)PelletOWLPConsVISorHooletBossamWonderWebCerebraEulerFaCTSurnia
Percent Passing (of 188 tests)27%18%52%96%81%23%32%11%52%37%26%18% 3%
(levels:Lite, Full) I4.6-005 [APPROVED: Med L XXL] owl:equivalentClass is not related to annotations on classes.Passno datano datano dataPassno datano datano datano dataUndecidedUndecidedno datano data
(levels:Lite, Full) I5.2-001 [APPROVED: Med L XXL] A class like owl:Nothing can be defined using OWL Lite restrictions.Passno datano dataPassPassPassPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) I5.2-002 [APPROVED: Med L XXL] A class like owl:Nothing can be defined using OWL Lite restrictions.PassPassno dataPassPassno dataPassPassno dataPassPassPassUndecided
(levels:Lite, Full) I5.2-003 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) I5.2-010 [APPROVED: Med L XXL] The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) I5.2-011 [APPROVED: Med L XXL] The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) I5.24-003 [APPROVED: Med L XXL] This is a typical definition of range from description logic.UndecidedPassno dataPassPassno dataPassPassno dataPassPassno datano 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.PassPassno dataPassPassno dataPassPassno dataPassPassno dataUndecided
(levels:Lite, Full) I5.3-006 [APPROVED: Med L XXL] A minimal OWL Lite version of test 005.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) I5.3-008 [APPROVED: Med L XXL] An OWL Lite version of test 007.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) I5.3-011 [APPROVED: Med L XXL] Classes can be the object of annotation properties in OWL Lite and DL.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) I5.8-011 [APPROVED: Med L XXL] The empty graph entails that xsd:integer and xsd:string are a rdfs:DatatypePassno datano datano dataPassno datano datano datano dataUndecidedPassno datano data
(levels:Lite, Full) I5.8-013 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics.Passno datano dataPassPassPassno datano datano dataUndecidedUndecidedno datano data
(levels:Lite, Full) Nothing-001 [APPROVED: Med L XXL] The triple asserts something of type owl:Nothing, however that is the empty class.PassPassno dataPassPassPassPassno datano dataUndecidedPassno datano data
(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.Passno datano dataPassPassno datano dataPassno dataPassPassno datano 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.Passno datano dataPassPassno datano datano datano datano dataUndecidedno datano 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.Passno datano dataPassPassno datano dataPassno dataPassPassno datano data
(levels:Lite, Full) Restriction-001 [APPROVED: Med L XXL] This test shows the syntax for using the same restriction twice in OWL Lite. PassPassno dataPassPassUndecidedPassno datano dataUndecidedPassno datano data
(levels:Lite, Full) Restriction-004 [APPROVED: Med L XXL] This test shows OWL Lite syntax for using two equivalent restrictions. Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano 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.Passno datano dataPassPassno datano datano datano dataUndecidedUndecidedno datano data
(levels:Lite, Full) SymmetricProperty-003 [APPROVED: Med L XXL] A Lite version of test 001.Passno datano dataPassno datano datano dataPassno dataPassPassno datano data
(levels:Lite, Full) allValuesFrom-001 [APPROVED: Med L XXL] A simple example.PassPassno dataPassPassno dataPassPassno dataUndecidedPassno dataUndecided
(levels:Lite, Full) allValuesFrom-002 [APPROVED: Med L XXL] Another simple example; contrast with owl:someValuesFrom.Passno datano dataPassPassno datano datano datano dataPassUndecidedno dataUndecided
(levels:Lite, Full) backwardCompatibleWith-001 [APPROVED: Med L XXL] An example of use.Passno datano dataPassPassPassno datano datano dataPassUndecidedno datano data
(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.PassPassno dataPassPassno dataPassPassno dataPassPassno dataPass
(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.PassPassno dataPassPassno dataPassPassno dataPassPassno dataPass
(levels:Lite, Full) description-logic-602 [APPROVED: Med L XXL] DL Test: fact2.1 no dataPassno dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-603 [APPROVED: Med L XXL] DL Test: fact3.1 no dataPassno dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-604 [APPROVED: Med L XXL] DL Test: fact4.1 no dataPassno dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-605 [APPROVED: Med L XXL] DL Test: fact4.2 no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-606 [APPROVED: Med L XXL] DL Test: t1.1 no datano datano dataPassno dataUndecidedPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-608 [APPROVED: Med L XXL] DL Test: t1.3 no datano datano dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-609 [APPROVED: Med L XXL] DL Test: t10.1 no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-610 [APPROVED: Med L XXL] DL Test: t10.2 no dataPassno dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-611 [APPROVED: Med L XXL] DL Test: t10.3 no datano datano dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-612 [APPROVED: Med L XXL] DL Test: t10.4 no dataPassno dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-613 [APPROVED: Med L XXL] DL Test: t10.5 no dataPassno dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-614 [APPROVED: Med L XXL] DL Test: t11.1 no dataPassno dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-615 [APPROVED: Med L XXL] DL Test: t12.1 no datano datano dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-616 [APPROVED: Med L XXL] DL Test: t2.1 no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-617 [APPROVED: Med L XXL] DL Test: t2.2 no dataPassno dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-623 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example no datano datano dataPassno dataUndecidedPassno datano dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-624 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-625 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-626 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking no datano datano dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-627 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking no datano datano dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-628 [APPROVED: Med L XXL] DL Test: t7.1 no datano datano dataPassno dataUndecidedUndecidedno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-629 [APPROVED: Med L XXL] DL Test: t7.2 no dataPassno dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-630 [APPROVED: Med L XXL] DL Test: t7.3 no datano datano dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-631 [APPROVED: Med L XXL] DL Test: t7f.1 no datano datano dataPassno dataUndecidedUndecidedno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-632 [APPROVED: Med L XXL] DL Test: t7f.2 no dataPassno dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-633 [APPROVED: Med L XXL] DL Test: t7f.3 no dataPassno dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:Lite, Full) description-logic-634 [APPROVED: Med L XXL] DL Test: t8.1 no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:Lite, Full) description-logic-641 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassno dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-642 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassno dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-643 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassno dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:Lite, Full) description-logic-644 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no dataPassno dataPassPassPassPassno datano dataPassPassPassno data
(levels:Lite, Full) description-logic-650 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictionsno dataPassno dataPassPassUndecidedPassno datano dataPassPassPassno data
(levels:Lite, Full) description-logic-661 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. no datano datano dataUndecidedUndecidedno dataPassPassno datano dataPassno datano data
(levels:Lite, Full) description-logic-662 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. no datano datano dataUndecidedUndecidedno dataPassPassno datano dataPassno datano data
(levels:Lite, Full) description-logic-663 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. no datano datano dataUndecidedUndecidedno dataPassPassno datano dataPassno datano data
(levels:Lite, Full) description-logic-664 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. no dataPassno dataUndecidedUndecidedno dataPassPassno datano dataPassno datano data
(levels:Lite, Full) description-logic-665 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. no dataPassno dataPassPassno dataPassPassno dataPassPassno datano data
(levels:Lite, Full) description-logic-667 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. no dataPassno dataPassPassno dataPassPassno dataPassPassno datano data
(levels:Lite, Full) equivalentClass-001 [APPROVED: Med L XXL] Two classes may have the same class extension.PassPassno dataPassPassno dataPassPassno dataPassPassno dataUndecided
(levels:Lite, Full) equivalentClass-002 [APPROVED: Med L XXL] Two classes may be different names for the same set of individualsPassPassno dataPassPassno dataPassPassno dataPassPassno dataUndecided
(levels:Lite, Full) equivalentClass-003 [APPROVED: Med L XXL] Two classes may be different names for the same set of individualsPassPassno dataPassPassno dataPassPassno dataPassPassno dataPass
(levels:Lite, Full) equivalentClass-004 [APPROVED: Med L XXL] Two classes with the same complete description are equivalent.PassPassno dataPassPassno dataPassPassno dataPassPassno dataUndecided
(levels:Lite, Full) equivalentClass-005 [APPROVED: Med L XXL] Two classes with the same partial description are not equivalent.Passno datano dataPassPassno datano datano datano dataPassUndecidedno dataUndecided
(levels:Lite, Full) equivalentProperty-001 [APPROVED: Med L XXL] hasLeader may be stated to be the owl:equivalentProperty of hasHead.PassPassno dataPassno datano dataPassPassno dataPassPassno dataPass
(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.PassPassno dataPassno datano dataPassPassno dataPassPassno dataPass
(levels:Lite, Full) equivalentProperty-003 [APPROVED: Med L XXL] The inverse entailment of test 002 also holds.PassPassno dataPassno datano dataPassPassno dataPassPassno dataPass
(levels:Lite, Full) imports-012 [APPROVED: Med L XXL] A simple test for infinite loops in imports processing code.Passno datano dataPassPassPassno datano datano dataPassUndecidedno datano data
(levels:Lite, Full) miscellaneous-201 [APPROVED: Med L XXL] This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:Lite, Full) miscellaneous-202 [APPROVED: Med L XXL] This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL.Passno datano dataPassPassPassPassno datano dataUndecidedUndecidedno datano data
(levels:Lite, Full) miscellaneous-302 [APPROVED: Med L XXL] Annotations participate a little in the semantics.Passno datano datano dataPassno datano datano datano datano dataUndecidedno datano data
(levels:Lite, Full) miscellaneous-303 [APPROVED: Med L XXL] dc:creator may be declared as an annotation property.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(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.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(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.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(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.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(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.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(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.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(levels:Lite) I4.6-006 [APPROVED: Med L XXL] owl:sameIndividualAs is not an OWL property.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(levels:Lite) I4.6-007 [APPROVED: Med L XXL] owl:sameClassAs is not an OWL property.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(levels:Lite) I4.6-008 [APPROVED: Med L XXL] owl:samePropertyAs is not an OWL property.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(levels:Lite) I5.21-001 [APPROVED: Med L XXL] daml:disjointUnionOf did not make it into OWL.Passno datano dataPassPassPassno datano datano dataPassno datano datano data
(levels:Lite) imports-006 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file.Passno datano dataPassPassno datano datano datano dataPassno datano datano data
(levels:Lite) imports-007 [APPROVED: Med L XXL] The type declarations required by semantic layering can be imported into an OWL Lite or OWL DL file.Passno datano dataPassPassno datano datano datano dataPassno datano datano data
(levels:Lite) imports-008 [APPROVED: Med L XXL] It is often possible to import an ordinary RDFS document unchanged into an OWL Lite document. Aditional type declarations may be needed in the importing document. Passno datano dataPassPassno datano datano datano dataPassno datano datano data
(levels:Lite) imports-011 [APPROVED: Med L XXL] A Lite version of test imports-001. Passno datano dataPassPassno datano datano datano dataPassPassno datano data
Syntactic Level Test for AnnotationProperty-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I3.2-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I3.2-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I3.2-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I3.4-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.1-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.6-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.6-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.6-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.6-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-010no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.21-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.24-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.24-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.3-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.3-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.3-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-013no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-015no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Nothing-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Ontology-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Ontology-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Ontology-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Restriction-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Restriction-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Restriction-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for SymmetricProperty-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Thing-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for allValuesFrom-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for allValuesFrom-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for backwardCompatibleWith-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for cardinality-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for cardinality-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-601no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-602no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-603no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-604no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-605no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-606no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-608no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-609no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-610no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-611no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-612no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-613no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-614no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-615no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-616no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-617no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-623no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-624no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-625no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-626no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-627no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-628no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-629no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-630no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-631no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-632no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-633no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-634no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-641no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-642no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-643no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-644no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-646no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-650no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-661no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-662no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-663no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-664no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-665no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-667no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentProperty-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentProperty-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentProperty-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-012no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-201no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-202no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-205no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-302no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-303no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for someValuesFrom-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data

68. Approved Tests With 0 Fails (DL)

TestFOWLJena2Jena2 (Syntax)PelletOWLPConsVISorHooletBossamWonderWebCerebraEulerFaCTSurnia
Percent Passing (of 179 tests)10% 7%56%97%74%22%33% 7%56%28%26%24% 0%
(levels:DL, Full) Class-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:Class.Passno datano dataPassPassno datano datano datano dataUndecidedUndecidedno datano data
(levels:DL, Full) I4.5-001 [APPROVED: Med L XXL] An example combinging owl:oneOf and owl:inverseOf.no dataPassno dataPassno datano dataPassPassno dataPassPassno datano data
(levels:DL, Full) I4.5-002 [APPROVED: Med L XXL] An example combining owl:oneOf and owl:inverseOf.UndecidedPassno dataPassno dataPassPassno datano dataUndecidedPassno datano data
(levels:DL, Full) I5.2-004 [APPROVED: Med L XXL] The complement of a class can be defined using OWL Lite restrictions.Undecidedno datano dataPassPassno dataPassPassno dataPassPassno datano data
(levels:DL, Full) I5.2-005 [APPROVED: Med L XXL] The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano 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 datano datano dataPassPassno datano dataPassno datano dataPassno datano 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 datano datano dataPassPassno datano dataPassno datano dataPassno datano data
(levels:DL, Full) I5.8-002 [APPROVED: Med L XXL] There are 256 different values for xsd:byte.Passno datano dataPassPassUndecidedUndecidedno datano dataPassUndecidedno datano data
(levels:DL, Full) I5.8-005 [APPROVED: Med L XXL] There are 128 different values of xsd:byte that are also xsd:unsignedInt.Passno datano dataPassPassno datano datano datano dataUndecidedUndecidedno datano data
(levels:DL, Full) I5.8-012 [APPROVED: Med L XXL] There might be only 128 different values of xsd:byte that are also xsd:unsignedInt; but this does not follow from the datatype theory of this test. (cf. the similar inconsistency test).Passno datano dataPassPassUndecidedUndecidedno datano dataPassUndecidedno datano data
(levels:DL, Full) Nothing-002 [APPROVED: Med L XXL] An empty owl:Class has the same class extension as owl:Nothing.PassPassno datano dataPassno datano datano datano datano dataPassno datano 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.PassPassno dataPassPassno dataPassPassno dataUndecidedPassno dataPass
(levels:DL, Full) description-logic-001 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. UndecidedPassno dataPassPassUndecidedPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-003 [APPROVED: Med L XXL] DL Test: fact3.1 UndecidedPassno dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-004 [APPROVED: Med L XXL] DL Test: fact4.1 UndecidedPassno dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-005 [APPROVED: Med L XXL] DL Test: fact4.2 no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-006 [APPROVED: Med L XXL] DL Test: t1.1 no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-007 [APPROVED: Med L XXL] DL Test: t1.2 no dataPassno dataPassno dataUndecidedPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-008 [APPROVED: Med L XXL] DL Test: t1.3 no datano datano dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-009 [APPROVED: Med L XXL] DL Test: t10.1 Passno datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-010 [APPROVED: Med L XXL] DL Test: t10.2 UndecidedPassno dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-011 [APPROVED: Med L XXL] DL Test: t10.3 Undecidedno datano dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-012 [APPROVED: Med L XXL] DL Test: t10.4 UndecidedPassno dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-013 [APPROVED: Med L XXL] DL Test: t10.5 UndecidedPassno dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-014 [APPROVED: Med L XXL] DL Test: t11.1 UndecidedPassno dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-015 [APPROVED: Med L XXL] DL Test: t12.1 Undecidedno datano dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-016 [APPROVED: Med L XXL] DL Test: t2.1 Passno datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-017 [APPROVED: Med L XXL] DL Test: t2.2 UndecidedPassno dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-018 [APPROVED: Med L XXL] DL Test: t3.1 There are 90 possible partitions in the satisfiable case no datano datano dataPassPassPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-020 [APPROVED: Med L XXL] DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case no datano datano dataPassPassPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-021 [APPROVED: Med L XXL] DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case no datano datano dataPassPassUndecidedPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-023 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example no datano datano dataPassno dataUndecidedPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-024 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-025 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-026 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking no datano datano dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-027 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking no datano datano dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-028 [APPROVED: Med L XXL] DL Test: t7.1 no datano datano dataPassno dataUndecidedPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-029 [APPROVED: Med L XXL] DL Test: t7.2 no datano datano dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-030 [APPROVED: Med L XXL] DL Test: t7.3 no datano datano dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-031 [APPROVED: Med L XXL] DL Test: t7f.1 no datano datano dataPassno dataUndecidedPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-032 [APPROVED: Med L XXL] DL Test: t7f.2 no datano datano dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-033 [APPROVED: Med L XXL] DL Test: t7f.3 no datano datano dataPassno dataPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-034 [APPROVED: Med L XXL] DL Test: t8.1 no datano datano dataPassno dataPassPassno datano dataPassUndecidedPassno data
(levels:DL, Full) description-logic-035 [APPROVED: Med L XXL] A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2.no datano datano dataPassno dataUndecidedPassno datano dataUndecidedPassno datano data
(levels:DL, Full) description-logic-040 [APPROVED: Med L XXL] This kind of pattern comes up a lot in more complex ontologies. Failure to cope with this kind of pattern is one of the reasons that many reasoners have been unable to cope with such ontologies.no datano datano dataPassUndecidedUndecidedno datano datano dataPassPassno datano data
(levels:DL, Full) description-logic-101 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano datano dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-102 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano datano dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-103 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano datano dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-104 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept no datano datano dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-105 [APPROVED: Med L XXL] DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno datano datano dataPassPassPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-107 [APPROVED: Med L XXL] DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyno datano datano dataPassno dataPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-108 [APPROVED: Med L XXL] DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyno datano datano dataPassno dataUndecidedPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-109 [APPROVED: Med L XXL] DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchyPassno datano dataPassPassPassPassno datano dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-110 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictionsUndecidedno datano dataPassPassUndecidedPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-111 [APPROVED: Med L XXL] DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictionsno datano datano dataPassPassPassPassno datano dataPassPassPassUndecided
(levels:DL, Full) description-logic-201 [APPROVED: Med L XXL] DL Test: k_branch ABox test from DL98 systems comparison. no datano datano dataPassPassno dataPassPassno dataPassPassno datano data
(levels:DL, Full) description-logic-202 [APPROVED: Med L XXL] DL Test: k_d4 ABox test from DL98 systems comparison. no datano datano dataPassUndecidedno dataPassPassno dataPassPassno datano data
(levels:DL, Full) description-logic-203 [APPROVED: Med L XXL] DL Test: k_dum ABox test from DL98 systems comparison. no datano datano dataPassUndecidedno dataPassPassno dataPassPassno datano data
(levels:DL, Full) description-logic-204 [APPROVED: Med L XXL] DL Test: k_grz ABox test from DL98 systems comparison. no datano datano dataPassUndecidedno dataPassPassno dataPassPassno datano data
(levels:DL, Full) description-logic-205 [APPROVED: Med L XXL] DL Test: k_lin ABox test from DL98 systems comparison. no datano datano dataPassPassno dataPassPassno dataPassPassno datano data
(levels:DL, Full) description-logic-206 [APPROVED: Med L XXL] DL Test: k_path ABox test from DL98 systems comparison. Undecidedno datano dataPassUndecidedno dataPassPassno dataPassPassno datano data
(levels:DL, Full) description-logic-207 [APPROVED: Med L XXL] DL Test: k_ph ABox test from DL98 systems comparison. no datano datano dataPassPassno dataPassPassno dataPassPassno datano data
(levels:DL, Full) description-logic-208 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison.no datano datano dataPassUndecidedno dataUndecidedPassno dataUndecidedPassno datano data
(levels:DL, Full) description-logic-209 [APPROVED: Med L XXL] DL Test: k_poly ABox test from DL98 systems comparison. (Modified in light of implementation feedback, see test description-logic-208).no datano datano dataPassUndecidedno datano datano datano datano dataUndecidedno datano data
(levels:DL, Full) description-logic-504 [APPROVED: Med L XXL] This is a different encoding of test 502.no datano datano dataPassPassUndecidedPassno datano dataPassUndecidedno datano data
(levels:DL, Full) description-logic-902 [APPROVED: Med L XXL] This non-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 6.Passno datano dataPassno datano datano datano datano dataUndecidedUndecidedPassUndecided
(levels:DL, Full) description-logic-904 [APPROVED: Med L XXL] This non-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 600.Passno datano dataPassno datano datano datano datano dataUndecidedUndecidedPassno data
(levels:DL, Full) description-logic-908 [APPROVED: Med L XXL] This test shows integer multiplication in OWL DL, interacting with infinity.

N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity.
no datano datano dataPassno dataPassPassno datano dataPassUndecidedno datano data
(levels:DL, Full) description-logic-909 [APPROVED: Med L XXL] This test shows integer multiplication in OWL DL.

For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K.
no datano datano datano datano dataPassUndecidedno datano datano dataPassno datano data
(levels:DL, Full) disjointWith-001 [APPROVED: Med L XXL] Disjoint classes have different members.PassPassno dataPassno datano dataPassPassno dataPassPassno dataUndecided
(levels:DL, Full) equivalentClass-008 [APPROVED: Med L XXL] Annotation properties refer to a class instance. equivalentClass refers to the class extension.Passno datano datano dataPassno datano datano datano dataUndecidedUndecidedno datano data
(levels:DL, Full) equivalentClass-009 [APPROVED: Med L XXL] A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:DL, Full) miscellaneous-001 [APPROVED: Med L XXL] Wine example taken from the guide.no datano datano dataUndecidedno dataPassUndecidedno datano dataPassUndecidedno datano data
(levels:DL, Full) miscellaneous-002 [APPROVED: Med L XXL] Food example taken from the guide.no datano datano dataUndecidedno dataPassUndecidedno datano dataPassUndecidedno datano data
(levels:DL, Full) miscellaneous-102 [APPROVED: Med L XXL] Abstract syntax restrictions with multiple components are in OWL DL.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:DL, Full) miscellaneous-103 [APPROVED: Med L XXL] This description cannot be expressed as a multicomponent restriction in the abstract syntax.Passno datano dataPassPassPassPassno datano dataPassUndecidedno datano data
(levels:DL) imports-005 [APPROVED: Med L XXL] If an OWL Lite document imports an OWL DL document then it becomes OWL DL. Passno datano dataPassPassno datano datano datano dataPassno datano datano data
Syntactic Level Test for Class-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.5-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I4.5-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.2-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.21-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.26-009no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.26-010no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.5-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for I5.8-012no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Nothing-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for SymmetricProperty-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for Thing-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for TransitiveProperty-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for cardinality-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for cardinality-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-009no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-010no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-012no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-013no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-014no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-015no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-016no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-017no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-018no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-019no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-020no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-021no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-022no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-023no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-024no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-025no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-026no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-027no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-028no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-029no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-030no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-031no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-032no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-033no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-034no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-035no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-040no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-101no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-102no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-103no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-104no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-105no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-106no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-107no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-108no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-109no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-110no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-111no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-201no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-202no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-203no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-204no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-205no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-206no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-207no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-208no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-209no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-503no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-504no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-901no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-902no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-903no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-904no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-908no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for description-logic-909no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-007no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for disjointWith-009no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-006no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-008no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentClass-009no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for equivalentProperty-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for imports-005no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-001no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-002no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-010no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-011no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-102no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for miscellaneous-103no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for oneOf-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for unionOf-003no datano dataPassPassPassno datano datano dataPassno datano datano datano data
Syntactic Level Test for unionOf-004no datano dataPassPassPassno datano datano dataPassno datano datano datano data

69. Approved Tests With 0 Fails (Full)

No results on these tests for: Hoolet FaCT

TestFOWLJena2Jena2 (Syntax)PelletOWLPConsVISorBossamWonderWebCerebraEulerSurnia
Percent Passing (of 98 tests)29%30%58%93%61% 2%28%58% 7%38%18%
(levels:Full) AllDifferent-001 [APPROVED: Med L XXL] using AllDifferent to derive differentFromPassPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) Class-001 [APPROVED: Med L XXL] In OWL Full every rdfs:Class is an owl:Class, in particular rdfs:Class is an owl:Class.Passno datano datano datano datano datano datano dataPassPassno 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.Passno datano dataPassno datano dataPassno dataPassPassno 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.PassPassno dataPassno datano dataPassno datano dataPassPass
(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.PassPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) FunctionalProperty-003 [APPROVED: Med L XXL] If prop is an owl:FunctionalProperty, then its inverse is an owl:InverseFunctionalProperty.PassPassno dataPassno datano dataPassno datano dataPassPass
(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.UndecidedPassno dataPassno datano dataPassno datano dataPassPass
(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.UndecidedPassno dataPassno datano dataPassno dataPassPassno data
(levels:Full) I5.1-001 [APPROVED: Med L XXL] stateCode example using an inverseFunctionalProperty and literalsno dataPassno datano datano datano dataPassno datano dataPassUndecided
(levels:Full) I5.24-001 [APPROVED: Med L XXL] This entailment is similar to one that does not hold in RDFS.UndecidedPassno dataPassno datano dataPassno datano dataPassUndecided
(levels:Full) I5.5-001 [APPROVED: Med L XXL] rdf:first is a FunctionalProperty.PassPassno datano datano datano datano datano dataPassPassno data
(levels:Full) I5.5-002 [APPROVED: Med L XXL] rdf:rest is a FunctionalProperty.PassPassno datano datano datano datano datano dataPassPassno 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.UndecidedPassno dataPassno datano dataPassno datano dataPassPass
(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.UndecidedPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) InverseFunctionalProperty-003 [APPROVED: Med L XXL] If prop is an owl:InverseFunctionalProperty, then its inverse is an owl:FunctionalProperty.UndecidedPassno dataPassno datano dataPassno datano dataPassPass
(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.UndecidedPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) Restriction-002 [APPROVED: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. PassPassno dataPassno dataPassno datano datano dataPassno data
(levels:Full) SymmetricProperty-001 [APPROVED: Med L XXL] A simple illustration of symmetric properties. PassPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) TransitiveProperty-001 [APPROVED: Med L XXL] A simple illustration of transitivity. PassPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) complementOf-001 [APPROVED: Med L XXL] complementOf is a SymmetricProperty. Passno datano dataPassno datano dataPassno datano dataPassUndecided
(levels:Full) differentFrom-001 [APPROVED: Med L XXL] differentFrom is a SymmetricProperty. PassPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) differentFrom-002 [APPROVED: Med L XXL] using distinctMembers to derive differentFromPassPassno dataPassno datano dataPassno datano dataPassUndecided
(levels:Full) disjointWith-002 [APPROVED: Med L XXL] Disjoint classes have different members.PassPassno dataPassno datano dataPassno datano dataPassUndecided
(levels:Full) disjointWith-010 [APPROVED: Med L XXL] The owl:disjointWith loop is not in OWL DL. Classes that are disjoint with themselves are necessarily empty.Passno datano dataPassno dataPassno datano datano dataPassno data
(levels:Full) distinctMembers-001 [APPROVED: Med L XXL] using distinctMembers to derive differentFromPassPassno dataPassno datano dataPassno datano dataPassUndecided
(levels:Full) equivalentProperty-006 [APPROVED: Med L XXL] hasLeader may be stated to be the owl:equivalentProperty of hasHead.PassPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) imports-001 [APPROVED: Med L XXL] If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. PassPassno dataPassno datano datano datano datano dataPassno data
(levels:Full) imports-003 [APPROVED: Med L XXL] If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. PassPassno dataPassno datano datano datano datano dataPassno data
(levels:Full) imports-004 [APPROVED: Med L XXL] Importing OWL Full documents may change the level of OWL Lite or OWL DL documents.Passno datano dataPassPassno datano datano dataPassno datano data
(levels:Full) imports-010 [APPROVED: Med L XXL] This test specifies the domain and range for owl:imports.Passno datano datano datano datano datano datano dataPassPassno data
(levels:Full) imports-013 [APPROVED: Med L XXL] An imported ontology must have type owl:Ontology to be in DL.Passno datano dataPassPassno datano datano datano datano datano data
(levels:Full) imports-014 [APPROVED: Med L XXL] When importing a file that uses an xml:base declaration, if you use a different URL in an owl:imports triple, that URL may be without an explicit type.no datano datano dataPassPassno datano datano datano datano datano data
(levels:Full) intersectionOf-001 [APPROVED: Med L XXL] The order of the classes in an intersectionOf construct is unimportant.UndecidedPassno dataPassno datano dataPassno datano dataPassUndecided
(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.PassPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) maxCardinality-001 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node.UndecidedPassno dataPassno dataUndecidedno datano datano dataPassPass
(levels:Full) maxCardinality-002 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit. UndecidedPassno dataPassno dataUndecidedno datano datano dataPassUndecided
(levels:Full) oneOf-002 [APPROVED: Med L XXL] oneOf describes a class by enumerating its individuals. PassPassno dataPassno datano dataPassno datano dataPassPass
(levels:Full) oneOf-003 [APPROVED: Med L XXL] The order of the instances in an owl:oneOf construct is unimportant.PassPassno dataPassno datano dataPassno datano dataPassPass
(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.Passno datano datano datano datano dataPassno datano dataPassno data
(levels:Full) unionOf-001 [APPROVED: Med L XXL] A union is a superclass of its parts. Passno datano dataPassno datano dataPassno datano dataPassPass
(levels:Full) unionOf-002 [APPROVED: Med L XXL] A union behaves quite like set theoretic union. Passno datano dataPassno datano dataPassno datano dataPassUndecided
Syntactic Level Test for AllDifferent-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for AnnotationProperty-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Class-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Class-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Class-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Class-006no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-004no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for FunctionalProperty-005no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I4.6-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.1-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.24-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.24-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.3-014no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.3-015no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.5-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.5-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.5-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.5-004no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for I5.8-017no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for InverseFunctionalProperty-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for InverseFunctionalProperty-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for InverseFunctionalProperty-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for InverseFunctionalProperty-004no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Restriction-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Restriction-006no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for SymmetricProperty-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for Thing-005no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for TransitiveProperty-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for cardinality-006no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for complementOf-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for differentFrom-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for differentFrom-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for disjointWith-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for disjointWith-010no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for distinctMembers-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for equivalentClass-007no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for equivalentProperty-005no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for equivalentProperty-006no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-004no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-010no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-013no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for imports-014no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for intersectionOf-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for inverseOf-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for maxCardinality-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for maxCardinality-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for oneOf-002no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for oneOf-003no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for sameAs-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for someValuesFrom-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for unionOf-001no datano dataPassPassPassno datano dataPassno datano datano data
Syntactic Level Test for unionOf-002no datano dataPassPassPassno datano dataPassno datano datano data

70. Extra Credit Tests With 0 Fails (Lite)

No results on these tests for: ConsVISor FaCT Surnia

TestFOWLJena2Jena2 (Syntax)PelletOWLPHooletBossamWonderWebCerebraEuler
Percent Passing (of 9 tests) 0%33%66%100%100% 0%33%66% 0%33%
(levels:Lite, Full) I5.8-006 [EXTRACREDIT: Med L XXL] All xsd:byte are xsd:short.UndecidedPassno dataPassPassUndecidedPassno dataUndecidedPass
(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:unsignedIntUndecidedPassno dataPassPassUndecidedPassno dataUndecidedPass
(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.UndecidedPassno dataPassPassUndecidedPassno dataUndecidedPass
Syntactic Level Test for I5.8-006no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for I5.8-008no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for I5.8-009no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for I5.8-010no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for miscellaneous-203no datano dataPassPassPassno datano dataPassno datano data
Syntactic Level Test for miscellaneous-204no datano dataPassPassPassno datano dataPassno datano data

71. Extra Credit Tests With 0 Fails (DL)

No results on these tests for: FOWL Jena2 Bossam FaCT Surnia

TestJena2 (Syntax)PelletOWLPConsVISorHooletWonderWebCerebraEuler
Percent Passing (of 15 tests)60%60%60% 0% 0%60%26% 6%
(levels:DL, Full) description-logic-501 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem.no dataUndecidedno dataUndecidedUndecidedno dataPassUndecided
(levels:DL, Full) description-logic-502 [EXTRACREDIT: Med L XXL]This is the classic 3 SAT problem.no dataUndecidedno dataUndecidedUndecidedno dataUndecidedUndecided
(levels:DL, Full) description-logic-905 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 2. M is 3. N times M is 6.
no dataUndecidedno dataUndecidedUndecidedno dataPassUndecided
(levels:DL, Full) description-logic-906 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 20. M is 30. N times M is 600.
no dataUndecidedno dataUndecidedUndecidedno dataPassUndecided
(levels:DL, Full) description-logic-907 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 200. M is 300. N times M is 60000.
no datano datano dataUndecidedUndecidedno dataPassUndecided
(levels:DL, Full) description-logic-910 [EXTRACREDIT: Med L XXL] This test shows integer multiplication in OWL DL.

N is 20. M is 30. N times M is not 601.
no dataUndecidedno dataUndecidedUndecidedno datano dataPass
Syntactic Level Test for I5.8-001PassPassPassno datano dataPassno datano data
Syntactic Level Test for I5.8-003PassPassPassno datano dataPassno datano data
Syntactic Level Test for I5.8-004PassPassPassno datano dataPassno datano data
Syntactic Level Test for description-logic-501PassPassPassno datano dataPassno datano data
Syntactic Level Test for description-logic-502PassPassPassno datano dataPassno datano data
Syntactic Level Test for description-logic-905PassPassPassno datano dataPassno datano data
Syntactic Level Test for description-logic-906PassPassPassno datano dataPassno datano data
Syntactic Level Test for description-logic-907PassPassPassno datano dataPassno datano data
Syntactic Level Test for description-logic-910PassPassPassno datano dataPassno datano data

72. Extra Credit Tests With 0 Fails (Full)

No results on these tests for: Hoolet Bossam FaCT

TestFOWLJena2Jena2 (Syntax)PelletOWLPConsVISorWonderWebCerebraEulerSurnia
Percent Passing (of 63 tests)42% 0%52%88%55%36%52%15% 0% 0%
(levels:Full) AnnotationProperty-003 [EXTRACREDIT: Med L XXL] URI references used in annotations don't need to be typed.no datano datano dataPassPassPassno datano dataUndecidedno data
(levels:Full) AnnotationProperty-004 [EXTRACREDIT: Med L XXL] AnnotationProperty's in OWL Lite and OWL DL, may not have range constraints. no dataUndecidedno datano datano dataPassno datano dataUndecidedno data
(levels:Full) Class-004 [EXTRACREDIT: Med L XXL] Annotations about owl:Class are not related to those about rdfs:Class.Passno datano datano datano datano datano datano dataUndecidedno data
(levels:Full) DatatypeProperty-001 [EXTRACREDIT: Med L XXL] DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full.Undecidedno datano datano datano dataPassno dataPassUndecidedno data
(levels:Full) I4.6-004 [EXTRACREDIT: Med L XXL] owl:sameAs is stronger than owl:equivalentClass.Passno datano datano datano datano datano datano dataUndecidedno data
(levels:Full) I5.1-010 [EXTRACREDIT: Med L XXL] There are 128 different bytes that are also unsigned integers; and hence also 127.Passno datano datano datano dataUndecidedno dataUndecidedUndecidedno data
(levels:Full) I5.26-001 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and a type triple.Passno datano dataPassno dataPassno datano dataUndecidedno data
(levels:Full) I5.26-002 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple.Passno datano dataPassno dataPassno dataPassUndecidedno data
(levels:Full) I5.26-003 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between two class descriptions.Passno datano dataPassno dataPassno dataPassUndecidedno data
(levels:Full) I5.26-004 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple.Passno datano dataPassno dataPassno dataPassUndecidedno data
(levels:Full) I5.26-005 [EXTRACREDIT: Med L XXL] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple.Passno datano dataPassno dataPassno dataPassUndecidedno data
(levels:Full) I5.26-006 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle.Passno datano dataPassno dataPassno datano dataUndecidedno data
(levels:Full) I5.26-007 [EXTRACREDIT: Med L XXL] The blank nodes in a class description in OWL DL may not form a directed cycle.Passno datano dataPassno dataPassno datano dataUndecidedno data
(levels:Full) I5.3-005 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. Passno datano dataPassno dataPassno datano dataUndecidedno data
(levels:Full) I5.3-007 [EXTRACREDIT: Med L XXL] Any RDF/XML document is in OWL Full. Passno datano dataPassno dataPassno datano dataUndecidedno data
(levels:Full) I5.3-009 [EXTRACREDIT: Med L XXL] The use of blank nodes in OWL DL and OWL Lite is restricted. Passno datano dataPassno dataPassno datano dataUndecidedno data
(levels:Full) I5.3-010 [EXTRACREDIT: Med L XXL] Classes cannot be the object of regular properties in OWL DL.Passno datano datano datano dataPassno dataPassUndecidedno data
(levels:Full) I5.5-006 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists.Passno datano dataPassno datano datano datano dataUndecidedno data
(levels:Full) I5.8-014 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.Passno datano datano datano dataPassno datano dataUndecidedno data
(levels:Full) I5.8-016 [EXTRACREDIT: Med L XXL] This test illustrates the use of an undeclared user defined datatype. The document is hence in Full.Passno datano dataPassPassPassno datano dataUndecidedno data
(levels:Full) I6.1-001 [EXTRACREDIT: Med L XXL] The blank nodes in a individual description in OWL DL may not form a directed cycle.Passno datano dataPassno dataPassno datano dataUndecidedno data
(levels:Full) Restriction-003 [EXTRACREDIT: Med L XXL] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. Passno datano dataPassno dataPassno dataPassUndecidedno data
(levels:Full) backwardCompatibleWith-002 [EXTRACREDIT: Med L XXL] In OWL Lite and DL the subject and object of a triple with predicate owl:backwardCompatibleWith must both be explicitly typed as owl:Ontology.Passno datano dataPassno dataPassno datano dataUndecidedno data
(levels:Full) disjointWith-004 [EXTRACREDIT: Med L XXL] This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D.Passno datano dataPassno dataPassno dataPassUndecidedno data
(levels:Full) disjointWith-006 [EXTRACREDIT: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL.Passno datano dataPassno dataPassno dataPassUndecidedno data
(levels:Full) disjointWith-008 [EXTRACREDIT: Med L XXL] A further example that cannot be generated from the mapping rule for DisjointClasses.Passno datano dataPassno dataPassno dataPassUndecidedno data
(levels:Full) imports-002 [EXTRACREDIT: Med L XXL] If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. Passno datano dataPassno datano datano datano dataUndecidedUndecided
(levels:Full) miscellaneous-301 [EXTRACREDIT: Med L XXL] Annotations participate a little in the semantics.Passno datano dataPassno datano datano datano dataUndecidedno data
(levels:Full) oneOf-001 [EXTRACREDIT: Med L XXL] oneOf does not indicate that the named individuals are distinct. Thus a consistent interpretation of this file is when all the individual names denote the same individual.Passno datano dataPassno dataPassno dataUndecidedUndecidedno data
(levels:Full) someValuesFrom-002 [EXTRACREDIT: Med L XXL] A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom.Passno datano dataPassno datano datano datano dataUndecidedUndecided
Syntactic Level Test for AnnotationProperty-003no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for AnnotationProperty-004no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for Class-004no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for DatatypeProperty-001no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I4.6-004no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.1-010no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.26-001no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.26-002no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.26-003no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.26-004no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.26-005no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.26-006no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.26-007no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.3-005no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.3-007no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.3-009no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.3-010no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.5-006no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.5-007no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I5.8-014no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for I6.1-001no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for Restriction-003no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for backwardCompatibleWith-002no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for disjointWith-004no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for disjointWith-006no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for disjointWith-008no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for extra-credit-002no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for extra-credit-003no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for extra-credit-004no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for imports-002no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for miscellaneous-301no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for oneOf-001no datano dataPassPassPassno dataPassno datano datano data
Syntactic Level Test for someValuesFrom-002no datano dataPassPassPassno dataPassno datano datano data

73. Approved Tests With 1 Fail (Lite)

No results on these tests for: Jena2 (Syntax) WonderWeb Surnia

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCT
Percent Passing (of 7 tests)57%28%85%57%14%42% 0%28%42%14%
(levels:Lite, Full) I5.8-007 [APPROVED: Med L XXL] -1 is an xsd:short that is not an xsd:unsignedByte.Passno dataPassFailno datano datano dataUndecidedUndecidedno data
(levels:Lite, Full) I5.8-015 [APPROVED: Med L XXL] This test illustrates the use of a user defined datatype. The informal description has no formal semantics.Passno dataPassPassFailno datano dataUndecidedUndecidedno data
(levels:Lite, Full) description-logic-601 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. no dataPassPassFailUndecidedPassno dataPassPassno data
(levels:Lite, Full) description-logic-646 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno dataPassPassFailPassPassno dataPassPassPass
(levels:Lite, Full) miscellaneous-205 [APPROVED: Med L XXL] This shows that an OWL consistency checker which does not support the datatype rdf:XMLLiteral should not detect inconsistencies depending on it. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, but consistent in this test, which excludes such support.Passno dataPassPassFailPassno dataUndecidedUndecidedno data
(levels:Lite, Full) someValuesFrom-003 [APPROVED: Med L XXL] A simple infinite loop for implementors to avoid.no datano dataPassPassno datano dataFailno dataPassno data
(levels:Lite) AnnotationProperty-001 [APPROVED: Med L XXL] The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations.Passno datano dataPassno datano datano dataUndecidedFailno data

74. Approved Tests With 1 Fail (DL)

No results on these tests for: Jena2 (Syntax) WonderWeb

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEulerFaCTSurnia
Percent Passing (of 23 tests)17%17%86%26%26%69% 4%52%78%30% 0%
(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.UndecidedUndecidedPassPassno dataPassFailPassPassno datano 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.Undecidedno dataPassFailno dataUndecidedPassPassPassno datano data
(levels:DL, Full) I5.5-005 [APPROVED: Med L XXL] This test exhibits the effect of the comprehension principles in OWL Full.no datano dataPassPassno datano dataFailno dataPassno datano data
(levels:DL, Full) SymmetricProperty-002 [APPROVED: Med L XXL] Test illustrating extensional semantics of owl:SymmetricProperty.Undecidedno dataPassno datano datano dataFailUndecidedPassno datano data
(levels:DL, Full) TransitiveProperty-002 [APPROVED: Med L XXL] Test illustrating extensional semantics of owl:TransitiveProperty.Undecidedno dataPassno datano datano dataFailUndecidedPassno datano data
(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 dataPassPassPassno dataPassFailUndecidedPassno dataUndecided
(levels:DL, Full) description-logic-002 [APPROVED: Med L XXL] DL Test: fact2.1 UndecidedPassPassFailPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-019 [APPROVED: Med L XXL] DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case no datano dataPassFailUndecidedPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-022 [APPROVED: Med L XXL] DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case no dataPassPassFailUndecidedPassno dataUndecidedPassPassUndecided
(levels:DL, Full) description-logic-106 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictionsno datano dataPassFailPassPassno dataPassPassPassUndecided
(levels:DL, Full) description-logic-503 [APPROVED: Med L XXL] This is a different encoding of test 501.no datano dataPassFailUndecidedPassno dataPassUndecidedno datano 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 datano dataPassno datano dataPassFailUndecidedPassPassUndecided
(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 datano dataUndecidedno datano dataUndecidedFailUndecidedPassPassno data
(levels:DL, Full) disjointWith-003 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL.Passno dataPassFailPassPassno dataPassUndecidedno datano data
(levels:DL, Full) disjointWith-005 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL.Passno dataPassFailPassPassno dataPassUndecidedno datano data
(levels:DL, Full) disjointWith-007 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.Passno dataPassFailPassPassno dataPassUndecidedno datano data
(levels:DL, Full) disjointWith-009 [APPROVED: Med L XXL] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.Passno dataPassFailPassPassno dataPassUndecidedno datano data
(levels:DL, Full) equivalentClass-006 [APPROVED: Med L XXL] De Morgan's law.Undecidedno dataPassPassno dataPassFailPassPassPassUndecided
(levels:DL, Full) equivalentProperty-004 [APPROVED: Med L XXL] If p and q have the same property extension then p equivalentProperty q.UndecidedPassPassno datano dataPassFailno dataPassno dataUndecided
(levels:DL, Full) miscellaneous-010 [APPROVED: Med L XXL] Which wine goes well with which food.no datano dataUndecidedno datano datano dataFailno dataPassno datano data
(levels:DL, Full) miscellaneous-011 [APPROVED: Med L XXL] Which wine hasSugar OffDry.no datano dataUndecidedno datano datano dataFailno dataPassno datano data
(levels:DL, Full) unionOf-003 [APPROVED: Med L XXL] Sets with appropriate extensions are related by unionOf.Undecidedno dataPassPassno dataPassFailPassPassno datano data
(levels:DL, Full) unionOf-004 [APPROVED: Med L XXL] An inverse to test 003.Undecidedno dataPassPassno dataPassFailPassPassno datano data

75. Approved Tests With 1 Fail (Full)

No results on these tests for: Jena2 (Syntax) OWLP Hoolet WonderWeb FaCT

TestFOWLJena2PelletConsVISorBossamCerebraEulerSurnia
Percent Passing (of 15 tests)20%46%53%13% 0%13%100%13%
(levels:Full) Class-002 [APPROVED: Med L XXL] In OWL Full, the triple in the premises is synonymous with the triple in the conclusions.Passno dataPassno dataFailPassPassno 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.Undecidedno dataPassno dataFailno dataPassno data
(levels:Full) I4.6-003 [APPROVED: Med L XXL] owl:sameAs is stronger than owl:equivalentClass.UndecidedPassno datano dataFailno dataPassUndecided
(levels:Full) I5.24-002 [APPROVED: Med L XXL] OWL, unlike RDFS, uses iff semantics for range.UndecidedPassPassno dataFailno dataPassno 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.Undecidedno datano datano dataFailno dataPassno 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.UndecidedPassno datano dataFailno dataPassno data
(levels:Full) I5.5-003 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:rest property.PassPassFailUndecidedno datano dataPassPass
(levels:Full) I5.5-004 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:first property.PassPassFailPassno datano dataPassPass
(levels:Full) I5.8-017 [APPROVED: Med L XXL] This explores aliases of builtin datatypes.no datano datano datano dataFailno dataPassno data
(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.Undecidedno dataPassno dataFailno dataPassno data
(levels:Full) Thing-005 [APPROVED: Med L XXL] The extension of OWL Thing may not be a singleton in OWL Full.no datano dataFailPassno datano dataPassno data
(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 dataPassPassno dataFailno dataPassno data
(levels:Full) equivalentClass-007 [APPROVED: Med L XXL] De Morgan's law.Undecidedno dataPassno dataFailPassPassno data
(levels:Full) equivalentProperty-005 [APPROVED: Med L XXL] If p and q have the same property extension then p owl:equivalentProperty q.UndecidedPassPassno dataFailno dataPassUndecided
(levels:Full) someValuesFrom-001 [APPROVED: Med L XXL] A simple example.Undecidedno dataPassno dataFailno dataPassno data

76. Extra Credit Tests With 1 Fail (Lite)

No results on these tests for: Jena2 (Syntax) WonderWeb FaCT Surnia

TestFOWLJena2PelletOWLPConsVISorHooletBossamCerebraEuler
Percent Passing (of 3 tests) 0% 0%100% 0%66% 0%33%33%100%
(levels:Lite, Full) I5.8-010 [EXTRACREDIT: Med L XXL] 0 is the only xsd:nonNegativeInteger which is also an xsd:nonPositiveInteger.UndecidedUndecidedPassFailno dataUndecidedPassPassPass
(levels:Lite, Full) miscellaneous-203 [EXTRACREDIT: Med L XXL] This shows that initial whitespace in an rdf:XMLLiteral is significant within OWL.Undecidedno dataPassFailPassUndecidedno dataUndecidedPass
(levels:Lite, Full) miscellaneous-204 [EXTRACREDIT: Med L XXL] This shows a simple inconsistency depending on the datatype rdf:XMLLiteral. This file is inconsistent with a datatype theory which supports rdf:XMLLiteral, and consistent otherwise.Undecidedno dataPassFailPassUndecidedno dataUndecidedPass

77. Extra Credit Tests With 1 Fail (DL)

No results on these tests for: FOWL Jena2 Jena2 (Syntax) Bossam WonderWeb FaCT Surnia

TestPelletOWLPConsVISorHooletCerebraEuler
Percent Passing (of 2 tests)100% 0% 0% 0% 0%100%
(levels:DL, Full) I5.8-001 [EXTRACREDIT: Med L XXL] There are only 256 different values for xsd:byte.PassFailUndecidedUndecidedUndecidedPass
(levels:DL, Full) I5.8-003 [EXTRACREDIT: Med L XXL] There are only 128 different values of xsd:byte that are also xsd:unsignedInt.PassFailUndecidedUndecidedUndecidedPass

78. Extra Credit Tests With 1 Fail (Full)

No results on these tests for: Jena2 ConsVISor Hoolet Cerebra FaCT Surnia

TestFOWLJena2 (Syntax)PelletOWLPBossamWonderWebEuler
Percent Passing (of 5 tests)20%20%20% 0% 0%20%60%
(levels:Full) I5.5-007 [EXTRACREDIT: Med L XXL] Comprehension does not build illformed lists.Passno datano datano datano datano dataFail
(levels:Full) extra-credit-002 [EXTRACREDIT: Med L XXL] This test shows a relationship between integer multiplication and OWL Full.no datano datano datano dataFailno dataPass
(levels:Full) extra-credit-003 [EXTRACREDIT: Med L XXL] Prime factorization can be expressed in OWL Full.Undecidedno datano datano dataFailno dataPass
(levels:Full) extra-credit-004 [EXTRACREDIT: Med L XXL] A more difficult prime factorization example.Undecidedno datano datano dataFailno dataPass
Syntactic Level Test for I5.8-016no dataPassPassFailno dataPassno data

79. Approved Tests With 2 Fails (Lite)

No results on these tests for: FOWL Jena2 (Syntax) Hoolet Bossam WonderWeb Cerebra FaCT Surnia

TestJena2PelletOWLPConsVISorEuler
Percent Passing (of 1 tests)100%100% 0% 0%100%
(levels:Lite, Full) Thing-003 [APPROVED: Med L XXL] The extension of OWL Thing may not be empty.PassPassFailFailPass

80. Approved Tests With 2 Fails (DL)

No results on these tests for: Jena2 Jena2 (Syntax) WonderWeb FaCT Surnia

TestFOWLPelletOWLPConsVISorHooletBossamCerebraEuler
Percent Passing (of 2 tests) 0%100%50% 0% 0% 0% 0%50%
(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.UndecidedPassFailno dataUndecidedFailUndecidedPass
(levels:DL) Thing-004 [APPROVED: Med L XXL] The extension of OWL Thing may be a singleton in OWL DL.no dataPassPassFailno datano datano dataFail

81. Approved Tests With 2 Fails (Full)

No results on these tests for: Jena2 Jena2 (Syntax) Pellet ConsVISor Hoolet WonderWeb FaCT Surnia

TestFOWLOWLPBossamCerebraEuler
Percent Passing (of 1 tests) 0% 0% 0%100%100%
(levels:Full) AnnotationProperty-002 [APPROVED: Med L XXL] Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment.UndecidedFailFailPassPass

82. Extra Credit Tests With 2 Fails (DL)

No results on these tests for: Jena2 Jena2 (Syntax) ConsVISor WonderWeb FaCT Surnia

TestFOWLPelletOWLPHooletBossamCerebraEuler
Percent Passing (of 1 tests) 0%100% 0% 0% 0% 0%100%
(levels:DL, Full) I5.8-004 [EXTRACREDIT: Med L XXL] There are precisely 128 different values of xsd:byte that are also xsd:unsignedInt.UndecidedPassFailUndecidedFailUndecidedPass

Tested Systems

System 1: FOWL

F-OWL an open source OWL inference engine, implemented in the Flora-2/XSB system. For more information, please see http://fowl.sourceforge.net

System 2: Jena2

Jena2 includes a rule-based inference engine for RDF processing, supporting both forward and backward chaining rules. Its OWL rule set is designed to provide sound but not complete instance resasoning for that fragment of OWL/Full limited to the OWL/lite vocabulary. Inparticular it does not support unionOf/complementOf.

System 3: Jena2 (Syntax)

Jena2 includes an OWL Syntax Checker. This does not produce an abstract syntax tree, but instead merely recognises the RDF graph as OWL Lite, OWL DL or OWL Full according to the grammar. The tested version is the developers version available from sourceforge CVS.

System 4: Pellet

Pellet is an OWL DL reasoner based on the tableaux algorithms developed for expressive Description Logics. Pellet also has a complete syntax checker for species validation. Pellet is intended to provide sound and complete, decidable and generally efficient reasoning services for OWL lite, and as much of OWL DL as is currently known to be possible. It also uses some heuristics to handle untyped nodes (if something is not declared to be a class but still used as a class in the ontology) and thus process some OWL Full ontologies. More information about it can be found here http://www.mindswap.org/2003/pellet/

System 5: OWLP

OWLP Version 0.6 is a parser for the OWL DL and OWL Lite languages as written in RDF/XML. OWLP works by 1/ processing an RDF/XML document into an XQuery 1.0 path datamodel; 2/ translating this datamodel into an RDF graph, using the current editor's draft of the RDF Syntax document; 3/ processing imports triples, adding the result to the RDF graph; 4/ translating the final RDF graph into an OWL DL abstract ontology, using an inverse of the translation in the OWL Semantics and Abstract Syntax document. An RDF/XML document is an OWL DL document if and only if this process succeeds. An RDF/XML document is an OWL Lite document if the resulting abstract ontology meets the requirements for OWL Lite. This verison of OWLP is hooked up to an experimental partial reimplementation of DLP to provide reasoning support.

System 6: ConsVISor

ConsVISor is a Consistancy Checker for OWL Full, DL and Lite that emphasizes the generation of highly descriptive error and warning messages in both html and OWL formats.

System 7: Hoolet

Hoolet is an OWL DL Reasoner that uses a First Order Prover to reason about OWL ontologies. Ontologies are parsed using an OWL API and translated to TPTP format. Vampire is then used to check consistency of the resulting translation.

System 8: Bossam

Bossam is a forward-chaining rule processor implemented in Java. You can find more about Bossam at http://mknows.etri.re.kr/bossam/.

System 9: WonderWeb

The WonderWeb OWL API provides a high-level view on an OWL ontology based on the abstract syntax. Ontologies are parsed from XML-RDF, during which conditions for DL species are checked. The dats structure produced is then checked for expressivity to determine if it is DL/Lite.

System 10: Cerebra

Cerebra. The Network Inference Cerebra technology provides a commercial grade, robust, scalable implementation of the DL algorithms that use OWL documents in their native form. These algorithms are encapsulated into a run-time engine that is provided as a service to other applications or services and can respond to queries about ontologies from those applications. Furthermore, the Cerebra Server provides linkages and techniques to reason about data and information not held within a given ontology, by accessing relational data structures or meta-data.

System 11: Euler

Euler is an inference engine supporting logic based proofs. It is a backward-chaining reasoner enhanced with Euler path detection and will tell you whether a given set of facts and rules supports a given conclusion. To parse the manifests and the test documents Jena 2 is used.

System 12: FaCT

FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. As FaCT has no A-box reasoning, some of the consistency/inconsistency tests have been run not with an automated harness but through a manual translation to an equivalent problem that FaCT can solve.

System 13: Surnia

Surnia is an OWL Full reasoner using Python (including rdflib) for language translation, OTTER for inference, and custom axioms. Project homepage is http://www.w3.org/2003/08/surnia.

About This Document / Regeneration

Just starting to get some real data here. If you have some to offer, see if it works here, then send sandro@w3.org a pointer, cc public-webont-comments@w3.org.

This is generated from RDF by some python code.

Current Source URIs (one per line):

The underlying library now does caching based on HTTP 1.0 features ('Expires' and 'If-Modified-Since'). It greatly speeds regeneration, but if you can't control your own Expires value, you make find debugging difficult. If this turns out to be a problem for anyone, please let me know.

Generated Mon, 15 Dec 2003 12:34:46 +0000

$Id: pr-test-results.html,v 1.5 2003/12/15 13:07:21 sandro Exp $

sandro@w3.org