Warning:
This wiki has been archived and is now read-only.
Test Suite Status
From OWL
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.
Contents
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 |