OWL Test Results (Semi-Official Semi-Static View)

Twice-Passed Proposed Tests

[Results] I4.6-006 level:Lite [PROPOSED] owl:sameIndividualAs is not an OWL property.

[Results] I4.6-007 level:Lite [PROPOSED] owl:sameClassAs is not an OWL property.

[Results] I4.6-008 level:Lite [PROPOSED] owl:samePropertyAs is not an OWL property.

[Results] I5.21-001 level:Lite [PROPOSED] daml:disjointUnionOf did not make it into OWL.

[Results] FunctionalProperty-005 level:Full [PROPOSED] If prop belongs to owl:FunctionalProperty then an OWL individual has at most one value for prop.

[Results] I4.5-001 level:(no data) [PROPOSED] An example combinging owl:oneOf and owl:inverseOf.

[Results] I5.2-004 level:(no data) [PROPOSED] The complement of a class can be defined using OWL Lite restrictions.

[Results] I5.2-006 level:(no data) [PROPOSED] The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf.

[Results] I5.24-002 level:Full [PROPOSED] OWL, unlike RDFS, uses iff semantics for range.

[Results] I5.24-003 level:(no data) [PROPOSED] This is a typical definition of range from description logic.

[Results] I5.3-015 level:Full [PROPOSED] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL.

[Results] I5.8-006 level:(no data) [PROPOSED] All xsd:byte are xsd:short.

[Results] I5.8-008 level:(no data) [PROPOSED] -1 is an xsd:short that is not an xsd:unsignedShort; 100000 is an xsd:unsignedInt that is not an xsd:unsignedShort; but there are no xsd:unsignedShort which are neither xsd:short nor xsd:unsignedInt

[Results] I5.8-009 level:(no data) [PROPOSED] 0 is the only xsd:nonNegativeInteger which is also an xsd:nonPositiveInteger. 0 is an xsd:short.

[Results] I5.8-010 level:(no data) [PROPOSED] 0 is the only xsd:nonNegativeInteger which is also an xsd:nonPositiveInteger.

[Results] cardinality-006 level:Full [PROPOSED] An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints.

[Results] description-logic-201 level:(no data) [PROPOSED] DL Test: k_branch ABox test from DL98 systems comparison.

[Results] description-logic-202 level:(no data) [PROPOSED] DL Test: k_d4 ABox test from DL98 systems comparison.

[Results] description-logic-203 level:(no data) [PROPOSED] DL Test: k_dum ABox test from DL98 systems comparison.

[Results] description-logic-204 level:(no data) [PROPOSED] DL Test: k_grz ABox test from DL98 systems comparison.

[Results] description-logic-205 level:(no data) [PROPOSED] DL Test: k_lin ABox test from DL98 systems comparison.

[Results] description-logic-207 level:(no data) [PROPOSED] DL Test: k_ph ABox test from DL98 systems comparison.

[Results] description-logic-661 level:(no data) [PROPOSED] DL Test: k_branch ABox test from DL98 systems comparison.

[Results] description-logic-662 level:(no data) [PROPOSED] DL Test: k_d4 ABox test from DL98 systems comparison.

[Results] description-logic-664 level:(no data) [PROPOSED] DL Test: k_grz ABox test from DL98 systems comparison.

[Results] description-logic-665 level:(no data) [PROPOSED] DL Test: k_lin ABox test from DL98 systems comparison.

[Results] description-logic-667 level:(no data) [PROPOSED] DL Test: k_ph ABox test from DL98 systems comparison.

[Results] equivalentClass-007 level:Full [PROPOSED] De Morgan's law.

[Results] unionOf-003 level:(no data) [PROPOSED] Sets with appropriate extensions are related by unionOf.

[Results] unionOf-004 level:(no data) [PROPOSED] An inverse to test 003.

[Results] I4.6-004 level:Full [PROPOSED] owl:sameAs is stronger than owl:equivalentClass.

[Results] I4.6-005 level:(no data) [PROPOSED] owl:equivalentClass is not related to annotations on classes.

[Results] I5.8-007 level:(no data) [PROPOSED] -1 is an xsd:short that is not an xsd:unsignedByte.

[Results] equivalentClass-008 level:(no data) [PROPOSED] Annotation properties refer to a class instance. equivalentClass refers to the class extension.

