The information on this page is kept for historical/archival reasons. These pages are not updated any more. Please update your link.
We are using Pellet to process OWL Test cases. Current implementation is not complete right now so test results show that Pellet is not sucessful at all the test cases. Also Pellet is an OWL DL reasoner so the test cases that are written in OWL Full are outside the scope of the reasoner. However, we employ a strategy to overcome some of the OWL DL requirements that all classes and properties should be declared explicitly. So for example if there is no type definition for a resource that is used in the subject position of an owl:subClassOf predicate we can assume it is a class unless there is another statement contradicting with this assumption. With this strategy pellet was able to pass quite a number of the OWL Full test cases.
The following table shows the number of test cases Pellet passes right now. We are using the latest test Manifest from the editor's draft which has 268 test cases. A test case is skipped if it explicitly violates the OWL DL rules, such as defining a resource both as a class and as an individual. A test case is failed if the answer is not found in a certain amount of time or a conflicting result is found.
| APPROVED | PROPOSED | |||||
| TYPE | PASS | FAIL | SKIP | PASS | FAIL | SKIP |
| Lite | 52 | 3 | 0 | 18 | 18 | 1 |
| DL | 50 | 5 | 1 | 17 | 16 | 1 |
| Full | 35 | 5 | 4 | 29 | 8 | 5 |
| TOTAL | 137 | 13 | 5 | 64 | 42 | 7 |
| Test Case | Type | Level | Status | Result |
| /I5.26/Manifest003#test | ConsistencyTest | Full | PROPOSED | PASS |
| /disjointWith/Manifest006#test | ConsistencyTest | Full | PROPOSED | PASS |
| /imports/Manifest005#test | ImportLevelTest | DL | APPROVED | PASS |
| /description-logic/Manifest609#test | ConsistencyTest | Lite | APPROVED | PASS |
| /FunctionalProperty/Manifest005#test | PositiveEntailmentTest | Full | PROPOSED | PASS |
| /oneOf/Manifest003#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest002#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest624#test | ConsistencyTest | Lite | APPROVED | PASS |
| /I4.6/Manifest003#test | PositiveEntailmentTest | Full | APPROVED | SKIP |
| /differentFrom/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest009#test | ConsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest024#test | ConsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest646#test | InconsistencyTest | Lite | PROPOSED | PASS |
| /I5.2/Manifest006#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /description-logic/Manifest661#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest104#test | InconsistencyTest | DL | APPROVED | PASS |
| /I5.1/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | SKIP |
| /I5.3/Manifest011#test | ConsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest668#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest616#test | ConsistencyTest | Lite | APPROVED | PASS |
| /I5.8/Manifest006#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest631#test | ConsistencyTest | Lite | APPROVED | PASS |
| /equivalentClass/Manifest005#test | NegativeEntailmentTest | Lite | APPROVED | PASS |
| /description-logic/Manifest016#test | ConsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest206#test | PositiveEntailmentTest | DL | PROPOSED | FAIL |
| /description-logic/Manifest901#test | PositiveEntailmentTest | DL | APPROVED | PASS |
| /description-logic/Manifest031#test | ConsistencyTest | DL | APPROVED | PASS |
| /miscellaneous/Manifest201#test | ConsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest601#test | InconsistencyTest | Lite | PROPOSED | FAIL |
| /DatatypeProperty/Manifest001#test | ConsistencyTest | Full | PROPOSED | SKIP |
| /description-logic/Manifest908#test | ConsistencyTest | DL | PROPOSED | PASS |
| /I5.26/Manifest002#test | ConsistencyTest | Full | PROPOSED | PASS |
| /disjointWith/Manifest005#test | ConsistencyTest | Full | PROPOSED | PASS |
| /description-logic/Manifest111#test | InconsistencyTest | DL | APPROVED | PASS |
| /Restriction/Manifest004#test | ConsistencyTest | Full | PROPOSED | PASS |
| /imports/Manifest004#test | ImportLevelTest | Full | APPROVED | FAIL |
| /description-logic/Manifest608#test | InconsistencyTest | Lite | APPROVED | FAIL |
| /FunctionalProperty/Manifest004#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /oneOf/Manifest002#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest001#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest623#test | InconsistencyTest | Lite | APPROVED | PASS |
| /miscellaneous/Manifest303#test | ConsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest008#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest023#test | InconsistencyTest | DL | APPROVED | PASS |
| /I3.2/Manifest003#test | NotOwlFeatureTest | Lite | APPROVED | PASS |
| /I5.2/Manifest005#test | ConsistencyTest | DL | PROPOSED | PASS |
| /description-logic/Manifest103#test | InconsistencyTest | DL | APPROVED | PASS |
| /unionOf/Manifest004#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /allValuesFrom/Manifest002#test | NegativeEntailmentTest | Lite | APPROVED | PASS |
| /cardinality/Manifest004#test | PositiveEntailmentTest | DL | APPROVED | PASS |
| /I5.3/Manifest010#test | ConsistencyTest | Full | PROPOSED | SKIP |
| /description-logic/Manifest667#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest615#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I5.8/Manifest005#test | NegativeEntailmentTest | DL | PROPOSED | FAIL |
| /equivalentProperty/Manifest006#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /InverseFunctionalProperty/Manifest004#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest630#test | InconsistencyTest | Lite | APPROVED | PASS |
| /equivalentClass/Manifest004#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /description-logic/Manifest015#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest205#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /description-logic/Manifest030#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest907#test | ConsistencyTest | DL | PROPOSED | FAIL |
| /I5.26/Manifest001#test | ConsistencyTest | Full | PROPOSED | PASS |
| /disjointWith/Manifest004#test | ConsistencyTest | Full | PROPOSED | PASS |
| /description-logic/Manifest110#test | InconsistencyTest | DL | APPROVED | PASS |
| /Restriction/Manifest003#test | ConsistencyTest | Full | PROPOSED | PASS |
| /imports/Manifest003#test | ImportEntailmentTest | Full | APPROVED | PASS |
| /FunctionalProperty/Manifest003#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /oneOf/Manifest001#test | ConsistencyTest | Full | APPROVED | PASS |
| /I5.8/Manifest012#test | ConsistencyTest | DL | PROPOSED | FAIL |
| /I5.3/Manifest009#test | ConsistencyTest | Full | APPROVED | PASS |
| /miscellaneous/Manifest302#test | NegativeEntailmentTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest007#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest629#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I4.6/Manifest008#test | NotOwlFeatureTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest022#test | InconsistencyTest | DL | APPROVED | PASS |
| /miscellaneous/Manifest002#test | ConsistencyTest | Full | APPROVED | FAIL |
| /I3.2/Manifest002#test | NotOwlFeatureTest | Lite | APPROVED | PASS |
| /description-logic/Manifest644#test | InconsistencyTest | Lite | PROPOSED | PASS |
| /I5.2/Manifest004#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /description-logic/Manifest102#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest029#test | InconsistencyTest | DL | APPROVED | PASS |
| /I5.5/Manifest004#test | InconsistencyTest | Full | APPROVED | FAIL |
| /inverseOf/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /unionOf/Manifest003#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /imports/Manifest010#test | OWLforOWLTest | Full | PROPOSED | SKIP |
| /allValuesFrom/Manifest001#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /cardinality/Manifest003#test | PositiveEntailmentTest | DL | APPROVED | PASS |
| /description-logic/Manifest666#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest614#test | InconsistencyTest | Lite | APPROVED | PASS |
| /description-logic/Manifest109#test | InconsistencyTest | DL | APPROVED | PASS |
| /I5.8/Manifest004#test | PositiveEntailmentTest | DL | PROPOSED | FAIL |
| /equivalentProperty/Manifest005#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /InverseFunctionalProperty/Manifest003#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /equivalentClass/Manifest003#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /description-logic/Manifest504#test | InconsistencyTest | DL | PROPOSED | FAIL |
| /description-logic/Manifest014#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest204#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /distinctMembers/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /I5.2/Manifest011#test | ConsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest906#test | ConsistencyTest | DL | PROPOSED | FAIL |
| /disjointWith/Manifest003#test | ConsistencyTest | Full | PROPOSED | PASS |
| /Restriction/Manifest002#test | InconsistencyTest | Full | PROPOSED | PASS |
| /imports/Manifest002#test | NegativeEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest606#test | ConsistencyTest | Lite | APPROVED | FAIL |
| /FunctionalProperty/Manifest002#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /I5.8/Manifest011#test | OWLforOWLTest | Lite | PROPOSED | SKIP |
| /I5.3/Manifest008#test | ConsistencyTest | Lite | APPROVED | PASS |
| /miscellaneous/Manifest301#test | NegativeEntailmentTest | Full | PROPOSED | PASS |
| /description-logic/Manifest006#test | ConsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest628#test | ConsistencyTest | Lite | APPROVED | PASS |
| /I4.6/Manifest007#test | NotOwlFeatureTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest021#test | ConsistencyTest | DL | APPROVED | FAIL |
| /miscellaneous/Manifest001#test | ConsistencyTest | Full | APPROVED | FAIL |
| /I3.2/Manifest001#test | NotOwlFeatureTest | Lite | APPROVED | PASS |
| /description-logic/Manifest643#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I5.2/Manifest003#test | ConsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest101#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest028#test | ConsistencyTest | DL | APPROVED | PASS |
| /I4.5/Manifest002#test | InconsistencyTest | Full | PROPOSED | PASS |
| /I5.5/Manifest003#test | InconsistencyTest | Full | APPROVED | FAIL |
| /unionOf/Manifest002#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /cardinality/Manifest002#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /description-logic/Manifest665#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest613#test | InconsistencyTest | Lite | APPROVED | PASS |
| /description-logic/Manifest108#test | InconsistencyTest | DL | APPROVED | PASS |
| /I5.8/Manifest003#test | InconsistencyTest | DL | PROPOSED | FAIL |
| /equivalentProperty/Manifest004#test | PositiveEntailmentTest | DL | APPROVED | PASS |
| /I5.24/Manifest004#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /InverseFunctionalProperty/Manifest002#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /equivalentClass/Manifest002#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /miscellaneous/Manifest103#test | ConsistencyTest | DL | PROPOSED | PASS |
| /description-logic/Manifest503#test | ConsistencyTest | DL | PROPOSED | FAIL |
| /I5.3/Manifest015#test | PositiveEntailmentTest | Full | PROPOSED | PASS |
| /sameAs/Manifest001#test | PositiveEntailmentTest | Full | PROPOSED | SKIP |
| /Nothing/Manifest002#test | OWLforOWLTest | DL | APPROVED | SKIP |
| /description-logic/Manifest013#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest203#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /equivalentClass/Manifest009#test | ConsistencyTest | DL | PROPOSED | PASS |
| /description-logic/Manifest650#test | InconsistencyTest | Lite | PROPOSED | FAIL |
| /I5.2/Manifest010#test | ConsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest905#test | ConsistencyTest | DL | PROPOSED | PASS |
| /disjointWith/Manifest002#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /Restriction/Manifest001#test | InconsistencyTest | Full | PROPOSED | PASS |
| /description-logic/Manifest035#test | InconsistencyTest | Full | PROPOSED | PASS |
| /imports/Manifest001#test | ImportEntailmentTest | Full | APPROVED | PASS |
| /miscellaneous/Manifest205#test | ConsistencyTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest605#test | ConsistencyTest | Lite | APPROVED | PASS |
| /FunctionalProperty/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /I5.26/Manifest006#test | ConsistencyTest | Full | PROPOSED | PASS |
| /disjointWith/Manifest009#test | ConsistencyTest | Full | PROPOSED | PASS |
| /imports/Manifest008#test | ImportLevelTest | Lite | APPROVED | PASS |
| /I5.8/Manifest010#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /I5.3/Manifest007#test | ConsistencyTest | Full | APPROVED | PASS |
| /description-logic/Manifest005#test | ConsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest627#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I4.6/Manifest006#test | NotOwlFeatureTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest020#test | ConsistencyTest | DL | APPROVED | FAIL |
| /description-logic/Manifest642#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I5.2/Manifest002#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /description-logic/Manifest027#test | InconsistencyTest | DL | APPROVED | PASS |
| /I4.5/Manifest001#test | PositiveEntailmentTest | Full | PROPOSED | PASS |
| /I5.5/Manifest002#test | OWLforOWLTest | Full | APPROVED | SKIP |
| /unionOf/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /AnnotationProperty/Manifest002#test | PositiveEntailmentTest | Full | PROPOSED | FAIL |
| /maxCardinality/Manifest002#test | InconsistencyTest | Full | APPROVED | PASS |
| /cardinality/Manifest001#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /description-logic/Manifest664#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest612#test | InconsistencyTest | Lite | APPROVED | PASS |
| /description-logic/Manifest107#test | InconsistencyTest | DL | APPROVED | PASS |
| /I5.8/Manifest002#test | ConsistencyTest | DL | PROPOSED | FAIL |
| /intersectionOf/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /equivalentProperty/Manifest003#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /I5.24/Manifest003#test | PositiveEntailmentTest | Lite | PROPOSED | PASS |
| /InverseFunctionalProperty/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /equivalentClass/Manifest001#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /miscellaneous/Manifest102#test | ConsistencyTest | DL | PROPOSED | PASS |
| /description-logic/Manifest502#test | InconsistencyTest | DL | PROPOSED | FAIL |
| /I5.3/Manifest014#test | PositiveEntailmentTest | Full | PROPOSED | FAIL |
| /I5.8/Manifest009#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /Nothing/Manifest001#test | InconsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest012#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest202#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /description-logic/Manifest634#test | ConsistencyTest | Lite | APPROVED | PASS |
| /equivalentClass/Manifest008#test | NegativeEntailmentTest | DL | PROPOSED | PASS |
| /extra-credit/Manifest004#test | PositiveEntailmentTest | Full | PROPOSED | FAIL |
| /TransitiveProperty/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest019#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest904#test | NegativeEntailmentTest | DL | APPROVED | FAIL |
| /disjointWith/Manifest001#test | PositiveEntailmentTest | DL | APPROVED | PASS |
| /description-logic/Manifest034#test | ConsistencyTest | DL | APPROVED | PASS |
| /miscellaneous/Manifest204#test | InconsistencyTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest604#test | InconsistencyTest | Lite | APPROVED | FAIL |
| /complementOf/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /I5.26/Manifest005#test | ConsistencyTest | Full | PROPOSED | PASS |
| /disjointWith/Manifest008#test | ConsistencyTest | Full | PROPOSED | PASS |
| /imports/Manifest007#test | ImportLevelTest | Lite | APPROVED | PASS |
| /I5.3/Manifest006#test | ConsistencyTest | Lite | APPROVED | PASS |
| /someValuesFrom/Manifest002#test | NegativeEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest004#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest626#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I4.6/Manifest005#test | NegativeEntailmentTest | Full | PROPOSED | PASS |
| /description-logic/Manifest641#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I5.2/Manifest001#test | ConsistencyTest | Lite | APPROVED | PASS |
| /description-logic/Manifest026#test | InconsistencyTest | DL | APPROVED | PASS |
| /I5.5/Manifest001#test | OWLforOWLTest | Full | APPROVED | SKIP |
| /I5.21/Manifest002#test | PositiveEntailmentTest | Full | PROPOSED | PASS |
| /AnnotationProperty/Manifest001#test | NegativeEntailmentTest | Lite | PROPOSED | PASS |
| /maxCardinality/Manifest001#test | InconsistencyTest | Full | APPROVED | PASS |
| /description-logic/Manifest663#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest611#test | InconsistencyTest | Lite | APPROVED | PASS |
| /description-logic/Manifest106#test | InconsistencyTest | DL | APPROVED | PASS |
| /I5.8/Manifest001#test | InconsistencyTest | DL | PROPOSED | FAIL |
| /equivalentProperty/Manifest002#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /I5.24/Manifest002#test | PositiveEntailmentTest | Full | PROPOSED | PASS |
| /description-logic/Manifest501#test | ConsistencyTest | DL | PROPOSED | FAIL |
| /cardinality/Manifest007#test | NegativeEntailmentTest | Full | PROPOSED | SKIP |
| /I5.8/Manifest008#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest011#test | InconsistencyTest | DL | APPROVED | PASS |
| /Thing/Manifest002#test | InconsistencyTest | Full | PROPOSED | FAIL |
| /description-logic/Manifest201#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /I3.4/Manifest001#test | NotOwlFeatureTest | Lite | APPROVED | PASS |
| /description-logic/Manifest633#test | InconsistencyTest | Lite | APPROVED | PASS |
| /equivalentClass/Manifest007#test | PositiveEntailmentTest | Full | PROPOSED | PASS |
| /extra-credit/Manifest003#test | PositiveEntailmentTest | Full | PROPOSED | FAIL |
| /description-logic/Manifest018#test | ConsistencyTest | DL | APPROVED | FAIL |
| /description-logic/Manifest208#test | PositiveEntailmentTest | DL | PROPOSED | FAIL |
| /description-logic/Manifest903#test | PositiveEntailmentTest | DL | APPROVED | FAIL |
| /description-logic/Manifest033#test | InconsistencyTest | DL | APPROVED | PASS |
| /miscellaneous/Manifest203#test | InconsistencyTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest603#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I5.26/Manifest004#test | ConsistencyTest | Full | PROPOSED | PASS |
| /disjointWith/Manifest007#test | ConsistencyTest | Full | PROPOSED | PASS |
| /imports/Manifest006#test | ImportLevelTest | Lite | APPROVED | PASS |
| /I5.3/Manifest005#test | ConsistencyTest | Full | APPROVED | PASS |
| /oneOf/Manifest004#test | PositiveEntailmentTest | DL | PROPOSED | SKIP |
| /someValuesFrom/Manifest001#test | PositiveEntailmentTest | Full | PROPOSED | FAIL |
| /I5.1/Manifest010#test | ConsistencyTest | Full | PROPOSED | FAIL |
| /description-logic/Manifest003#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest625#test | ConsistencyTest | Lite | APPROVED | PASS |
| /I4.6/Manifest004#test | NegativeEntailmentTest | Full | PROPOSED | PASS |
| /differentFrom/Manifest002#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest025#test | ConsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest910#test | InconsistencyTest | DL | PROPOSED | FAIL |
| /I5.21/Manifest001#test | NotOwlFeatureTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest662#test | PositiveEntailmentTest | Lite | PROPOSED | FAIL |
| /description-logic/Manifest610#test | InconsistencyTest | Lite | APPROVED | PASS |
| /description-logic/Manifest105#test | InconsistencyTest | DL | APPROVED | PASS |
| /equivalentProperty/Manifest001#test | PositiveEntailmentTest | Lite | APPROVED | PASS |
| /I5.24/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /I4.1/Manifest001#test | NotOwlFeatureTest | Lite | APPROVED | PASS |
| /cardinality/Manifest006#test | PositiveEntailmentTest | Full | PROPOSED | PASS |
| /description-logic/Manifest617#test | InconsistencyTest | Lite | APPROVED | PASS |
| /I5.8/Manifest007#test | NegativeEntailmentTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest010#test | InconsistencyTest | DL | APPROVED | PASS |
| /SymmetricProperty/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /Thing/Manifest001#test | ConsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest632#test | InconsistencyTest | Lite | APPROVED | PASS |
| /equivalentClass/Manifest006#test | PositiveEntailmentTest | DL | APPROVED | PASS |
| /extra-credit/Manifest002#test | PositiveEntailmentTest | Full | PROPOSED | FAIL |
| /description-logic/Manifest017#test | InconsistencyTest | DL | APPROVED | PASS |
| /description-logic/Manifest207#test | PositiveEntailmentTest | DL | PROPOSED | PASS |
| /description-logic/Manifest902#test | NegativeEntailmentTest | DL | APPROVED | PASS |
| /description-logic/Manifest032#test | InconsistencyTest | DL | APPROVED | PASS |
| /miscellaneous/Manifest202#test | ConsistencyTest | Lite | PROPOSED | PASS |
| /description-logic/Manifest602#test | InconsistencyTest | Lite | APPROVED | PASS |
| /AllDifferent/Manifest001#test | PositiveEntailmentTest | Full | APPROVED | PASS |
| /description-logic/Manifest909#test | InconsistencyTest | DL | PROPOSED | FAIL |