Test Suite Status

From OWL
Revision as of 16:51, 14 December 2009 by Markus Krötzsch (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

This page gives an overview of the current status of the test suite. An overview of the approved tests that are relevant for the CR Exit Criteria is found on the page test results.

Test Case Summary

Produced: 2009-12-14T17:49+0100

By Status

Status Count
Approved 355
Extra Credit 19
Proposed 86
No Status 22
Total 482

By Type and Status

Approved Extra Credit Proposed No Status Total
Consistency 85 3 16 21 125
Inconsistency 118 4 5 1 128
Positive Entailment 143 10 53 0 206
Negative Entailment 9 2 12 0 23

By Syntax Constraint and Status

Approved Extra Credit Proposed No Status Total
None (Full) 355 19 86 22 482
DL 266 19 12 21 318
EL 65 0 14 5 84
QL 45 0 3 16 64
RL 70 0 4 16 90

Reasoning Test Results

Produced: 2009-12-14T17:50+0100

OWL 2 DL Test Cases

This section shows results for all test cases in OWL 2 DL that are applicable under the direct semantics.

OWL 2 DL Approved Test Cases

Test Type FaCT++ HermiT Pellet
Consistent Datatype restrictions with Different Types Consistency Incomplete Pass Pass
Consistent owl:real range with DataOneOf Consistency Incomplete Pass Pass
Consistent-but-all-unsat Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
Consistent-dateTime Consistency Incomplete Pass Pass
Contradicting datatype Restrictions Inconsistency Incomplete Pass Pass
Contradicting-dateTime-restrictions Inconsistency Incomplete Pass Pass
Datatype-DataComplementOf-001 Consistency Pass Pass Pass
Datatype-Float-Discrete-001 Inconsistency Fail Pass Pass
Different types in Datatype Restrictions and Complement Inconsistency Incomplete Pass Pass
DisjointClasses-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
DisjointClasses-002 Inconsistency Pass Pass Pass
DisjointClasses-003 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
FS2RDF-different-individuals-2-ar Consistency Pass Pass Pass
FS2RDF-different-individuals-3-ar Consistency Pass Pass Pass
FS2RDF-no-builtin-prefixes-ar Consistency Pass Pass Pass
FS2RDF-same-individual-2-ar Consistency Pass Pass Pass
Inconsistent Byte Filler Inconsistency Incomplete Pass Pass
Inconsistent Data Complement with the Restrictions Inconsistency Incomplete Pass Pass
Inconsistent Disjoint Dataproperties Inconsistency Incomplete Pass Pass
Minus Infinity is not in owl:real Inconsistency Incomplete Pass Pass
New-Feature-AnnotationAnnotations-001 Consistency Pass Pass Pass
New-Feature-AsymmetricProperty-001 Inconsistency Pass Pass Pass
New-Feature-AxiomAnnotations-001 Consistency Incomplete Pass Pass
New-Feature-BottomDataProperty-001 Inconsistency Fail Pass Pass
New-Feature-BottomObjectProperty-001 Inconsistency Fail Pass Pass
New-Feature-DataQCR-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Incomplete
New-Feature-DisjointDataProperties-001 Inconsistency Fail Pass Pass
New-Feature-DisjointDataProperties-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-DisjointObjectProperties-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-DisjointObjectProperties-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-DisjointUnion-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-IrreflexiveProperty-001 Inconsistency Pass Pass Pass
New-Feature-Keys-001 Consistency Pass Pass Pass
Positive Entailment Fail Pass Pass
New-Feature-Keys-002 Inconsistency Fail Pass Pass
New-Feature-Keys-003 Consistency Pass Pass Pass
Positive Entailment Fail Pass Pass
New-Feature-Keys-004 Consistency Pass Pass Pass
Negative Entailment Pass Pass Pass
New-Feature-Keys-005 Consistency Pass Pass Pass
New-Feature-Keys-006 Inconsistency Pass Pass Pass
New-Feature-Keys-007 Consistency Pass Pass Pass
Negative Entailment Pass Pass Pass
New-Feature-NegativeDataPropertyAssertion-001 Inconsistency Pass Pass Pass
New-Feature-NegativeObjectPropertyAssertion-001 Inconsistency Pass Pass Pass
New-Feature-ObjectPropertyChain-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-ObjectPropertyChain-BJP-003 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-ObjectPropertyChain-BJP-004 Consistency Pass Pass Pass
Negative Entailment Incomplete Pass Pass
New-Feature-ObjectQCR-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-ObjectQCR-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-Rational-001 Consistency Pass Pass Pass
New-Feature-Rational-002 Inconsistency Fail Pass Pass
New-Feature-Rational-003 Consistency Pass Pass Pass
New-Feature-ReflexiveProperty-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-SelfRestriction-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-SelfRestriction-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
New-Feature-TopObjectProperty-001 Inconsistency Fail Pass Pass
Plus and Minus Zero Integer Consistency Incomplete Pass Pass
Plus and Minus Zero are Distinct Inconsistency Incomplete Pass Pass
Qualified-cardinality-boolean Consistency Incomplete Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-AnnotationProperty-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-AnnotationProperty-003 Consistency Pass Pass Pass
WebOnt-AnnotationProperty-004 Consistency Pass Pass Pass
WebOnt-I4.5-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I4.5-002 Inconsistency Pass Pass Pass
WebOnt-I4.6-004 Consistency Pass Pass Pass
Negative Entailment Incomplete Pass Pass
WebOnt-I4.6-005-Direct Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.2-001 Consistency Pass Pass Pass
WebOnt-I5.2-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.2-003 Consistency Pass Pass Pass
WebOnt-I5.2-004 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.2-005 Consistency Pass Pass Pass
WebOnt-I5.2-006 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.21-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.24-003 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.24-004 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.26-001 Consistency Pass Pass Pass
WebOnt-I5.26-002 Consistency Pass Pass Pass
WebOnt-I5.26-003 Consistency Pass Pass Pass
WebOnt-I5.26-004 Consistency Pass Pass Pass
WebOnt-I5.26-005 Consistency Pass Pass Pass
WebOnt-I5.26-009 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.26-010 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.3-006 Consistency Pass Pass Pass
WebOnt-I5.3-008 Consistency Pass Pass Pass
WebOnt-I5.3-010 Consistency Pass Pass Pass
WebOnt-I5.3-011 Consistency Pass Pass Pass
WebOnt-I5.5-005 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-I5.8-006 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-I5.8-007 Consistency Pass Pass Pass
Negative Entailment Incomplete Pass Pass
WebOnt-I5.8-008 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-I5.8-009 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-I5.8-010 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-I5.8-011 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-Nothing-001 Inconsistency Pass Pass Pass
WebOnt-Ontology-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-Restriction-001 Inconsistency Pass Pass Pass
WebOnt-Restriction-002 Inconsistency Pass Pass Pass
WebOnt-Restriction-003 Consistency Pass Pass Pass
WebOnt-Restriction-004 Consistency Pass Pass Pass
WebOnt-SymmetricProperty-002 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-Thing-003 Inconsistency Pass Pass Pass
WebOnt-Thing-004 Consistency Pass Pass Pass
WebOnt-TransitiveProperty-002 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-allValuesFrom-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-allValuesFrom-002 Consistency Pass Pass Pass
Negative Entailment Incomplete Pass Pass
WebOnt-backwardCompatibleWith-002 Consistency Pass Pass Pass
WebOnt-cardinality-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-cardinality-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-cardinality-003 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-cardinality-004 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-001 Inconsistency Pass Pass Pass
WebOnt-description-logic-002 Inconsistency Pass Pass Pass
WebOnt-description-logic-003 Inconsistency Pass Pass Pass
WebOnt-description-logic-004 Inconsistency Pass Pass Pass
WebOnt-description-logic-005 Consistency Pass Pass Pass
WebOnt-description-logic-006 Consistency Pass Pass Pass
WebOnt-description-logic-007 Inconsistency Pass Pass Pass
WebOnt-description-logic-008 Inconsistency Pass Pass Pass
WebOnt-description-logic-009 Consistency Pass Pass Pass
WebOnt-description-logic-010 Inconsistency Pass Pass Pass
WebOnt-description-logic-011 Inconsistency Pass Pass Pass
WebOnt-description-logic-012 Inconsistency Pass Pass Pass
WebOnt-description-logic-013 Inconsistency Pass Pass Pass
WebOnt-description-logic-014 Inconsistency Pass Pass Pass
WebOnt-description-logic-015 Inconsistency Pass Pass Pass
WebOnt-description-logic-016 Consistency Pass Pass Pass
WebOnt-description-logic-017 Inconsistency Pass Pass Pass
WebOnt-description-logic-018 Consistency Pass Pass Pass
WebOnt-description-logic-019 Inconsistency Pass Pass Pass
WebOnt-description-logic-020 Consistency Pass Pass Pass
WebOnt-description-logic-021 Consistency Pass Pass Pass
WebOnt-description-logic-022 Inconsistency Pass Pass Pass
WebOnt-description-logic-023 Inconsistency Pass Pass Pass
WebOnt-description-logic-024 Consistency Pass Pass Pass
WebOnt-description-logic-025 Consistency Pass Pass Pass
WebOnt-description-logic-026 Inconsistency Pass Pass Pass
WebOnt-description-logic-027 Inconsistency Pass Pass Pass
WebOnt-description-logic-028 Consistency Pass Pass Pass
WebOnt-description-logic-029 Inconsistency Pass Pass Pass
WebOnt-description-logic-030 Inconsistency Pass Pass Pass
WebOnt-description-logic-031 Consistency Pass Pass Pass
WebOnt-description-logic-032 Inconsistency Pass Pass Pass
WebOnt-description-logic-033 Inconsistency Pass Pass Pass
WebOnt-description-logic-034 Consistency Pass Pass Pass
WebOnt-description-logic-035 Inconsistency Pass Pass Pass
WebOnt-description-logic-040 Inconsistency Pass Pass Pass
WebOnt-description-logic-101 Inconsistency Pass Pass Pass
WebOnt-description-logic-102 Inconsistency Pass Pass Pass
WebOnt-description-logic-103 Inconsistency Pass Pass Pass
WebOnt-description-logic-104 Inconsistency Pass Pass Pass
WebOnt-description-logic-105 Inconsistency Pass Pass Pass
WebOnt-description-logic-106 Inconsistency Pass Pass Pass
WebOnt-description-logic-107 Inconsistency Pass Pass Pass
WebOnt-description-logic-108 Inconsistency Pass Pass Pass
WebOnt-description-logic-109 Inconsistency Pass Pass Pass
WebOnt-description-logic-110 Inconsistency Pass Pass Pass
WebOnt-description-logic-111 Inconsistency Pass Pass Pass
WebOnt-description-logic-201 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-205 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-207 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-208 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-209 Consistency Pass Pass Pass
Negative Entailment Pass Pass Pass
WebOnt-description-logic-501 Consistency Pass Pass Pass
WebOnt-description-logic-502 Inconsistency Pass Pass Pass
WebOnt-description-logic-503 Consistency Pass Pass Pass
WebOnt-description-logic-504 Inconsistency Pass Pass Pass
WebOnt-description-logic-601 Inconsistency Pass Pass Pass
WebOnt-description-logic-602 Inconsistency Pass Pass Pass
WebOnt-description-logic-603 Inconsistency Pass Pass Pass
WebOnt-description-logic-604 Inconsistency Pass Pass Pass
WebOnt-description-logic-605 Consistency Pass Pass Pass
WebOnt-description-logic-606 Consistency Pass Pass Pass
WebOnt-description-logic-608 Inconsistency Pass Pass Pass
WebOnt-description-logic-609 Consistency Pass Pass Pass
WebOnt-description-logic-610 Inconsistency Pass Pass Pass
WebOnt-description-logic-611 Inconsistency Pass Pass Pass
WebOnt-description-logic-612 Inconsistency Pass Pass Pass
WebOnt-description-logic-613 Inconsistency Pass Pass Pass
WebOnt-description-logic-614 Inconsistency Pass Pass Pass
WebOnt-description-logic-615 Inconsistency Pass Pass Pass
WebOnt-description-logic-616 Consistency Pass Pass Pass
WebOnt-description-logic-617 Inconsistency Pass Pass Pass
WebOnt-description-logic-623 Inconsistency Pass Pass Pass
WebOnt-description-logic-624 Consistency Pass Pass Pass
WebOnt-description-logic-625 Consistency Pass Pass Pass
WebOnt-description-logic-626 Inconsistency Pass Pass Pass
WebOnt-description-logic-627 Inconsistency Pass Pass Pass
WebOnt-description-logic-628 Consistency Pass Pass Pass
WebOnt-description-logic-629 Inconsistency Pass Pass Pass
WebOnt-description-logic-630 Inconsistency Pass Pass Pass
WebOnt-description-logic-631 Consistency Pass Pass Pass
WebOnt-description-logic-632 Inconsistency Pass Pass Pass
WebOnt-description-logic-633 Inconsistency Pass Pass Pass
WebOnt-description-logic-634 Consistency Pass Pass Pass
WebOnt-description-logic-641 Inconsistency Pass Pass Pass
WebOnt-description-logic-642 Inconsistency Pass Pass Pass
WebOnt-description-logic-643 Inconsistency Pass Pass Pass
WebOnt-description-logic-644 Inconsistency Pass Pass Pass
WebOnt-description-logic-646 Inconsistency Pass Pass Pass
WebOnt-description-logic-650 Inconsistency Pass Pass Pass
WebOnt-description-logic-661 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-665 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-667 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-901 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-902 Consistency Pass Pass Pass
Negative Entailment Pass Pass Pass
WebOnt-description-logic-905 Consistency Pass Pass Pass
WebOnt-description-logic-908 Consistency Pass Pass Incomplete
WebOnt-differentFrom-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-disjointWith-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-disjointWith-003 Consistency Pass Pass Pass
WebOnt-disjointWith-004 Consistency Pass Pass Pass
WebOnt-disjointWith-005 Consistency Pass Pass Pass
WebOnt-disjointWith-006 Consistency Pass Pass Pass
WebOnt-disjointWith-007 Consistency Pass Pass Pass
WebOnt-disjointWith-008 Consistency Pass Pass Pass
WebOnt-disjointWith-009 Consistency Pass Pass Pass
WebOnt-equivalentClass-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-equivalentClass-002 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-equivalentClass-003 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-equivalentClass-004 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-equivalentClass-005 Consistency Pass Pass Pass
Negative Entailment Pass Pass Pass
WebOnt-equivalentClass-006 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-equivalentClass-008-Direct Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-equivalentClass-009 Consistency Pass Pass Pass
WebOnt-equivalentProperty-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-equivalentProperty-002 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-equivalentProperty-003 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-equivalentProperty-004 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-imports-011 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-maxCardinality-001 Inconsistency Pass Pass Pass
WebOnt-miscellaneous-001 Consistency Pass Pass Pass
WebOnt-miscellaneous-002 Consistency Pass Pass Pass
WebOnt-miscellaneous-102 Consistency Pass Pass Pass
WebOnt-miscellaneous-103 Consistency Pass Pass Pass
WebOnt-miscellaneous-202 Consistency Pass Pass Pass
WebOnt-miscellaneous-203 Inconsistency Fail Pass Pass
WebOnt-miscellaneous-204 Inconsistency Fail Pass Pass
WebOnt-miscellaneous-302-Direct Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-miscellaneous-303 Consistency Pass Pass Pass
WebOnt-oneOf-001 Consistency Pass Pass Pass
WebOnt-oneOf-004 Consistency Pass Pass Pass
Positive Entailment Fail Pass Pass
WebOnt-sameAs-001 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-someValuesFrom-003 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
WebOnt-unionOf-003 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
WebOnt-unionOf-004 Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
bnode2somevaluesfrom Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
chain2trans1 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
consistent-dataproperty-disjointness Consistency Incomplete Pass Pass
consistent-integer-filler Consistency Incomplete Pass Pass
datatype-restriction-min-max-inconsistency Inconsistency Incomplete Pass Pass
functionality-clash Inconsistency Incomplete Pass Pass
inconsistent-integer-filler Inconsistency Incomplete Pass Pass
inconsistent_datatypes Inconsistency Incomplete Pass Pass
one=two Inconsistency Pass Pass Pass
owl2-rl-anonymous-individual Consistency Pass Pass Pass
owl2-rl-invalid-leftside-allvaluesfrom Consistency Pass Pass Pass
owl2-rl-invalid-leftside-maxcard Consistency Pass Pass Pass
owl2-rl-invalid-oneof Consistency Pass Pass Pass
owl2-rl-invalid-owlreal Consistency Pass Pass Pass
owl2-rl-invalid-rightside-somevaluesfrom Consistency Pass Pass Pass
owl2-rl-invalid-rightside-unionof Consistency Pass Pass Pass
owl2-rl-invalid-unionof Consistency Pass Pass Pass
owl2-rl-rules-fp-differentFrom Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
owl2-rl-rules-ifp-differentFrom Consistency Pass Pass Pass
Positive Entailment Pass Pass Pass
owl2-rl-valid-mincard Consistency Pass Pass Pass
owl2-rl-valid-oneof Consistency Pass Pass Pass
owl2-rl-valid-rightside-allvaluesfrom Consistency Pass Pass Pass
somevaluesfrom2bnode Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass
string-integer-clash Inconsistency Incomplete Pass Pass

OWL 2 DL Extra Credit Test Cases

Test Type FaCT++ HermiT Pellet
WebOnt-I5.8-001 Inconsistency Fail Pass Pass
WebOnt-I5.8-002 Consistency Pass Incomplete Pass
WebOnt-I5.8-003 Inconsistency Fail Incomplete Pass
WebOnt-I5.8-004 Consistency Pass Incomplete Pass
Positive Entailment Incomplete Incomplete Pass
WebOnt-I5.8-005 Consistency Pass Incomplete Pass
Negative Entailment Incomplete Incomplete Pass
WebOnt-description-logic-202 Consistency Pass Incomplete Pass
Positive Entailment Pass Pass Pass
WebOnt-description-logic-203 Consistency Incomplete Incomplete Pass
Positive Entailment Incomplete Pass Pass
WebOnt-description-logic-204 Consistency Incomplete Incomplete Pass
Positive Entailment Incomplete Pass Pass
WebOnt-description-logic-206 Consistency Incomplete Incomplete Pass
Positive Entailment Incomplete Pass Pass
WebOnt-description-logic-662 Consistency Incomplete Incomplete Pass
Positive Entailment Incomplete Pass Incomplete
WebOnt-description-logic-663 Consistency Incomplete Incomplete Incomplete
Positive Entailment Incomplete Pass Incomplete
WebOnt-description-logic-664 Consistency Incomplete Incomplete Incomplete
Positive Entailment Incomplete Pass Incomplete
WebOnt-description-logic-903 Consistency Pass Pass Pass
Positive Entailment Incomplete Incomplete Incomplete
WebOnt-description-logic-904 Consistency Pass Pass Pass
Negative Entailment Pass Incomplete Pass
WebOnt-description-logic-906 Consistency Incomplete Incomplete Incomplete
WebOnt-description-logic-907 Consistency Incomplete Incomplete Incomplete
WebOnt-description-logic-909 Inconsistency Incomplete Incomplete Incomplete
WebOnt-description-logic-910 Inconsistency Incomplete Incomplete Incomplete
WebOnt-miscellaneous-011 Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Pass


OWL 2 DL Proposed Test Cases

Test Type FaCT++ HermiT Pellet
Inconsistent String Pattern with Disjoint Dataproperties Inconsistency Incomplete Pass Incomplete
New-Feature-ObjectPropertyChain-BJP-002 Consistency Incomplete Pass Pass
Positive Entailment Incomplete Pass Incomplete
Qualified-cardinality-restricted-int Consistency Incomplete Pass Pass
Positive Entailment Incomplete Pass Fail
WebOnt-Class-005-direct Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Fail
WebOnt-Restriction-005-direct Consistency Pass Pass Pass
Positive Entailment Incomplete Pass Fail


OWL 2 EL Test Cases

This section shows results for all test cases in OWL 2 EL that are applicable under the direct semantics.

OWL 2 EL Approved Test Cases

Test Type CEL ELLY FaCT++ HermiT Pellet REL
DisjointClasses-002 Inconsistency Pass Pass Pass Pass Pass Pass
FS2RDF-different-individuals-2-ar Consistency Pass Pass Pass Pass Pass Pass
FS2RDF-different-individuals-3-ar Consistency Pass Pass Pass Pass Pass Pass
FS2RDF-no-builtin-prefixes-ar Consistency Pass Pass Pass Pass Pass Pass
FS2RDF-same-individual-2-ar Consistency Pass Pass Pass Pass Pass Pass
New-Feature-AnnotationAnnotations-001 Consistency Incomplete Pass Pass Pass Pass None Reported
New-Feature-AxiomAnnotations-001 Consistency Incomplete Pass Incomplete Pass Pass None Reported
New-Feature-BottomDataProperty-001 Inconsistency Fail Pass Fail Pass Pass None Reported
New-Feature-BottomObjectProperty-001 Inconsistency Fail Pass Fail Pass Pass None Reported
New-Feature-Keys-001 Consistency Incomplete Pass Pass Pass Pass None Reported
Positive Entailment Incomplete Pass Fail Pass Pass None Reported
New-Feature-Keys-002 Inconsistency Incomplete Pass Fail Pass Pass None Reported
New-Feature-Keys-003 Consistency Incomplete Pass Pass Pass Pass None Reported
Positive Entailment Incomplete Pass Fail Pass Pass None Reported
New-Feature-Keys-004 Consistency Incomplete Pass Pass Pass Pass None Reported
Negative Entailment Incomplete Pass Pass Pass Pass None Reported
New-Feature-Keys-005 Consistency Incomplete Pass Pass Pass Pass None Reported
New-Feature-Keys-006 Inconsistency Incomplete Pass Pass Pass Pass None Reported
New-Feature-Keys-007 Consistency Incomplete Pass Pass Pass Pass None Reported
Negative Entailment Incomplete Pass Pass Pass Pass None Reported
New-Feature-NegativeDataPropertyAssertion-001 Inconsistency Incomplete Pass Pass Pass Pass None Reported
New-Feature-NegativeObjectPropertyAssertion-001 Inconsistency Incomplete Pass Pass Pass Pass None Reported
New-Feature-ObjectPropertyChain-001 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Pass Pass Pass Pass
New-Feature-ObjectPropertyChain-BJP-003 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Pass Pass Pass Pass
New-Feature-ObjectPropertyChain-BJP-004 Consistency Pass Pass Pass Pass Pass Pass
Negative Entailment Pass Pass Incomplete Pass Pass Pass
New-Feature-ReflexiveProperty-001 Consistency Pass Pass Pass Pass Pass None Reported
Positive Entailment Incomplete Pass Pass Pass Pass None Reported
New-Feature-SelfRestriction-001 Consistency Incomplete Pass Pass Pass Pass None Reported
Positive Entailment Incomplete Pass Pass Pass Pass None Reported
New-Feature-SelfRestriction-002 Consistency Pass Pass Pass Pass Pass None Reported
Positive Entailment Incomplete Pass Pass Pass Pass None Reported
Plus and Minus Zero are Distinct Inconsistency Incomplete Fail Incomplete Pass Pass None Reported
WebOnt-AnnotationProperty-003 Consistency Pass Pass Pass Pass Pass None Reported
WebOnt-AnnotationProperty-004 Consistency Incomplete Pass Pass Pass Pass None Reported
WebOnt-I4.6-005-Direct Consistency Pass Pass Pass Pass Pass None Reported
Positive Entailment Pass Pass Pass Pass Pass None Reported
WebOnt-I5.26-001 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-I5.26-002 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-I5.26-005 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-I5.26-010 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Incomplete
WebOnt-I5.5-005 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Pass
WebOnt-I5.8-011 Consistency Pass Pass Pass Pass Pass None Reported
Positive Entailment Pass Pass Pass Pass Pass None Reported
WebOnt-Nothing-001 Inconsistency Pass Pass Pass Pass Pass None Reported
WebOnt-Ontology-001 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Pass
WebOnt-Restriction-001 Inconsistency Pass Pass Pass Pass Pass None Reported
WebOnt-Restriction-002 Inconsistency Pass Pass Pass Pass Pass None Reported
WebOnt-Thing-003 Inconsistency Pass Pass Pass Pass Pass None Reported
WebOnt-Thing-004 Consistency Incomplete Pass Pass Pass Pass Pass
WebOnt-backwardCompatibleWith-002 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-differentFrom-001 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Pass Pass Pass Pass
WebOnt-disjointWith-001 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Pass Pass Pass Incomplete
WebOnt-disjointWith-003 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-disjointWith-004 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-disjointWith-005 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-disjointWith-006 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-disjointWith-007 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-disjointWith-008 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-disjointWith-009 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-equivalentClass-001 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Pass
WebOnt-equivalentClass-002 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Pass
WebOnt-equivalentClass-003 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Pass
WebOnt-equivalentClass-008-Direct Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Incomplete
WebOnt-equivalentProperty-001 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Pass Pass Pass Pass
WebOnt-equivalentProperty-002 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Incomplete Pass Pass Pass
WebOnt-equivalentProperty-003 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Incomplete Pass Pass Pass
WebOnt-imports-011 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Fail Pass Incomplete Pass Pass Pass
WebOnt-miscellaneous-302-Direct Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Incomplete
WebOnt-miscellaneous-303 Consistency Pass Pass Pass Pass Pass Pass
WebOnt-sameAs-001 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass Incomplete
bnode2somevaluesfrom Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Fail Pass Pass Pass Pass Pass
chain2trans1 Consistency Pass Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Incomplete Pass Pass Pass
owl2-rl-invalid-rightside-somevaluesfrom Consistency Pass Pass Pass Pass Pass Pass
string-integer-clash Inconsistency Incomplete Pass Incomplete Pass Pass Incomplete

OWL 2 EL Extra Credit Test Cases

Test Type CEL ELLY FaCT++ HermiT Pellet REL


OWL 2 EL Proposed Test Cases

Test Type CEL ELLY FaCT++ HermiT Pellet REL
New-Feature-ObjectPropertyChain-BJP-002 Consistency Incomplete Pass Incomplete Pass Pass Pass
Positive Entailment Incomplete Pass Incomplete Pass Incomplete Pass


OWL 2 QL Test Cases

This section shows results for all test cases in OWL 2 QL that are applicable under the direct semantics.

OWL 2 QL Approved Test Cases

Test Type FaCT++ HermiT Pellet Quill QuOnto
DisjointClasses-002 Inconsistency Pass Pass Pass Pass Pass
FS2RDF-different-individuals-2-ar Consistency Pass Pass Pass None Reported Pass
FS2RDF-different-individuals-3-ar Consistency Pass Pass Pass None Reported Pass
New-Feature-AnnotationAnnotations-001 Consistency Pass Pass Pass None Reported Incomplete
New-Feature-AsymmetricProperty-001 Inconsistency Pass Pass Pass None Reported Pass
New-Feature-AxiomAnnotations-001 Consistency Incomplete Pass Pass None Reported Incomplete
New-Feature-DisjointDataProperties-001 Inconsistency Fail Pass Pass None Reported Pass
New-Feature-DisjointDataProperties-002 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
New-Feature-DisjointObjectProperties-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
New-Feature-DisjointObjectProperties-002 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
New-Feature-ReflexiveProperty-001 Consistency Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass
WebOnt-AnnotationProperty-003 Consistency Pass Pass Pass Pass Pass
WebOnt-AnnotationProperty-004 Consistency Pass Pass Pass Pass Pass
WebOnt-I4.6-005-Direct Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-I5.26-001 Consistency Pass Pass Pass Pass Pass
WebOnt-I5.26-002 Consistency Pass Pass Pass Pass Pass
WebOnt-I5.26-005 Consistency Pass Pass Pass Pass Pass
WebOnt-I5.26-010 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-I5.5-005 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-I5.8-011 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-Nothing-001 Inconsistency Pass Pass Pass Pass Pass
WebOnt-Ontology-001 Consistency Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass
WebOnt-Thing-003 Inconsistency Pass Pass Pass Pass Pass
WebOnt-backwardCompatibleWith-002 Consistency Pass Pass Pass None Reported Pass
WebOnt-description-logic-104 Inconsistency Pass Pass Pass Pass Pass
WebOnt-differentFrom-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-disjointWith-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-disjointWith-003 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-004 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-005 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-006 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-007 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-008 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-009 Consistency Pass Pass Pass Pass Pass
WebOnt-equivalentClass-001 Consistency Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass
WebOnt-equivalentClass-002 Consistency Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass
WebOnt-equivalentClass-003 Consistency Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass
WebOnt-equivalentClass-008-Direct Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-equivalentProperty-001 Consistency Pass Pass Pass Pass Pass
Positive Entailment Pass Pass Pass Pass Pass
WebOnt-equivalentProperty-002 Consistency Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Pass Pass Pass
WebOnt-equivalentProperty-003 Consistency Pass Pass Pass Pass Pass
Positive Entailment Incomplete Pass Pass Pass Pass
WebOnt-imports-011 Consistency Pass Pass Pass Pass None Reported
Positive Entailment Incomplete Pass Pass Pass None Reported
WebOnt-miscellaneous-302-Direct Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-miscellaneous-303 Consistency Pass Pass Pass Pass Pass
owl2-rl-invalid-rightside-somevaluesfrom Consistency Pass Pass Pass None Reported Pass

OWL 2 QL Extra Credit Test Cases

Test Type FaCT++ HermiT Pellet Quill QuOnto


OWL 2 QL Proposed Test Cases

Test Type FaCT++ HermiT Pellet Quill QuOnto


OWL 2 RL Test Cases

This section shows results for all test cases in OWL 2 RL that are applicable under the direct semantics.

OWL 2 RL Approved Test Cases

Test Type FaCT++ HermiT Jena Oracle Database 11g OWL Reasoner Pellet
DisjointClasses-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete None Reported Pass
DisjointClasses-002 Inconsistency Pass Pass Pass Pass Pass
DisjointClasses-003 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete None Reported Pass
FS2RDF-different-individuals-2-ar Consistency Pass Pass Pass None Reported Pass
FS2RDF-different-individuals-3-ar Consistency Pass Pass Pass None Reported Pass
FS2RDF-no-builtin-prefixes-ar Consistency Pass Pass Pass None Reported Pass
FS2RDF-same-individual-2-ar Consistency Pass Pass Pass None Reported Pass
New-Feature-AnnotationAnnotations-001 Consistency Pass Pass Pass None Reported Pass
New-Feature-AsymmetricProperty-001 Inconsistency Pass Pass Pass None Reported Pass
New-Feature-AxiomAnnotations-001 Consistency Incomplete Pass Pass None Reported Pass
New-Feature-DisjointDataProperties-001 Inconsistency Fail Pass Pass Pass Pass
New-Feature-DisjointDataProperties-002 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete None Reported Pass
New-Feature-DisjointObjectProperties-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete None Reported Pass
New-Feature-DisjointObjectProperties-002 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete None Reported Pass
New-Feature-IrreflexiveProperty-001 Inconsistency Pass Pass Pass None Reported Pass
New-Feature-Keys-003 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Fail Pass Pass Pass Pass
New-Feature-Keys-004 Consistency Pass Pass Pass None Reported Pass
Negative Entailment Pass Pass Incomplete None Reported Pass
New-Feature-Keys-005 Consistency Pass Pass Pass Pass Pass
New-Feature-Keys-006 Inconsistency Pass Pass Pass None Reported Pass
New-Feature-NegativeDataPropertyAssertion-001 Inconsistency Pass Pass Pass Pass Pass
New-Feature-NegativeObjectPropertyAssertion-001 Inconsistency Pass Pass Pass Pass Pass
New-Feature-ObjectPropertyChain-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass Pass Pass
New-Feature-ObjectPropertyChain-BJP-003 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass Pass Pass
New-Feature-ObjectPropertyChain-BJP-004 Consistency Pass Pass Pass None Reported Pass
Negative Entailment Incomplete Pass Incomplete Pass Pass
New-Feature-ObjectQCR-002 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete None Reported Pass
New-Feature-ReflexiveProperty-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete Pass Pass
Plus and Minus Zero are Distinct Inconsistency Incomplete Pass None Reported None Reported Pass
WebOnt-AnnotationProperty-003 Consistency Pass Pass Pass Pass Pass
WebOnt-AnnotationProperty-004 Consistency Pass Pass Pass Pass Pass
WebOnt-I4.6-004 Consistency Pass Pass Pass None Reported Pass
Negative Entailment Incomplete Pass Incomplete Pass Pass
WebOnt-I4.6-005-Direct Consistency Pass Pass None Reported None Reported Pass
Positive Entailment Pass Pass None Reported None Reported Pass
WebOnt-I5.26-001 Consistency Pass Pass Pass Pass Pass
WebOnt-I5.26-002 Consistency Pass Pass Pass Pass Pass
WebOnt-I5.26-005 Consistency Pass Pass Pass Pass Pass
WebOnt-I5.26-010 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete None Reported Pass
WebOnt-I5.5-005 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete None Reported Pass
WebOnt-I5.8-006 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Incomplete Pass Incomplete None Reported Pass
WebOnt-I5.8-007 Consistency Pass Pass Pass None Reported Pass
Negative Entailment Incomplete Pass Incomplete None Reported Pass
WebOnt-I5.8-008 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Incomplete Pass Incomplete None Reported Pass
WebOnt-I5.8-009 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Incomplete Pass Incomplete None Reported Pass
WebOnt-I5.8-011 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass None Reported Pass
WebOnt-Nothing-001 Inconsistency Pass Pass Pass None Reported Pass
WebOnt-backwardCompatibleWith-002 Consistency Pass Pass Pass Pass Pass
WebOnt-description-logic-101 Inconsistency Pass Pass Pass Pass Pass
WebOnt-description-logic-103 Inconsistency Pass Pass Pass Pass Pass
WebOnt-description-logic-104 Inconsistency Pass Pass Pass Pass Pass
WebOnt-differentFrom-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete Pass Pass
WebOnt-disjointWith-003 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-004 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-005 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-006 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-007 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-008 Consistency Pass Pass Pass Pass Pass
WebOnt-disjointWith-009 Consistency Pass Pass Pass Pass Pass
WebOnt-equivalentClass-002 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass Pass Pass
WebOnt-equivalentClass-003 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass Pass Pass
WebOnt-equivalentClass-008-Direct Consistency Pass Pass None Reported None Reported Pass
Positive Entailment Pass Pass None Reported None Reported Pass
WebOnt-equivalentProperty-002 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Incomplete Pass Pass Pass Pass
WebOnt-equivalentProperty-003 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Incomplete Pass Pass Pass Pass
WebOnt-imports-011 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Incomplete Pass Incomplete Pass Pass
WebOnt-miscellaneous-303 Consistency Pass Pass Pass Pass Pass
WebOnt-sameAs-001 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass Pass Pass
chain2trans1 Consistency Pass Pass Pass None Reported Pass
Positive Entailment Incomplete Pass Incomplete Pass Pass
functionality-clash Inconsistency Incomplete Pass None Reported None Reported Pass
owl2-rl-anonymous-individual Consistency Pass Pass Pass Pass Pass
owl2-rl-rules-fp-differentFrom Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Incomplete Pass Pass
owl2-rl-rules-ifp-differentFrom Consistency Pass Pass Pass None Reported Pass
Positive Entailment Pass Pass Pass Pass Pass
owl2-rl-valid-oneof Consistency Pass Pass Pass Pass Pass
owl2-rl-valid-rightside-allvaluesfrom Consistency Pass Pass Pass Pass Pass
string-integer-clash Inconsistency Incomplete Pass None Reported None Reported Pass

OWL 2 RL Extra Credit Test Cases

Test Type FaCT++ HermiT Jena Oracle Database 11g OWL Reasoner Pellet


OWL 2 RL Proposed Test Cases

Test Type FaCT++ HermiT Jena Oracle Database 11g OWL Reasoner Pellet
New-Feature-ObjectPropertyChain-BJP-002 Consistency Incomplete Pass None Reported None Reported Pass
Positive Entailment Incomplete Pass None Reported None Reported Incomplete


OWL 2 Full Test Cases

This section shows results for all test cases that are not applicable under the direct semantics.

OWL 2 Full Approved Test Cases

Test Type Jena Oracle Database 11g OWL Reasoner OWLRL
WebOnt-InverseFunctionalProperty-001 Consistency Pass None Reported None Reported
Positive Entailment Pass Pass None Reported
WebOnt-SymmetricProperty-003 Consistency Pass None Reported None Reported
Positive Entailment Incomplete Pass None Reported
rdfbased-sem-bool-complement-inst Inconsistency Pass None Reported Pass
rdfbased-sem-bool-intersection-inst-comp Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-bool-intersection-inst-expr Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-bool-intersection-term Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-bool-union-inst-comp Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-bool-union-term Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-chain-def Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-char-asymmetric-inst Inconsistency Pass None Reported Pass
rdfbased-sem-char-asymmetric-term Inconsistency Pass None Reported Pass
rdfbased-sem-char-functional-inst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-char-inversefunc-data Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-char-inversefunc-inst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-char-irreflexive-inst Inconsistency Pass None Reported Pass
rdfbased-sem-char-symmetric-inst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-char-transitive-inst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-class-nothing-ext Inconsistency Pass None Reported Pass
rdfbased-sem-class-nothing-term Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-class-nothing-type Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-class-thing-term Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-class-thing-type Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-enum-inst-included Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-different-irrflxv Inconsistency Pass None Reported Pass
rdfbased-sem-eqdis-different-sameas Inconsistency Pass None Reported Pass
rdfbased-sem-eqdis-disclass-eqclass Inconsistency Pass None Reported Pass
rdfbased-sem-eqdis-disclass-inst Inconsistency Pass None Reported Pass
rdfbased-sem-eqdis-disclass-irrflxv Inconsistency Pass None Reported Pass
rdfbased-sem-eqdis-disprop-eqprop Inconsistency Pass None Reported Pass
rdfbased-sem-eqdis-disprop-inst Inconsistency Pass None Reported Pass
rdfbased-sem-eqdis-disprop-irrflxv Inconsistency Pass None Reported Pass
rdfbased-sem-eqdis-eqclass-inst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqclass-rflxv Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqclass-subclass-1 Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqclass-subclass-2 Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqclass-subst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqclass-sym Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqclass-trans Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqprop-inst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqprop-rflxv Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqprop-subprop-1 Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqprop-subprop-2 Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqprop-subst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqprop-sym Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-eqprop-trans Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-sameas-rflxv Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-sameas-subst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-sameas-sym Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-eqdis-sameas-trans Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-inv-inst Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-key-def Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-ndis-alldifferent-fw Inconsistency Pass None Reported Pass
rdfbased-sem-ndis-alldifferent-fw-distinctmembers Inconsistency Pass None Reported Pass
rdfbased-sem-ndis-alldisjointclasses-fw Inconsistency Pass None Reported Pass
rdfbased-sem-ndis-alldisjointproperties-fw Inconsistency Pass None Reported Pass
rdfbased-sem-npa-dat-fw Inconsistency Pass None Reported Pass
rdfbased-sem-npa-ind-fw Inconsistency Pass None Reported Pass
rdfbased-sem-prop-backwardcompatiblewith-type-annot Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-prop-comment-type Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-prop-deprecated-type Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-prop-incompatiblewith-type-annot Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-prop-isdefinedby-type Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-prop-label-type Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-prop-priorversion-type-annot Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-prop-seealso-type Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-prop-versioninfo-type Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfs-domain-cond Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfs-range-cond Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfs-subclass-cond Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfs-subclass-trans Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfs-subprop-cond Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfs-subprop-trans Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfsext-domain-subprop Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfsext-domain-superclass Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfsext-range-subprop Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-rdfsext-range-superclass Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-restrict-allvalues-cmp-class Consistency Pass None Reported None Reported
Positive Entailment Pass None Reported Pass
rdfbased-sem-restrict-allvalues-cmp-prop Consistency Pass None Reported None Reported
Positive Entailment Pass None Reported Pass
rdfbased-sem-restrict-allvalues-inst-obj Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-restrict-hasvalue-cmp-prop Consistency Pass None Reported None Reported
Positive Entailment Pass None Reported Pass
rdfbased-sem-restrict-hasvalue-inst-obj Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-restrict-hasvalue-inst-subj Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-restrict-maxcard-inst-obj-one Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-restrict-maxcard-inst-obj-zero Inconsistency Pass None Reported Pass
rdfbased-sem-restrict-maxqcr-inst-obj-one Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-restrict-maxqcr-inst-obj-zero Inconsistency Pass None Reported Pass
rdfbased-sem-restrict-somevalues-cmp-class Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-restrict-somevalues-cmp-prop Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass
rdfbased-sem-restrict-somevalues-inst-subj Consistency Pass None Reported None Reported
Positive Entailment Pass Pass Pass

OWL 2 Full Extra Credit Test Cases

Test Type Jena Oracle Database 11g OWL Reasoner OWLRL


OWL 2 Full Proposed Test Cases

Test Type Jena Oracle Database 11g OWL Reasoner OWLRL
WebOnt-AllDifferent-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-Class-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-Class-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-Class-003 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-Class-004 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-Class-005 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-Class-006 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-DatatypeProperty-001 Consistency None Reported None Reported None Reported
WebOnt-FunctionalProperty-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-FunctionalProperty-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-FunctionalProperty-003 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-FunctionalProperty-004 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-FunctionalProperty-005 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I4.6-003 Consistency Pass None Reported None Reported
Positive Entailment Pass None Reported None Reported
WebOnt-I4.6-005 Consistency Pass None Reported None Reported
Negative Entailment Incomplete None Reported None Reported
WebOnt-I5.1-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I5.1-010 Consistency None Reported None Reported None Reported
WebOnt-I5.2-010 Consistency None Reported None Reported None Reported
WebOnt-I5.2-011 Consistency None Reported None Reported None Reported
WebOnt-I5.24-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I5.24-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I5.26-006 Consistency None Reported None Reported None Reported
WebOnt-I5.26-007 Consistency None Reported None Reported None Reported
WebOnt-I5.3-005 Consistency None Reported None Reported None Reported
WebOnt-I5.3-007 Consistency None Reported None Reported None Reported
WebOnt-I5.3-009 Consistency None Reported None Reported None Reported
WebOnt-I5.3-014 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I5.3-015 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I5.5-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I5.5-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I5.5-003 Inconsistency None Reported None Reported None Reported
WebOnt-I5.5-004 Inconsistency None Reported None Reported None Reported
WebOnt-I5.5-006 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-I5.5-007 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-I5.8-013 Consistency None Reported None Reported None Reported
WebOnt-I5.8-014 Consistency None Reported None Reported None Reported
WebOnt-I5.8-015 Consistency None Reported None Reported None Reported
WebOnt-I5.8-016 Consistency None Reported None Reported None Reported
WebOnt-I5.8-017 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-I6.1-001 Consistency None Reported None Reported None Reported
WebOnt-InverseFunctionalProperty-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-InverseFunctionalProperty-003 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-InverseFunctionalProperty-004 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-Nothing-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-Ontology-003 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-Ontology-004 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-Restriction-005 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-Restriction-006 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-SymmetricProperty-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-Thing-005 Inconsistency None Reported None Reported None Reported
WebOnt-TransitiveProperty-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-backwardCompatibleWith-001 Consistency None Reported None Reported None Reported
WebOnt-cardinality-006 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-complementOf-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-differentFrom-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-disjointWith-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-disjointWith-010 Inconsistency None Reported None Reported None Reported
WebOnt-distinctMembers-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-equivalentClass-007 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-equivalentClass-008 Consistency Pass None Reported None Reported
Negative Entailment Incomplete None Reported None Reported
WebOnt-equivalentProperty-005 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-equivalentProperty-006 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-extra-credit-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-extra-credit-003 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-extra-credit-004 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-imports-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-imports-002 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-imports-003 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-imports-010 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-imports-012 Consistency None Reported None Reported None Reported
WebOnt-intersectionOf-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-inverseOf-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-miscellaneous-301 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-miscellaneous-302 Consistency Pass None Reported None Reported
Negative Entailment Incomplete None Reported None Reported
WebOnt-oneOf-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-oneOf-003 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-someValuesFrom-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-someValuesFrom-002 Consistency None Reported None Reported None Reported
Negative Entailment None Reported None Reported None Reported
WebOnt-unionOf-001 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
WebOnt-unionOf-002 Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported
owl2-rl-rules-ifp-askey Consistency None Reported None Reported None Reported
Positive Entailment None Reported None Reported None Reported


Proposed tests

This section collects all proposed tests to give an overview of the implementation support that these tests currently have in general. Note that the table mixes reports for tools that assume direct and RDF-based semantics.

Test Type CEL ELLY FaCT++ HermiT Jena Oracle Database 11g OWL Reasoner OWLRL Pellet Quill QuOnto REL
Inconsistent String Pattern with Disjoint Dataproperties Inconsistency Incomplete None Reported Incomplete Pass None Reported None Reported None Reported Incomplete None Reported None Reported None Reported
New-Feature-ObjectPropertyChain-BJP-002 Consistency Incomplete Pass Incomplete Pass None Reported None Reported None Reported Pass None Reported None Reported Pass
Positive Entailment Incomplete Pass Incomplete Pass None Reported None Reported None Reported Incomplete None Reported None Reported Pass
Qualified-cardinality-restricted-int Consistency Incomplete None Reported Incomplete Pass None Reported None Reported None Reported Pass None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete Pass None Reported None Reported None Reported Fail None Reported None Reported None Reported
WebOnt-AllDifferent-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Class-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Fail None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Class-002 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Class-003 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Class-004 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Class-005 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Class-005-direct Consistency Pass None Reported Pass Pass None Reported None Reported None Reported Pass None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete Pass None Reported None Reported None Reported Fail None Reported None Reported None Reported
WebOnt-Class-006 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-DatatypeProperty-001 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-FunctionalProperty-001 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-FunctionalProperty-002 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-FunctionalProperty-003 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-FunctionalProperty-004 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-FunctionalProperty-005 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I4.6-003 Consistency Pass None Reported Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Fail None Reported Fail None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I4.6-005 Consistency Pass None Reported Pass None Reported Pass None Reported None Reported None Reported None Reported Pass None Reported
Negative Entailment Fail None Reported Fail None Reported Incomplete None Reported None Reported None Reported None Reported Fail None Reported
WebOnt-I5.1-001 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.1-010 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.2-010 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.2-011 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.24-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.24-002 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.26-006 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.26-007 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.3-005 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.3-007 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.3-009 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.3-014 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Fail None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.3-015 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.5-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.5-002 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.5-003 Inconsistency Fail None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.5-004 Inconsistency Fail None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.5-006 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Fail None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.5-007 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Fail None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.8-013 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.8-014 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.8-015 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.8-016 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I5.8-017 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-I6.1-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-InverseFunctionalProperty-002 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-InverseFunctionalProperty-003 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-InverseFunctionalProperty-004 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Nothing-002 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Ontology-003 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Fail None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Ontology-004 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Restriction-005 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Restriction-005-direct Consistency Incomplete None Reported Pass Pass None Reported None Reported None Reported Pass None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete Pass None Reported None Reported None Reported Fail None Reported None Reported None Reported
WebOnt-Restriction-006 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-SymmetricProperty-001 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-Thing-005 Inconsistency Incomplete None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-TransitiveProperty-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-backwardCompatibleWith-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-cardinality-006 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-complementOf-001 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-differentFrom-002 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-disjointWith-002 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-disjointWith-010 Inconsistency Incomplete None Reported Fail None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-distinctMembers-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-equivalentClass-007 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-equivalentClass-008 Consistency Pass None Reported Pass None Reported Pass None Reported None Reported None Reported Pass Pass None Reported
Negative Entailment Fail None Reported Fail None Reported Incomplete None Reported None Reported None Reported Pass Fail None Reported
WebOnt-equivalentProperty-005 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-equivalentProperty-006 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-extra-credit-002 Consistency Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-extra-credit-003 Consistency Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-extra-credit-004 Consistency Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-imports-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Fail None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-imports-002 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Pass None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-imports-003 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Fail None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-imports-010 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-imports-012 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-intersectionOf-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-inverseOf-001 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-miscellaneous-301 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-miscellaneous-302 Consistency Pass None Reported Pass None Reported Pass None Reported None Reported None Reported Pass Pass None Reported
Negative Entailment Fail None Reported Fail None Reported Incomplete None Reported None Reported None Reported Pass Fail None Reported
WebOnt-oneOf-002 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-oneOf-003 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-someValuesFrom-001 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-someValuesFrom-002 Consistency Pass None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Negative Entailment Pass None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-unionOf-001 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
WebOnt-unionOf-002 Consistency Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Pass None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
owl2-rl-rules-ifp-askey Consistency Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported
Positive Entailment Incomplete None Reported Incomplete None Reported None Reported None Reported None Reported None Reported None Reported None Reported None Reported

Syntax Test Results

OWL 2 Syntax Constraint Test Cases

OWL 2 Approved Syntax Constraint Test Cases

Test Type Aberdeen Profile Checker OWLAPIv2
Consistent Datatype restrictions with Different Types DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Consistent owl:real range with DataOneOf DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Consistent-but-all-unsat DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Consistent-dateTime DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Contradicting datatype Restrictions DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Contradicting-dateTime-restrictions DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Fail Incomplete
Datatype-DataComplementOf-001 DL
!EL Fail Pass
!QL Pass Pass
!RL Fail Pass
Datatype-Float-Discrete-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
Different types in Datatype Restrictions and Complement DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
DisjointClasses-001 DL
!EL Fail Pass
!QL Fail Pass
RL Pass Pass
DisjointClasses-002 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
DisjointClasses-003 DL
!EL Pass Pass
!QL Pass Pass
RL Fail Pass
FS2RDF-different-individuals-2-ar DL
EL Pass Fail
QL Pass Pass
RL Pass Pass
FS2RDF-different-individuals-3-ar DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
FS2RDF-no-builtin-prefixes-ar DL
EL Pass Fail
!QL Pass Pass
RL Pass Pass
FS2RDF-same-individual-2-ar DL
EL Pass Fail
!QL Pass Pass
RL Pass Pass
Inconsistent Byte Filler DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Inconsistent Data Complement with the Restrictions DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Inconsistent Disjoint Dataproperties DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Minus Infinity is not in owl:real DL
!EL Incomplete Incomplete
!QL Incomplete Incomplete
!RL Incomplete Incomplete
New-Feature-AnnotationAnnotations-001 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
New-Feature-AsymmetricProperty-001 DL
!EL Fail Pass
QL Pass Pass
RL Pass Pass
New-Feature-AxiomAnnotations-001 DL
EL Incomplete Incomplete
QL Incomplete Incomplete
RL Incomplete Incomplete
New-Feature-BottomDataProperty-001 DL
EL Pass Pass
!QL Pass Pass
!RL Pass Pass
New-Feature-BottomObjectProperty-001 DL
EL Pass Pass
!QL Pass Pass
!RL Pass Pass
New-Feature-DataQCR-001 DL
!EL Fail Pass
!QL Fail Pass
!RL Fail Pass
New-Feature-DisjointDataProperties-001 DL
!EL Fail Pass
QL Pass Pass
RL Pass Pass
New-Feature-DisjointDataProperties-002 DL
!EL Pass Pass
QL Pass Pass
RL Pass Pass
New-Feature-DisjointObjectProperties-001 DL
!EL Fail Pass
QL Pass Pass
RL Pass Pass
New-Feature-DisjointObjectProperties-002 DL
!EL Pass Pass
QL Pass Pass
RL Pass Pass
New-Feature-DisjointUnion-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
New-Feature-IrreflexiveProperty-001 DL
!EL Pass Pass
!QL Pass Pass
RL Pass Pass
New-Feature-Keys-001 DL
EL Fail Fail
!QL Pass Pass
!RL Fail Fail
New-Feature-Keys-002 DL
EL Fail Fail
!QL Pass Fail
!RL Fail Fail
New-Feature-Keys-003 DL
EL Fail Fail
!QL Pass Pass
RL Pass Pass
New-Feature-Keys-004 DL
EL Fail Fail
!QL Pass Pass
RL Pass Pass
New-Feature-Keys-005 DL
EL Fail Pass
!QL Pass Fail
RL Pass Pass
New-Feature-Keys-006 DL
EL Fail Fail
!QL Pass Pass
RL Pass Pass
New-Feature-Keys-007 DL
EL Incomplete Pass
!QL Incomplete Pass
!RL Incomplete Pass
New-Feature-NegativeDataPropertyAssertion-001 DL
EL Incomplete Pass
!QL Incomplete Pass
RL Incomplete Pass
New-Feature-NegativeObjectPropertyAssertion-001 DL
EL Incomplete Pass
!QL Incomplete Pass
RL Incomplete Pass
New-Feature-ObjectPropertyChain-001 DL
EL Fail Pass
!QL Pass Pass
RL Pass Pass
New-Feature-ObjectPropertyChain-BJP-003 DL
EL Fail Pass
!QL Pass Pass
RL Pass Pass
New-Feature-ObjectPropertyChain-BJP-004 DL
EL Fail Pass
!QL Pass Pass
RL Pass Pass
New-Feature-ObjectQCR-001 DL
!EL Incomplete Pass
!QL Incomplete Pass
!RL Incomplete Pass
New-Feature-ObjectQCR-002 DL
!EL Pass Pass
!QL Pass Pass
RL Fail Pass
New-Feature-Rational-001 DL
!EL
!QL
!RL
New-Feature-Rational-002 DL
!EL
!QL
!RL
New-Feature-Rational-003 DL
!EL
!QL
!RL
New-Feature-ReflexiveProperty-001 DL
EL Pass Pass
QL Fail Pass
RL Fail Pass
New-Feature-SelfRestriction-001 DL
EL Pass Pass
!QL Pass Pass
!RL Pass Pass
New-Feature-SelfRestriction-002 DL
EL Pass Pass
!QL Pass Pass
!RL Pass Pass
New-Feature-TopObjectProperty-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
Plus and Minus Zero Integer DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
Plus and Minus Zero are Distinct DL
EL Pass Incomplete
!QL Pass Incomplete
RL Pass Incomplete
Qualified-cardinality-boolean DL
!EL Incomplete Incomplete
!QL Incomplete Incomplete
!RL Incomplete Incomplete
WebOnt-AnnotationProperty-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-AnnotationProperty-003 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-AnnotationProperty-004 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-I4.5-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I4.5-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I4.6-004 DL
!EL Fail Pass
!QL Fail Pass
RL Pass Pass
WebOnt-I4.6-005-Direct DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-I5.2-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.2-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.2-003 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.2-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.2-005 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.2-006 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.21-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.24-003 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.24-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.26-001 DL
EL Fail Pass
QL Fail Pass
RL Pass Pass
WebOnt-I5.26-002 DL
EL Fail Pass
QL Fail Pass
RL Pass Pass
WebOnt-I5.26-003 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.26-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.26-005 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-I5.26-009 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.26-010 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-I5.3-006 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.3-008 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.3-010 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.3-011 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.5-005 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-I5.8-006 DL
!EL Fail Pass
!QL Fail Pass
RL Pass Pass
WebOnt-I5.8-007 DL
!EL Fail Pass
!QL Fail Pass
RL Pass Pass
WebOnt-I5.8-008 DL
!EL Fail Pass
!QL Fail Pass
RL Pass Pass
WebOnt-I5.8-009 DL
!EL Fail Pass
!QL Fail Pass
RL Pass Pass
WebOnt-I5.8-010 DL
!EL Fail Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.8-011 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-InverseFunctionalProperty-001 !DL
WebOnt-Nothing-001 DL
EL Fail Pass
QL Fail Pass
RL Pass Pass
WebOnt-Ontology-001 DL
EL Pass Pass
QL Pass Pass
!RL Fail Pass
WebOnt-Restriction-001 DL
EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-Restriction-002 DL
EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-Restriction-003 DL
!EL Fail Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-Restriction-004 DL
!EL Fail Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-SymmetricProperty-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-SymmetricProperty-003 !DL
WebOnt-Thing-003 DL
EL Pass Pass
QL Pass Pass
!RL Pass Pass
WebOnt-Thing-004 DL
EL Fail Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-TransitiveProperty-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-allValuesFrom-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Fail Pass
WebOnt-allValuesFrom-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Fail Pass
WebOnt-backwardCompatibleWith-002 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-cardinality-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-cardinality-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-cardinality-003 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-cardinality-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-003 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-005 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-006 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-007 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-008 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-009 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-010 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-011 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-012 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-013 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-014 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-015 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-016 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-017 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-018 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-019 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-020 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-021 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-022 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-023 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-024 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-025 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-026 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-027 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-028 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-029 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-030 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-031 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-032 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-033 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-034 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-035 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-040 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-101 DL
!EL Pass Pass
!QL Pass Pass
RL Fail Pass
WebOnt-description-logic-102 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-103 DL
!EL Pass Pass
!QL Pass Pass
RL Fail Pass
WebOnt-description-logic-104 DL
!EL Pass Pass
QL Fail Pass
RL Fail Pass
WebOnt-description-logic-105 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-106 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-107 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-108 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-109 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-110 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-111 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-201 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-205 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-207 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-208 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-209 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-501 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-502 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-503 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-504 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-601 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-602 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-603 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-604 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-605 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-606 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-608 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-609 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-610 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-611 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-612 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-613 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-614 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-615 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-616 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-617 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-623 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-624 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-625 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-626 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-627 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-628 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-629 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-630 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-631 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-632 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-633 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-634 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-641 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-642 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-643 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-644 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-646 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-650 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-661 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-665 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-667 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-901 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-902 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-905 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-908 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-differentFrom-001 DL
EL Pass Fail
QL Pass Pass
RL Pass Pass
WebOnt-disjointWith-001 DL
EL Pass Fail
QL Pass Pass
!RL Fail Pass
WebOnt-disjointWith-003 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-disjointWith-004 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-disjointWith-005 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-disjointWith-006 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-disjointWith-007 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-disjointWith-008 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-disjointWith-009 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-equivalentClass-001 DL
EL Pass Pass
QL Pass Pass
!RL Fail Pass
WebOnt-equivalentClass-002 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-equivalentClass-003 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-equivalentClass-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-equivalentClass-005 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-equivalentClass-006 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-equivalentClass-008-Direct DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-equivalentClass-009 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-equivalentProperty-001 DL
EL Pass Pass
QL Pass Pass
!RL Fail Pass
WebOnt-equivalentProperty-002 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-equivalentProperty-003 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-equivalentProperty-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Fail Pass
WebOnt-imports-011 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-maxCardinality-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-miscellaneous-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-miscellaneous-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-miscellaneous-102 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-miscellaneous-103 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-miscellaneous-202 DL
!EL Pass Pass
!QL Pass Pass
!RL Fail Pass
WebOnt-miscellaneous-203 DL
!EL Pass Pass
!QL Pass Pass
!RL Fail Pass
WebOnt-miscellaneous-204 DL
!EL Pass Pass
!QL Pass Pass
!RL Fail Pass
WebOnt-miscellaneous-302-Direct DL
EL Pass Pass
QL Pass Pass
!RL Fail Pass
WebOnt-miscellaneous-303 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-oneOf-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-oneOf-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-sameAs-001 DL
EL Pass Fail
!QL Pass Pass
RL Pass Pass
WebOnt-someValuesFrom-003 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-unionOf-003 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-unionOf-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
bnode2somevaluesfrom DL
EL Fail Pass
!QL Pass Pass
!RL Pass Pass
chain2trans1 DL
EL Fail Pass
!QL Pass Pass
RL Pass Pass
consistent-dataproperty-disjointness DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
consistent-integer-filler DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Fail Incomplete
datatype-restriction-min-max-inconsistency DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
functionality-clash DL
!EL Fail Incomplete
!QL Pass Incomplete
RL Pass Incomplete
inconsistent-integer-filler DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
inconsistent_datatypes DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
one=two DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
owl2-rl-anonymous-individual DL
!EL Pass Fail
!QL Pass Fail
RL Fail Pass
owl2-rl-invalid-leftside-allvaluesfrom DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
owl2-rl-invalid-leftside-maxcard DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
owl2-rl-invalid-oneof DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
owl2-rl-invalid-owlreal DL
!EL Pass Pass
!QL Pass Pass
!RL Fail Pass
owl2-rl-invalid-rightside-somevaluesfrom DL
EL Pass Pass
QL Pass Pass
!RL Pass Pass
owl2-rl-invalid-rightside-unionof DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
owl2-rl-invalid-unionof DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
owl2-rl-rules-fp-differentFrom DL
!EL Pass Pass
!QL Pass Pass
RL Fail Pass
owl2-rl-rules-ifp-differentFrom DL
!EL Pass Pass
!QL Pass Pass
RL Fail Pass
owl2-rl-valid-mincard DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
owl2-rl-valid-oneof DL
!EL Pass Pass
!QL Pass Pass
RL Fail Pass
owl2-rl-valid-rightside-allvaluesfrom DL
!EL Pass Pass
!QL Pass Pass
RL Pass Pass
rdfbased-sem-bool-complement-inst !DL
rdfbased-sem-bool-intersection-inst-comp !DL
rdfbased-sem-bool-intersection-inst-expr !DL
rdfbased-sem-bool-intersection-term !DL
rdfbased-sem-bool-union-inst-comp !DL
rdfbased-sem-bool-union-term !DL
rdfbased-sem-chain-def !DL
rdfbased-sem-char-asymmetric-inst !DL
rdfbased-sem-char-asymmetric-term !DL
rdfbased-sem-char-functional-inst !DL
rdfbased-sem-char-inversefunc-data !DL
rdfbased-sem-char-inversefunc-inst !DL
rdfbased-sem-char-irreflexive-inst !DL
rdfbased-sem-char-symmetric-inst !DL
rdfbased-sem-char-transitive-inst !DL
rdfbased-sem-class-nothing-ext !DL
rdfbased-sem-class-nothing-term !DL
rdfbased-sem-class-nothing-type !DL
rdfbased-sem-class-thing-term !DL
rdfbased-sem-class-thing-type !DL
rdfbased-sem-enum-inst-included !DL
rdfbased-sem-eqdis-different-irrflxv !DL
rdfbased-sem-eqdis-different-sameas !DL
rdfbased-sem-eqdis-disclass-eqclass !DL
rdfbased-sem-eqdis-disclass-inst !DL
rdfbased-sem-eqdis-disclass-irrflxv !DL
rdfbased-sem-eqdis-disprop-eqprop !DL
rdfbased-sem-eqdis-disprop-inst !DL
rdfbased-sem-eqdis-disprop-irrflxv !DL
rdfbased-sem-eqdis-eqclass-inst !DL
rdfbased-sem-eqdis-eqclass-rflxv !DL
rdfbased-sem-eqdis-eqclass-subclass-1 !DL
rdfbased-sem-eqdis-eqclass-subclass-2 !DL
rdfbased-sem-eqdis-eqclass-subst !DL
rdfbased-sem-eqdis-eqclass-sym !DL
rdfbased-sem-eqdis-eqclass-trans !DL
rdfbased-sem-eqdis-eqprop-inst !DL
rdfbased-sem-eqdis-eqprop-rflxv !DL
rdfbased-sem-eqdis-eqprop-subprop-1 !DL
rdfbased-sem-eqdis-eqprop-subprop-2 !DL
rdfbased-sem-eqdis-eqprop-subst !DL
rdfbased-sem-eqdis-eqprop-sym !DL
rdfbased-sem-eqdis-eqprop-trans !DL
rdfbased-sem-eqdis-sameas-rflxv !DL
rdfbased-sem-eqdis-sameas-subst !DL
rdfbased-sem-eqdis-sameas-sym !DL
rdfbased-sem-eqdis-sameas-trans !DL
rdfbased-sem-inv-inst !DL
rdfbased-sem-key-def !DL
rdfbased-sem-ndis-alldifferent-fw !DL
rdfbased-sem-ndis-alldifferent-fw-distinctmembers !DL
rdfbased-sem-ndis-alldisjointclasses-fw !DL
rdfbased-sem-ndis-alldisjointproperties-fw !DL
rdfbased-sem-npa-dat-fw !DL
rdfbased-sem-npa-ind-fw !DL
rdfbased-sem-prop-backwardcompatiblewith-type-annot !DL
rdfbased-sem-prop-comment-type !DL
rdfbased-sem-prop-deprecated-type !DL
rdfbased-sem-prop-incompatiblewith-type-annot !DL
rdfbased-sem-prop-isdefinedby-type !DL
rdfbased-sem-prop-label-type !DL
rdfbased-sem-prop-priorversion-type-annot !DL
rdfbased-sem-prop-seealso-type !DL
rdfbased-sem-prop-versioninfo-type !DL
rdfbased-sem-rdfs-domain-cond !DL
rdfbased-sem-rdfs-range-cond !DL
rdfbased-sem-rdfs-subclass-cond !DL
rdfbased-sem-rdfs-subclass-trans !DL
rdfbased-sem-rdfs-subprop-cond !DL
rdfbased-sem-rdfs-subprop-trans !DL
rdfbased-sem-rdfsext-domain-subprop !DL
rdfbased-sem-rdfsext-domain-superclass !DL
rdfbased-sem-rdfsext-range-subprop !DL
rdfbased-sem-rdfsext-range-superclass !DL
rdfbased-sem-restrict-allvalues-cmp-class !DL
rdfbased-sem-restrict-allvalues-cmp-prop !DL
rdfbased-sem-restrict-allvalues-inst-obj !DL
rdfbased-sem-restrict-hasvalue-cmp-prop !DL
rdfbased-sem-restrict-hasvalue-inst-obj !DL
rdfbased-sem-restrict-hasvalue-inst-subj !DL
rdfbased-sem-restrict-maxcard-inst-obj-one !DL
rdfbased-sem-restrict-maxcard-inst-obj-zero !DL
rdfbased-sem-restrict-maxqcr-inst-obj-one !DL
rdfbased-sem-restrict-maxqcr-inst-obj-zero !DL
rdfbased-sem-restrict-somevalues-cmp-class !DL
rdfbased-sem-restrict-somevalues-cmp-prop !DL
rdfbased-sem-restrict-somevalues-inst-subj !DL
somevaluesfrom2bnode DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
string-integer-clash DL
EL Pass Incomplete
!QL Pass Incomplete
RL Pass Incomplete

OWL 2 Extra Credit Syntax Constraint Test Cases

Test Type Aberdeen Profile Checker OWLAPIv2
WebOnt-I5.8-001 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.8-002 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.8-003 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.8-004 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-I5.8-005 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-202 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-203 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-204 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-206 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-662 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-663 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-664 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-903 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-904 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-906 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-907 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-909 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-description-logic-910 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-miscellaneous-011 DL
!EL Fail Pass
!QL Fail Pass
!RL Pass Pass

OWL 2 Proposed Syntax Constraint Test Cases

Test Type Aberdeen Profile Checker OWLAPIv2
Inconsistent String Pattern with Disjoint Dataproperties DL
!EL Pass Incomplete
!QL Pass Incomplete
!RL Pass Incomplete
New-Feature-ObjectPropertyChain-BJP-002 DL
EL Pass Incomplete
!QL Pass Incomplete
RL Pass Incomplete
Qualified-cardinality-restricted-int DL
!EL Incomplete Incomplete
!QL Incomplete Incomplete
!RL Incomplete Incomplete
WebOnt-AllDifferent-001 !DL
WebOnt-Class-001 !DL
WebOnt-Class-002 !DL
WebOnt-Class-003 !DL
WebOnt-Class-004 !DL
WebOnt-Class-005 DL
!EL Fail Pass
!QL Fail Pass
!RL Pass Pass
WebOnt-Class-005-direct DL
!EL Fail Pass
!QL Fail Pass
!RL Pass Pass
WebOnt-Class-006 !DL
WebOnt-DatatypeProperty-001 !DL
WebOnt-FunctionalProperty-001 !DL
WebOnt-FunctionalProperty-002 !DL
WebOnt-FunctionalProperty-003 !DL
WebOnt-FunctionalProperty-004 !DL
WebOnt-FunctionalProperty-005 !DL
WebOnt-I4.6-003 DL
!EL Fail Pass
!QL Pass Pass
RL Pass Pass
WebOnt-I4.6-005 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-I5.1-001 !DL
WebOnt-I5.1-010 !DL
WebOnt-I5.2-010 !DL
WebOnt-I5.2-011 !DL
WebOnt-I5.24-001 !DL
WebOnt-I5.24-002 !DL
WebOnt-I5.26-006 !DL
WebOnt-I5.26-007 !DL
WebOnt-I5.3-005 !DL
WebOnt-I5.3-007 !DL
WebOnt-I5.3-009 !DL
WebOnt-I5.3-014 !DL
WebOnt-I5.3-015 !DL
WebOnt-I5.5-001 !DL
WebOnt-I5.5-002 !DL
WebOnt-I5.5-003 !DL
WebOnt-I5.5-004 !DL
WebOnt-I5.5-006 !DL
WebOnt-I5.5-007 !DL
WebOnt-I5.8-013 !DL
WebOnt-I5.8-014 !DL
WebOnt-I5.8-015 !DL
WebOnt-I5.8-016 !DL
WebOnt-I5.8-017 !DL
WebOnt-I6.1-001 !DL
WebOnt-InverseFunctionalProperty-002 !DL
WebOnt-InverseFunctionalProperty-003 !DL
WebOnt-InverseFunctionalProperty-004 !DL
WebOnt-Nothing-002 !DL
WebOnt-Ontology-003 !DL
WebOnt-Ontology-004 !DL
WebOnt-Restriction-005 DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-Restriction-005-direct DL
!EL Pass Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-Restriction-006 !DL
WebOnt-SymmetricProperty-001 !DL
WebOnt-Thing-005 DL
EL Fail Pass
!QL Pass Pass
!RL Pass Pass
WebOnt-TransitiveProperty-001 !DL
WebOnt-backwardCompatibleWith-001 !DL
WebOnt-cardinality-006 !DL
WebOnt-complementOf-001 !DL
WebOnt-differentFrom-002 !DL
WebOnt-disjointWith-002 !DL
WebOnt-disjointWith-010 !DL
WebOnt-distinctMembers-001 !DL
WebOnt-equivalentClass-007 !DL
WebOnt-equivalentClass-008 DL
EL Pass Pass
QL Pass Pass
RL Pass Pass
WebOnt-equivalentProperty-005 !DL
WebOnt-equivalentProperty-006 !DL
WebOnt-extra-credit-002 !DL
WebOnt-extra-credit-003 !DL
WebOnt-extra-credit-004 !DL
WebOnt-imports-001 !DL
WebOnt-imports-002 !DL
WebOnt-imports-003 !DL
WebOnt-imports-010 !DL
WebOnt-imports-012 !DL
WebOnt-intersectionOf-001 !DL
WebOnt-inverseOf-001 !DL
WebOnt-miscellaneous-301 !DL
WebOnt-miscellaneous-302 DL
EL Pass Pass
QL Pass Pass
!RL Fail Pass
WebOnt-oneOf-002 !DL
WebOnt-oneOf-003 !DL
WebOnt-someValuesFrom-001 !DL
WebOnt-someValuesFrom-002 !DL
WebOnt-unionOf-001 !DL
WebOnt-unionOf-002 !DL
owl2-rl-rules-ifp-askey !DL