[Results] miscellaneous-301 level:Full [PROPOSED] Annotations participate a little in the semantics.

[Results] miscellaneous-302 level:(no data) [PROPOSED] Annotations participate a little in the semantics.

[Results] I5.2-003 level:(no data) [PROPOSED] The complement of a class can be defined using OWL Lite restrictions.

[Results] I5.2-005 level:(no data) [PROPOSED] The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf.

[Results] I5.2-010 level:(no data) [PROPOSED] The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL.

[Results] I5.2-011 level:(no data) [PROPOSED] The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL.

[Results] I5.26-001 level:Full [PROPOSED] Structure sharing is not permitted in OWL DL, between a class description and a type triple.

[Results] I5.26-002 level:Full [PROPOSED] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple.

[Results] I5.26-005 level:Full [PROPOSED] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple.

[Results] I5.26-006 level:Full [PROPOSED] The blank nodes in a class description in OWL DL may not form a directed cycle.

[Results] I5.3-011 level:(no data) [PROPOSED] Classes can be the object of annotation properties in OWL Lite and DL.

[Results] Restriction-003 level:Full [PROPOSED] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice.

[Results] Restriction-004 level:(no data) [PROPOSED] This test shows OWL Lite syntax for using two equivalent restrictions.

[Results] description-logic-908 level:(no data) [PROPOSED] This test shows integer multiplication in OWL DL, interacting with infinity.

N times infinity is 2 times infinity. M times infinity is 3 times infinity. N times M times infinity is 5 times infinity.

[Results] disjointWith-003 level:(no data) [PROPOSED] If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL.

[Results] disjointWith-005 level:(no data) [PROPOSED] If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL.

[Results] disjointWith-007 level:(no data) [PROPOSED] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.

[Results] disjointWith-008 level:Full [PROPOSED] A further example that cannot be generated from the mapping rule for DisjointClasses.

[Results] disjointWith-009 level:(no data) [PROPOSED] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share URIref nodes but do not share blank node then this may be within OWL DL.

[Results] equivalentClass-009 level:(no data) [PROPOSED] A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path.

[Results] miscellaneous-102 level:(no data) [PROPOSED] Abstract syntax restrictions with multiple components are in OWL DL.

[Results] miscellaneous-103 level:(no data) [PROPOSED] This description cannot be expressed as a multicomponent restriction in the abstract syntax.

[Results] miscellaneous-201 level:(no data) [PROPOSED] This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation.

[Results] miscellaneous-202 level:(no data) [PROPOSED] This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL.

[Results] miscellaneous-303 level:(no data) [PROPOSED] dc:creator may be declared as an annotation property.

[Results] I4.5-002 level:(no data) [PROPOSED] An example combining owl:oneOf and owl:inverseOf.

[Results] Nothing-001 level:(no data) [PROPOSED] The triple asserts something of type owl:Nothing, however that is the empty class.

[Results] Restriction-001 level:(no data) [PROPOSED] This test shows the syntax for using the same restriction twice in OWL Lite.

[Results] Restriction-002 level:Full [PROPOSED] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice.

[Results] description-logic-035 level:(no data) [PROPOSED] A test for the interaction of one-of and inverse using the idea of a spy point. Everything is related to the spy via the property p and we know that the spy has at most two invP successors, thus limiting the cardinality of the domain to being at most 2.

[Results] description-logic-601 level:(no data) [PROPOSED] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable.

[Results] description-logic-644 level:(no data) [PROPOSED] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept

[Results] description-logic-646 level:(no data) [PROPOSED] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions

[Results] description-logic-650 level:(no data) [PROPOSED] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions

[Results] Syntactic Level Test for AnnotationProperty-001

[Results] Syntactic Level Test for AnnotationProperty-002

[Results] Syntactic Level Test for DatatypeProperty-001

[Results] Syntactic Level Test for FunctionalProperty-005

[Results] Syntactic Level Test for I4.5-001

[Results] Syntactic Level Test for I4.5-002

[Results] Syntactic Level Test for I4.6-004

[Results] Syntactic Level Test for I4.6-005

[Results] Syntactic Level Test for I5.1-010

[Results] Syntactic Level Test for I5.2-003

[Results] Syntactic Level Test for I5.2-004