Primary version lives at http://www.w3.org/2003/08/owl-systems/test-results-out
| Test | old-surnia | Surnia | OWLP |
|---|---|---|---|
AllDifferent-001 [APPROVED: Med L XXL]
using AllDifferent to derive differentFrom | Pass | Pass | not reported |
| Syntactic Level Test for AllDifferent-001 | partial data | partial data | Pass |
| AnnotationProperty-001 [PROPOSED] The semantics of annotations in the direct semantics strictly distinguishes class valued annotations from individual valued annotations. | not reported | not reported | not reported |
| Syntactic Level Test for AnnotationProperty-001 | partial data | partial data | Pass |
| AnnotationProperty-002 [PROPOSED] Under the rdfs compatible semantics, the previous non-entailment is, in fact, an entailment. | not reported | not reported | not reported |
| Syntactic Level Test for AnnotationProperty-002 | partial data | partial data | Pass |
| DatatypeProperty-001 [PROPOSED] DatatypeProperty's may be used to related typed literals to typed literals, in OWL Full. | not reported | not reported | not reported |
| Syntactic Level Test for DatatypeProperty-001 | partial data | partial data | Pass |
FunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty,
and subject denotes a resource
which is the subject of two prop triples, then the objects
of these triples have the same denotation. | Pass | Pass | not reported |
| Syntactic Level Test for FunctionalProperty-001 | partial data | partial data | Pass |
FunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:FunctionalProperty,
and subject denotes a resource
which is the subject of two prop triples, then the objects
of these triples have the same denotation.Hence any assertion made
using one of them can be transferred to the other. | Pass | Pass | not reported |
| Syntactic Level Test for FunctionalProperty-002 | partial data | partial data | Pass |
FunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:FunctionalProperty,
then its inverse is an owl:InverseFunctionalProperty. | Pass | Pass | not reported |
| Syntactic Level Test for FunctionalProperty-003 | partial data | partial data | Pass |
FunctionalProperty-004 [APPROVED: Med L XXL]
If the range of prop is a singleton set then it is necessarily functional, (i.e. every member of its domain
has a single value) and so it is an owl:FunctionalProperty. | Pass | Pass | not reported |
| Syntactic Level Test for FunctionalProperty-004 | partial data | partial data | Pass |
FunctionalProperty-005 [PROPOSED]
If prop belongs to owl:FunctionalProperty
then an OWL individual has at most one value for prop. | not reported | not reported | not reported |
| Syntactic Level Test for FunctionalProperty-005 | partial data | partial data | Pass |
| I3.2-001 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified cardinality constraint are not defined the OWL namespace. | partial data | partial data | Pass |
| I3.2-002 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified max cardinality constraint are not defined the OWL namespace. | partial data | partial data | Pass |
| I3.2-003 [APPROVED: Med L XXL] The names used in a DAML+OIL qualified min cardinality constraint are not defined the OWL namespace. | partial data | partial data | Pass |
I3.4-001 [APPROVED: Med L XXL]
The name UnambiguousProperty is not defined in the OWL namespace. daml:UnambiguousProperty corresponds to owl:InverseFunctionalProperty. | partial data | partial data | Pass |
I4.1-001 [APPROVED: Med L XXL]
The name UniqueProperty is not defined in the OWL namespace.
daml:UniqueProperty corresponds to owl:FunctionalProperty. | partial data | partial data | Pass |
| I4.5-001 [PROPOSED] An example combinging owl:oneOf and owl:inverseOf. | not reported | not reported | not reported |
| Syntactic Level Test for I4.5-001 | partial data | partial data | Pass |
| I4.5-002 [PROPOSED] An example combining owl:oneOf and owl:inverseOf. | not reported | not reported | not reported |
| Syntactic Level Test for I4.5-002 | partial data | partial data | Pass |
I4.6-003 [APPROVED: Med L XXL]
owl:sameAs is stronger than owl:equivalentClass. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for I4.6-003 | partial data | partial data | Pass |
I4.6-004 [PROPOSED]
owl:sameAs is stronger than owl:equivalentClass. | not reported | not reported | not reported |
| Syntactic Level Test for I4.6-004 | partial data | partial data | Pass |
I4.6-005 [PROPOSED]
owl:equivalentClass is not related to annotations on classes. | not reported | not reported | not reported |
| Syntactic Level Test for I4.6-005 | partial data | partial data | Pass |
I4.6-006 [PROPOSED]
owl:sameIndividualAs is not an OWL property. | partial data | partial data | Pass |
I4.6-007 [PROPOSED]
owl:sameClassAs is not an OWL property. | partial data | partial data | Pass |
I4.6-008 [PROPOSED]
owl:samePropertyAs is not an OWL property. | partial data | partial data | Pass |
| I5.1-001 [APPROVED: Med L XXL] stateCode example using an inverseFunctionalProperty and literals | Incomplete | Incomplete | not reported |
| Syntactic Level Test for I5.1-001 | partial data | partial data | Pass |
| I5.1-010 [PROPOSED] There are 128 different bytes that are also unsigned integers; and hence also 127. | not reported | not reported | not reported |
| Syntactic Level Test for I5.1-010 | partial data | partial data | Pass |
I5.2-001 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | not reported | not reported | not reported |
| Syntactic Level Test for I5.2-001 | partial data | partial data | Pass |
I5.2-002 [APPROVED: Med L XXL]
A class like owl:Nothing can be defined using OWL Lite restrictions. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for I5.2-002 | partial data | partial data | Pass |
| I5.2-003 [PROPOSED] The complement of a class can be defined using OWL Lite restrictions. | not reported | not reported | not reported |
| Syntactic Level Test for I5.2-003 | partial data | partial data | Pass |
| I5.2-004 [PROPOSED] The complement of a class can be defined using OWL Lite restrictions. | not reported | not reported | not reported |
| Syntactic Level Test for I5.2-004 | partial data | partial data | Pass |
I5.2-005 [PROPOSED]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf. | not reported | not reported | not reported |
| Syntactic Level Test for I5.2-005 | partial data | partial data | Pass |
I5.2-006 [PROPOSED]
The union of two classes can be defined using OWL Lite restrictions, and owl:intersectionOf. | not reported | not reported | not reported |
| Syntactic Level Test for I5.2-006 | partial data | partial data | Pass |
| I5.2-010 [PROPOSED] The informal semantics for RDF container vocabulary, indicated by the comment, are not respected by the formal machinery of OWL. | not reported | not reported | not reported |
| Syntactic Level Test for I5.2-010 | partial data | partial data | Pass |
| I5.2-011 [PROPOSED] The informal semantics indicated by comments concerning user defined classes are not respected by the formal machinery of OWL. | not reported | not reported | not reported |
| Syntactic Level Test for I5.2-011 | partial data | partial data | Pass |
I5.21-001 [PROPOSED]
daml:disjointUnionOf did not make it into OWL. | partial data | partial data | Pass |
| I5.21-002 [PROPOSED] The construct used here shows how to express mutual disjointness between classes with O(N) triples. | not reported | not reported | not reported |
| Syntactic Level Test for I5.21-002 | partial data | partial data | Pass |
| I5.24-001 [APPROVED: Med L XXL] This entailment is similar to one that does not hold in RDFS. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for I5.24-001 | partial data | partial data | Pass |
| I5.24-002 [PROPOSED] OWL, unlike RDFS, uses iff semantics for range. | not reported | not reported | not reported |
| Syntactic Level Test for I5.24-002 | partial data | partial data | Pass |
| I5.24-003 [PROPOSED] This is a typical definition of range from description logic. | not reported | not reported | not reported |
| Syntactic Level Test for I5.24-003 | partial data | partial data | Pass |
| I5.24-004 [APPROVED: Med L XXL] This is a typical definition of range from description logic. It works both ways. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for I5.24-004 | partial data | partial data | Pass |
| I5.26-001 [PROPOSED] Structure sharing is not permitted in OWL DL, between a class description and a type triple. | not reported | not reported | not reported |
| Syntactic Level Test for I5.26-001 | partial data | partial data | Pass |
| I5.26-002 [PROPOSED] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and a type triple. | not reported | not reported | not reported |
| Syntactic Level Test for I5.26-002 | partial data | partial data | Pass |
| I5.26-003 [PROPOSED] Structure sharing is not permitted in OWL DL, between two class descriptions. | not reported | not reported | not reported |
| Syntactic Level Test for I5.26-003 | partial data | partial data | Pass |
| I5.26-004 [PROPOSED] Structure sharing is not permitted in OWL DL, between a class description and an owl:disjointWith triple. | not reported | not reported | not reported |
| Syntactic Level Test for I5.26-004 | partial data | partial data | Pass |
| I5.26-005 [PROPOSED] Structure sharing is not permitted in OWL DL, between an owl:equivalentClass triple and an owl:disjointWith triple. | not reported | not reported | not reported |
| Syntactic Level Test for I5.26-005 | partial data | partial data | Pass |
| I5.26-006 [PROPOSED] The blank nodes in a class description in OWL DL may not form a directed cycle. | not reported | not reported | not reported |
| Syntactic Level Test for I5.26-006 | partial data | partial data | Pass |
| I5.3-005 [APPROVED: Med L XXL] Any RDF/XML document is in OWL Full. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-005 | partial data | partial data | Pass |
| I5.3-006 [APPROVED: Med L XXL] A minimal OWL Lite version of test 005. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-006 | partial data | partial data | Pass |
| I5.3-007 [APPROVED: Med L XXL] Any RDF/XML document is in OWL Full. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-007 | partial data | partial data | Pass |
| I5.3-008 [APPROVED: Med L XXL] An OWL Lite version of test 007. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-008 | partial data | partial data | Pass |
| I5.3-009 [APPROVED: Med L XXL] The use of blank nodes in OWL DL and OWL Lite is restricted. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-009 | partial data | partial data | Pass |
| I5.3-010 [PROPOSED] Classes cannot be the object of regular properties in OWL DL. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-010 | partial data | partial data | Pass |
| I5.3-011 [PROPOSED] Classes can be the object of annotation properties in OWL Lite and DL. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-011 | partial data | partial data | Pass |
| I5.3-014 [PROPOSED] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-014 | partial data | partial data | Pass |
| I5.3-015 [PROPOSED] This entailment does not hold under the RDF Semantics, but does under the RDFS Compatible Semantics for OWL. | not reported | not reported | not reported |
| Syntactic Level Test for I5.3-015 | partial data | partial data | Pass |
| I5.5-001 [APPROVED: Med L XXL] rdf:first is a FunctionalProperty. | not reported | not reported | not reported |
| Syntactic Level Test for I5.5-001 | partial data | partial data | Pass |
| I5.5-002 [APPROVED: Med L XXL] rdf:rest is a FunctionalProperty. | not reported | not reported | not reported |
| Syntactic Level Test for I5.5-002 | partial data | partial data | Pass |
| I5.5-003 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:rest property. | Pass | Pass | not reported |
| Syntactic Level Test for I5.5-003 | partial data | partial data | Pass |
| I5.5-004 [APPROVED: Med L XXL] rdf:nil cannot have an rdf:first property. | Pass | Pass | not reported |
| Syntactic Level Test for I5.5-004 | partial data | partial data | Pass |
I5.8-001 [PROPOSED]
There are only 256 different values for xsd:byte. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-001 | partial data | partial data | Pass |
I5.8-002 [PROPOSED]
There are 256 different values for xsd:byte. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-002 | partial data | partial data | Pass |
I5.8-003 [PROPOSED]
There are only 128 different values of xsd:byte
that are also xsd:unsignedInt. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-003 | partial data | partial data | Pass |
I5.8-004 [PROPOSED]
There are precisely 128 different values of xsd:byte
that are also xsd:unsignedInt. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-004 | partial data | partial data | Pass |
I5.8-005 [PROPOSED]
There are 128 different values of xsd:byte
that are also xsd:unsignedInt. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-005 | partial data | partial data | Pass |
I5.8-006 [PROPOSED]
All xsd:byte
are xsd:short. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-006 | partial data | partial data | Pass |
I5.8-007 [PROPOSED]
-1 is an xsd:short
that is not an
xsd:unsignedByte. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-007 | partial data | partial data | Pass |
I5.8-008 [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 | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-008 | partial data | partial data | Pass |
I5.8-009 [PROPOSED]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger. 0 is an
xsd:short. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-009 | partial data | partial data | Pass |
I5.8-010 [PROPOSED]
0 is the only xsd:nonNegativeInteger which is
also an xsd:nonPositiveInteger. | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-010 | partial data | partial data | Pass |
I5.8-011 [PROPOSED]
The empty graph entails that xsd:integer and xsd:string
are a rdfs:Datatype | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-011 | partial data | partial data | Pass |
I5.8-012 [PROPOSED]
There might be only 128 different values of xsd:byte
that are also xsd:unsignedInt; but this does not
follow from the datatype theory
of this test. (cf. the similar inconsistency test). | not reported | not reported | not reported |
| Syntactic Level Test for I5.8-012 | partial data | partial data | Pass |
InverseFunctionalProperty-001 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty,
and object denotes a resource
which is the object of two prop triples, then the subjects
of these triples have the same denotation. | Pass | Pass | not reported |
| Syntactic Level Test for InverseFunctionalProperty-001 | partial data | partial data | Pass |
InverseFunctionalProperty-002 [APPROVED: Med L XXL]
If prop belongs to owl:InverseFunctionalProperty,
and object denotes a resource
which is the object of two prop triples, then the subjects
of these triples have the same denotation. Hence any assertion made
using one of them can be transferred to the other. | Pass | Pass | not reported |
| Syntactic Level Test for InverseFunctionalProperty-002 | partial data | partial data | Pass |
InverseFunctionalProperty-003 [APPROVED: Med L XXL]
If prop is an owl:InverseFunctionalProperty,
then its inverse is an owl:FunctionalProperty. | Pass | Pass | not reported |
| Syntactic Level Test for InverseFunctionalProperty-003 | partial data | partial data | Pass |
InverseFunctionalProperty-004 [APPROVED: Med L XXL]
If the domain of prop is a singleton set then it is necessarily inverse functional, (i.e. every member of its
range is the value of a single item) so it is an
owl:InverseFunctionalProperty. | Pass | Pass | not reported |
| Syntactic Level Test for InverseFunctionalProperty-004 | partial data | partial data | Pass |
Nothing-001 [PROPOSED]
The triple asserts something of type owl:Nothing, however
that is the empty class. | not reported | not reported | not reported |
| Syntactic Level Test for Nothing-001 | partial data | partial data | Pass |
Nothing-002 [APPROVED: Med L XXL]
An empty owl:Class has the same class extension as owl:Nothing. | not reported | not reported | not reported |
| Syntactic Level Test for Nothing-002 | partial data | partial data | Pass |
| Restriction-001 [PROPOSED] This test shows the syntax for using the same restriction twice in OWL Lite. | not reported | not reported | not reported |
| Syntactic Level Test for Restriction-001 | partial data | partial data | Pass |
| Restriction-002 [PROPOSED] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | not reported | not reported | not reported |
| Syntactic Level Test for Restriction-002 | partial data | partial data | Pass |
| Restriction-003 [PROPOSED] This test shows syntax that is not permitted in OWL Lite or OWL DL for using the same restriction twice. | not reported | not reported | not reported |
| Syntactic Level Test for Restriction-003 | partial data | partial data | Pass |
| Restriction-004 [PROPOSED] This test shows OWL Lite syntax for using two equivalent restrictions. | not reported | not reported | not reported |
| Syntactic Level Test for Restriction-004 | partial data | partial data | Pass |
| SymmetricProperty-001 [APPROVED: Med L XXL] A simple illustration of symmetric properties. | Pass | Pass | not reported |
| Syntactic Level Test for SymmetricProperty-001 | partial data | partial data | Pass |
| Thing-001 [PROPOSED] The extension of OWL Thing may be emtpy. | not reported | not reported | not reported |
| Syntactic Level Test for Thing-001 | partial data | partial data | Pass |
| Thing-002 [PROPOSED] The extension of owl:Thing may not be emtpy in OWL Full. | not reported | not reported | not reported |
| Syntactic Level Test for Thing-002 | partial data | partial data | Pass |
| TransitiveProperty-001 [APPROVED: Med L XXL] A simple illustration of transitivity. | Pass | Pass | not reported |
| Syntactic Level Test for TransitiveProperty-001 | partial data | partial data | Pass |
| allValuesFrom-001 [APPROVED: Med L XXL] A simple example. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for allValuesFrom-001 | partial data | partial data | Pass |
allValuesFrom-002 [APPROVED: Med L XXL]
Another simple example; contrast with owl:someValuesFrom. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for allValuesFrom-002 | partial data | partial data | Pass |
cardinality-001 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | not reported |
| Syntactic Level Test for cardinality-001 | partial data | partial data | Pass |
cardinality-002 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | not reported |
| Syntactic Level Test for cardinality-002 | partial data | partial data | Pass |
cardinality-003 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Pass | Pass | not reported |
| Syntactic Level Test for cardinality-003 | partial data | partial data | Pass |
cardinality-004 [APPROVED: Med L XXL]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for cardinality-004 | partial data | partial data | Pass |
cardinality-006 [PROPOSED]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | not reported | not reported | not reported |
| Syntactic Level Test for cardinality-006 | partial data | partial data | Pass |
cardinality-007 [PROPOSED]
An owl:cardinality constraint is simply shorthand for a pair of owl:minCardinality and owl:maxCardinality constraints. | not reported | not reported | not reported |
| Syntactic Level Test for cardinality-007 | partial data | partial data | Pass |
complementOf-001 [APPROVED: Med L XXL]
complementOf is a SymmetricProperty.
| Incomplete | Incomplete | not reported |
| Syntactic Level Test for complementOf-001 | partial data | partial data | Pass |
| description-logic-001 [APPROVED: Med L XXL] DL Test: fact1.1 If a, b and c are disjoint, then: (a and b) or (b and c) or (c and a) is unsatisfiable. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-001 | partial data | partial data | Pass |
| description-logic-002 [APPROVED: Med L XXL] DL Test: fact2.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-002 | partial data | partial data | Pass |
| description-logic-003 [APPROVED: Med L XXL] DL Test: fact3.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-003 | partial data | partial data | Pass |
| description-logic-004 [APPROVED: Med L XXL] DL Test: fact4.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-004 | partial data | partial data | Pass |
| description-logic-005 [APPROVED: Med L XXL] DL Test: fact4.2 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-005 | partial data | partial data | Pass |
| description-logic-006 [APPROVED: Med L XXL] DL Test: t1.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-006 | partial data | partial data | Pass |
| description-logic-007 [APPROVED: Med L XXL] DL Test: t1.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-007 | partial data | partial data | Pass |
| description-logic-008 [APPROVED: Med L XXL] DL Test: t1.3 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-008 | partial data | partial data | Pass |
| description-logic-009 [APPROVED: Med L XXL] DL Test: t10.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-009 | partial data | partial data | Pass |
| description-logic-010 [APPROVED: Med L XXL] DL Test: t10.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-010 | partial data | partial data | Pass |
| description-logic-011 [APPROVED: Med L XXL] DL Test: t10.3 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-011 | partial data | partial data | Pass |
| description-logic-012 [APPROVED: Med L XXL] DL Test: t10.4 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-012 | partial data | partial data | Pass |
| description-logic-013 [APPROVED: Med L XXL] DL Test: t10.5 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-013 | partial data | partial data | Pass |
| description-logic-014 [APPROVED: Med L XXL] DL Test: t11.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-014 | partial data | partial data | Pass |
| description-logic-015 [APPROVED: Med L XXL] DL Test: t12.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-015 | partial data | partial data | Pass |
| description-logic-016 [APPROVED: Med L XXL] DL Test: t2.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-016 | partial data | partial data | Pass |
| description-logic-017 [APPROVED: Med L XXL] DL Test: t2.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-017 | partial data | partial data | Pass |
| description-logic-018 [APPROVED: Med L XXL] DL Test: t3.1 There are 90 possible partitions in the satisfiable case | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-018 | partial data | partial data | Pass |
| description-logic-019 [APPROVED: Med L XXL] DL Test: t3.2 There are 301 possible partitions in the unsatisfiable case | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-019 | partial data | partial data | Pass |
| description-logic-020 [APPROVED: Med L XXL] DL Test: t3a.1 there are 1,701 possible partitions in the satisfiable case | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-020 | partial data | partial data | Pass |
| description-logic-021 [APPROVED: Med L XXL] DL Test: t3a.2 There are 7,770 possible partitions in the unsatisfiable case | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-021 | partial data | partial data | Pass |
| description-logic-022 [APPROVED: Med L XXL] DL Test: t3a.3 There are 42,525 possible partitions in the satisfiable case | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-022 | partial data | partial data | Pass |
| description-logic-023 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-023 | partial data | partial data | Pass |
| description-logic-024 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-024 | partial data | partial data | Pass |
| description-logic-025 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-025 | partial data | partial data | Pass |
| description-logic-026 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-026 | partial data | partial data | Pass |
| description-logic-027 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-027 | partial data | partial data | Pass |
| description-logic-028 [APPROVED: Med L XXL] DL Test: t7.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-028 | partial data | partial data | Pass |
| description-logic-029 [APPROVED: Med L XXL] DL Test: t7.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-029 | partial data | partial data | Pass |
| description-logic-030 [APPROVED: Med L XXL] DL Test: t7.3 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-030 | partial data | partial data | Pass |
| description-logic-031 [APPROVED: Med L XXL] DL Test: t7f.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-031 | partial data | partial data | Pass |
| description-logic-032 [APPROVED: Med L XXL] DL Test: t7f.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-032 | partial data | partial data | Pass |
| description-logic-033 [APPROVED: Med L XXL] DL Test: t7f.3 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-033 | partial data | partial data | Pass |
| description-logic-034 [APPROVED: Med L XXL] DL Test: t8.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-034 | partial data | partial data | Pass |
| description-logic-035 [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. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-035 | partial data | partial data | Pass |
| description-logic-101 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-101 | partial data | partial data | Pass |
| description-logic-102 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-102 | partial data | partial data | Pass |
| description-logic-103 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-103 | partial data | partial data | Pass |
| description-logic-104 [APPROVED: Med L XXL] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-104 | partial data | partial data | Pass |
| description-logic-105 [APPROVED: Med L XXL] DL Test: heinsohn2.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-105 | partial data | partial data | Pass |
| description-logic-106 [APPROVED: Med L XXL] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-106 | partial data | partial data | Pass |
| description-logic-107 [APPROVED: Med L XXL] DL Test: heinsohn3.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-107 | partial data | partial data | Pass |
| description-logic-108 [APPROVED: Med L XXL] DL Test: heinsohn3.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-108 | partial data | partial data | Pass |
| description-logic-109 [APPROVED: Med L XXL] DL Test: heinsohn3c.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions and role hierarchy | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-109 | partial data | partial data | Pass |
| description-logic-110 [APPROVED: Med L XXL] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-110 | partial data | partial data | Pass |
| description-logic-111 [APPROVED: Med L XXL] DL Test: heinsohn4.2 Tbox tests from [Heinsohn et al.] Tests role restrictions | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-111 | partial data | partial data | Pass |
| description-logic-201 [PROPOSED] DL Test: k_branch ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-201 | partial data | partial data | Pass |
| description-logic-202 [PROPOSED] DL Test: k_d4 ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-202 | partial data | partial data | Pass |
| description-logic-203 [PROPOSED] DL Test: k_dum ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-203 | partial data | partial data | Pass |
| description-logic-204 [PROPOSED] DL Test: k_grz ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-204 | partial data | partial data | Pass |
| description-logic-205 [PROPOSED] DL Test: k_lin ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-205 | partial data | partial data | Pass |
| description-logic-206 [PROPOSED] DL Test: k_path ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-206 | partial data | partial data | Pass |
| description-logic-207 [PROPOSED] DL Test: k_ph ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-207 | partial data | partial data | Pass |
| description-logic-208 [PROPOSED] DL Test: k_poly ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-208 | partial data | partial data | Pass |
description-logic-501 [PROPOSED]
c genAlea with seed 1366722535
p cnf 9 45
7 -9 -8 0
1 2 -8 0
4 7 -5 0
2 3 -1 0
-1 5 8 0
-8 -6 -3 0
-3 -8 7 0
-3 6 8 0
-4 -6 8 0
6 7 3 0
3 6 -9 0
-5 -2 3 0
5 8 2 0
-2 -7 -3 0
-6 -8 -5 0
2 7 -3 0
9 -1 -2 0
1 7 -6 0
1 9 -3 0
-8 -9 -2 0
-9 -8 2 0
5 8 4 0
-7 2 5 0
-1 7 -4 0
7 -8 4 0
-3 2 -6 0
1 -2 -9 0
7 3 -2 0
-7 8 4 0
1 -7 -5 0
-5 4 -3 0
6 7 -1 0
-1 7 -9 0
3 2 6 0
8 3 -7 0
-1 9 -8 0
5 -9 -7 0
-7 3 -9 0
3 -1 -2 0
6 1 4 0
6 -7 5 0
8 -6 3 0
5 -2 6 0
8 3 -5 0
-2 -4 -9 0
| not reported | not reported | not reported |
| Syntactic Level Test for description-logic-501 | partial data | partial data | Pass |
description-logic-502 [PROPOSED]
c genAlea with seed 67700557
p cnf 9 45
1 2 -4 0
-3 6 -4 0
9 -4 5 0
4 -6 -2 0
-2 -3 1 0
-3 8 7 0
-8 -2 3 0
-7 -6 9 0
1 -4 -6 0
-8 -5 -3 0
4 3 6 0
2 -1 4 0
-3 8 2 0
6 -2 9 0
7 -9 -2 0
2 -5 -7 0
5 2 9 0
6 -2 -7 0
-9 3 -2 0
1 7 4 0
-4 1 9 0
2 1 -6 0
7 -4 9 0
-5 3 -9 0
-4 9 -8 0
4 3 9 0
-7 9 5 0
4 1 3 0
-5 8 7 0
8 -7 3 0
4 -8 6 0
4 6 -5 0
-6 1 -9 0
1 9 -6 0
9 -8 3 0
6 3 -4 0
8 -4 6 0
-3 5 -8 0
-9 4 3 0
8 -4 2 0
-5 -2 -9 0
-7 -3 -4 0
-9 -4 -8 0
6 -4 -1 0
6 -7 -8 0
| not reported | not reported | not reported |
| Syntactic Level Test for description-logic-502 | partial data | partial data | Pass |
| description-logic-503 [PROPOSED] This is a different encoding of test 501. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-503 | partial data | partial data | Pass |
| description-logic-504 [PROPOSED] This is a different encoding of test 502. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-504 | partial data | partial data | Pass |
| description-logic-601 [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. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-601 | partial data | partial data | Pass |
| description-logic-602 [APPROVED: Med L XXL] DL Test: fact2.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-602 | partial data | partial data | Pass |
| description-logic-603 [APPROVED: Med L XXL] DL Test: fact3.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-603 | partial data | partial data | Pass |
| description-logic-604 [APPROVED: Med L XXL] DL Test: fact4.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-604 | partial data | partial data | Pass |
| description-logic-605 [APPROVED: Med L XXL] DL Test: fact4.2 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-605 | partial data | partial data | Pass |
| description-logic-606 [APPROVED: Med L XXL] DL Test: t1.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-606 | partial data | partial data | Pass |
| description-logic-608 [APPROVED: Med L XXL] DL Test: t1.3 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-608 | partial data | partial data | Pass |
| description-logic-609 [APPROVED: Med L XXL] DL Test: t10.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-609 | partial data | partial data | Pass |
| description-logic-610 [APPROVED: Med L XXL] DL Test: t10.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-610 | partial data | partial data | Pass |
| description-logic-611 [APPROVED: Med L XXL] DL Test: t10.3 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-611 | partial data | partial data | Pass |
| description-logic-612 [APPROVED: Med L XXL] DL Test: t10.4 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-612 | partial data | partial data | Pass |
| description-logic-613 [APPROVED: Med L XXL] DL Test: t10.5 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-613 | partial data | partial data | Pass |
| description-logic-614 [APPROVED: Med L XXL] DL Test: t11.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-614 | partial data | partial data | Pass |
| description-logic-615 [APPROVED: Med L XXL] DL Test: t12.1 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-615 | partial data | partial data | Pass |
| description-logic-616 [APPROVED: Med L XXL] DL Test: t2.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-616 | partial data | partial data | Pass |
| description-logic-617 [APPROVED: Med L XXL] DL Test: t2.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-617 | partial data | partial data | Pass |
| description-logic-623 [APPROVED: Med L XXL] DL Test: t4.1 Dynamic blocking example | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-623 | partial data | partial data | Pass |
| description-logic-624 [APPROVED: Med L XXL] DL Test: t5.1 Non-finite model example from paper The concept should be coherent but has no finite model | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-624 | partial data | partial data | Pass |
| description-logic-625 [APPROVED: Med L XXL] DL Test: t5f.1 Non-finite model example from paper The concept should be coherent but has no finite model | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-625 | partial data | partial data | Pass |
| description-logic-626 [APPROVED: Med L XXL] DL Test: t6.1 Double blocking example. The concept should be incoherent but needs double blocking | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-626 | partial data | partial data | Pass |
| description-logic-627 [APPROVED: Med L XXL] DL Test: t6f.1 Double blocking example. The concept should be incoherent but needs double blocking | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-627 | partial data | partial data | Pass |
| description-logic-628 [APPROVED: Med L XXL] DL Test: t7.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-628 | partial data | partial data | Pass |
| description-logic-629 [APPROVED: Med L XXL] DL Test: t7.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-629 | partial data | partial data | Pass |
| description-logic-630 [APPROVED: Med L XXL] DL Test: t7.3 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-630 | partial data | partial data | Pass |
| description-logic-631 [APPROVED: Med L XXL] DL Test: t7f.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-631 | partial data | partial data | Pass |
| description-logic-632 [APPROVED: Med L XXL] DL Test: t7f.2 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-632 | partial data | partial data | Pass |
| description-logic-633 [APPROVED: Med L XXL] DL Test: t7f.3 | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-633 | partial data | partial data | Pass |
| description-logic-634 [APPROVED: Med L XXL] DL Test: t8.1 | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-634 | partial data | partial data | Pass |
| description-logic-641 [APPROVED: Med L XXL] DL Test: heinsohn1.1 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-641 | partial data | partial data | Pass |
| description-logic-642 [APPROVED: Med L XXL] DL Test: heinsohn1.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-642 | partial data | partial data | Pass |
| description-logic-643 [APPROVED: Med L XXL] DL Test: heinsohn1.3 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-643 | partial data | partial data | Pass |
| description-logic-644 [PROPOSED] DL Test: heinsohn1.4 Tbox tests from [Heinsohn et al.] Tests incoherency caused by disjoint concept | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-644 | partial data | partial data | Pass |
| description-logic-646 [PROPOSED] DL Test: heinsohn2.2 Tbox tests from [Heinsohn et al.] Tests incoherency caused by number restrictions | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-646 | partial data | partial data | Pass |
| description-logic-650 [PROPOSED] DL Test: heinsohn4.1 Tbox tests from [Heinsohn et al.] Tests role restrictions | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-650 | partial data | partial data | Pass |
| description-logic-661 [PROPOSED] DL Test: k_branch ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-661 | partial data | partial data | Pass |
| description-logic-662 [PROPOSED] DL Test: k_d4 ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-662 | partial data | partial data | Pass |
| description-logic-663 [PROPOSED] DL Test: k_dum ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-663 | partial data | partial data | Pass |
| description-logic-664 [PROPOSED] DL Test: k_grz ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-664 | partial data | partial data | Pass |
| description-logic-665 [PROPOSED] DL Test: k_lin ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-665 | partial data | partial data | Pass |
| description-logic-666 [PROPOSED] DL Test: k_path ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-666 | partial data | partial data | Pass |
| description-logic-667 [PROPOSED] DL Test: k_ph ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-667 | partial data | partial data | Pass |
| description-logic-668 [PROPOSED] DL Test: k_poly ABox test from DL98 systems comparison. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-668 | partial data | partial data | Pass |
| description-logic-901 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 2, 3 and 5. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-901 | partial data | partial data | Pass |
| description-logic-902 [APPROVED: Med L XXL] This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 2, 3 and 6. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for description-logic-902 | partial data | partial data | Pass |
| description-logic-903 [APPROVED: Med L XXL] This entailment can be replicated for any three natural numbers i, j, k such that i+j >= k. In this example, they are chosen as 200, 300 and 500. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-903 | partial data | partial data | Pass |
| description-logic-904 [APPROVED: Med L XXL] This non-entailment can be replicated for any three natural numbers i, j, k such that i+j < k. In this example, they are chosen as 200, 300 and 600. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-904 | partial data | partial data | Pass |
| description-logic-905 [PROPOSED]
This test shows integer multiplication in OWL DL. N is 2. M is 3. N times M is 6. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-905 | partial data | partial data | Pass |
| description-logic-906 [PROPOSED]
This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is 600. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-906 | partial data | partial data | Pass |
| description-logic-907 [PROPOSED]
This test shows integer multiplication in OWL DL. N is 200. M is 300. N times M is 600. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-907 | partial data | partial data | Pass |
| description-logic-908 [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. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-908 | partial data | partial data | Pass |
| description-logic-909 [PROPOSED]
This test shows integer multiplication in OWL DL. For some finite K, N times K is 2 times K. M times K is 3 times K. N times M times K is not 5 times K. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-909 | partial data | partial data | Pass |
| description-logic-910 [PROPOSED]
This test shows integer multiplication in OWL DL. N is 20. M is 30. N times M is not 601. | not reported | not reported | not reported |
| Syntactic Level Test for description-logic-910 | partial data | partial data | Pass |
differentFrom-001 [APPROVED: Med L XXL]
differentFrom is a SymmetricProperty.
| Pass | Pass | not reported |
| Syntactic Level Test for differentFrom-001 | partial data | partial data | Pass |
differentFrom-002 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | Incomplete | Incomplete | not reported |
| Syntactic Level Test for differentFrom-002 | partial data | partial data | Pass |
| disjointWith-001 [APPROVED: Med L XXL] Disjoint classes have different members. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for disjointWith-001 | partial data | partial data | Pass |
| disjointWith-002 [APPROVED: Med L XXL] Disjoint classes have different members. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for disjointWith-002 | partial data | partial data | Pass |
| disjointWith-003 [PROPOSED] If the owl:disjointWith edges in the graph form an undirected complete subgraph then this may be within OWL DL. | not reported | not reported | not reported |
| Syntactic Level Test for disjointWith-003 | partial data | partial data | Pass |
| disjointWith-004 [PROPOSED] This example has owl:disjointWith edges in the graph which cannot be generated by the mapping rules for DisjointClasses. Consider the lack of owl:disjointWith edge between nodes C and D. | not reported | not reported | not reported |
| Syntactic Level Test for disjointWith-004 | partial data | partial data | Pass |
| disjointWith-005 [PROPOSED] If the owl:disjointWith edges in the graph form unconnected undirected complete subgraphs then this may be within OWL DL. | not reported | not reported | not reported |
| Syntactic Level Test for disjointWith-005 | partial data | partial data | Pass |
| disjointWith-006 [PROPOSED] If the owl:disjointWith edges in the graph form undirected complete subgraphs which share blank nodes then this is not within OWL DL. | not reported | not reported | not reported |
| Syntactic Level Test for disjointWith-006 | partial data | partial data | Pass |
| disjointWith-007 [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. | not reported | not reported | not reported |
| Syntactic Level Test for disjointWith-007 | partial data | partial data | Pass |
| disjointWith-008 [PROPOSED] A further example that cannot be generated from the mapping rule for DisjointClasses. | not reported | not reported | not reported |
| Syntactic Level Test for disjointWith-008 | partial data | partial data | Pass |
| disjointWith-009 [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. | not reported | not reported | not reported |
| Syntactic Level Test for disjointWith-009 | partial data | partial data | Pass |
distinctMembers-001 [APPROVED: Med L XXL]
using distinctMembers to derive differentFrom | Incomplete | Incomplete | not reported |
| Syntactic Level Test for distinctMembers-001 | partial data | partial data | Pass |
| equivalentClass-001 [APPROVED: Med L XXL] Two classes may have the same class extension. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for equivalentClass-001 | partial data | partial data | Pass |
| equivalentClass-002 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | Incomplete | Incomplete | not reported |
| Syntactic Level Test for equivalentClass-002 | partial data | partial data | Pass |
| equivalentClass-003 [APPROVED: Med L XXL] Two classes may be different names for the same set of individuals | Pass | Pass | not reported |
| Syntactic Level Test for equivalentClass-003 | partial data | partial data | Pass |
| equivalentClass-004 [APPROVED: Med L XXL] Two classes with the same complete description are equivalent. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for equivalentClass-004 | partial data | partial data | Pass |
| equivalentClass-005 [APPROVED: Med L XXL] Two classes with the same partial description are not equivalent. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for equivalentClass-005 | partial data | partial data | Pass |
| equivalentClass-006 [APPROVED: Med L XXL] De Morgan's law. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for equivalentClass-006 | partial data | partial data | Pass |
| equivalentClass-007 [PROPOSED] De Morgan's law. | not reported | not reported | not reported |
| Syntactic Level Test for equivalentClass-007 | partial data | partial data | Pass |
| equivalentClass-008 [PROPOSED] Annotation properties refer to a class instance. equivalentClass refers to the class extension. | not reported | not reported | not reported |
| Syntactic Level Test for equivalentClass-008 | partial data | partial data | Pass |
| equivalentClass-009 [PROPOSED] A possible mapping of the EquivalentClasses axiom, which is connected but without a Hamiltonian path. | not reported | not reported | not reported |
| Syntactic Level Test for equivalentClass-009 | partial data | partial data | Pass |
equivalentProperty-001 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead. | Pass | Pass | not reported |
| Syntactic Level Test for equivalentProperty-001 | partial data | partial data | Pass |
equivalentProperty-002 [APPROVED: Med L XXL]
A reasoner can also deduce that hasLeader is a subProperty of hasHead and hasHead is a subProperty of hasLeader. | Pass | Pass | not reported |
| Syntactic Level Test for equivalentProperty-002 | partial data | partial data | Pass |
| equivalentProperty-003 [APPROVED: Med L XXL] The inverse entailment of test 002 also holds. | Pass | Pass | not reported |
| Syntactic Level Test for equivalentProperty-003 | partial data | partial data | Pass |
equivalentProperty-004 [APPROVED: Med L XXL]
If p and q have the same property extension then p equivalentProperty q. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for equivalentProperty-004 | partial data | partial data | Pass |
equivalentProperty-005 [APPROVED: Med L XXL]
If p and q have the same property extension then p owl:equivalentProperty q. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for equivalentProperty-005 | partial data | partial data | Pass |
equivalentProperty-006 [APPROVED: Med L XXL]
hasLeader may be stated to be the owl:equivalentProperty of hasHead. | Pass | Pass | not reported |
| Syntactic Level Test for equivalentProperty-006 | partial data | partial data | Pass |
| extra-credit-002 [PROPOSED] This test shows a relationship between integer multiplication and OWL Full. | not reported | not reported | not reported |
| Syntactic Level Test for extra-credit-002 | partial data | partial data | Pass |
| extra-credit-003 [PROPOSED] Prime factorization can be expressed in OWL Full. | not reported | not reported | not reported |
| Syntactic Level Test for extra-credit-003 | partial data | partial data | Pass |
| extra-credit-004 [PROPOSED] A more difficult prime factorization example. | not reported | not reported | not reported |
| Syntactic Level Test for extra-credit-004 | partial data | partial data | Pass |
| imports-001 [APPROVED: Med L XXL] If a document imports another document, then it entails anything that is entailed by the conjunction of the two documents. | not reported | not reported | not reported |
| Syntactic Level Test for imports-001 | partial data | partial data | Pass |
| imports-002 [APPROVED: Med L XXL] If a premise document uses a namespace but does not import the document corresponding to the namespace, then the premises do not necessarily entail anything that is entailed by the conjunction of the two documents. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for imports-002 | partial data | partial data | Pass |
| imports-003 [APPROVED: Med L XXL] If a document imports a document which in turn imports a third document, then it entails anything which is entailed by the conjunction of the statements from the three documents. That is, imports is transitive. | not reported | not reported | not reported |
| Syntactic Level Test for imports-003 | partial data | partial data | Pass |
| imports-010 [PROPOSED] This test specifies the domain and range for owl:imports. | not reported | not reported | not reported |
| Syntactic Level Test for imports-010 | partial data | partial data | Pass |
intersectionOf-001 [APPROVED: Med L XXL]
The order of the classes in an intersectionOf
construct is unimportant. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for intersectionOf-001 | partial data | partial data | Pass |
inverseOf-001 [APPROVED: Med L XXL]
If the pair (x,y) is an instance of P, than the pair (y,x) is
an instance of the named property. | Pass | Pass | not reported |
| Syntactic Level Test for inverseOf-001 | partial data | partial data | Pass |
| maxCardinality-001 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. | Pass | Pass | not reported |
| Syntactic Level Test for maxCardinality-001 | partial data | partial data | Pass |
| maxCardinality-002 [APPROVED: Med L XXL] A property with maximum cardinality of two cannot take three distinct values on some subject node. In this example, one of the three values is implicit. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for maxCardinality-002 | partial data | partial data | Pass |
| miscellaneous-001 [APPROVED: Med L XXL] Wine example taken from the guide. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-001 | partial data | partial data | Pass |
| miscellaneous-002 [APPROVED: Med L XXL] Food example taken from the guide. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-002 | partial data | partial data | Pass |
| miscellaneous-102 [PROPOSED] Abstract syntax restrictions with multiple components are in OWL DL. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-102 | partial data | partial data | Pass |
| miscellaneous-103 [PROPOSED] This description cannot be expressed as a multicomponent restriction in the abstract syntax. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-103 | partial data | partial data | Pass |
| miscellaneous-201 [PROPOSED] This test shows how user labels in a variety of languages can be used. Note the use of ruby annotation. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-201 | partial data | partial data | Pass |
| miscellaneous-202 [PROPOSED] This shows that insignificant whitespace in an rdf:XMLLiteral is not significant within OWL. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-202 | partial data | partial data | Pass |
| miscellaneous-203 [PROPOSED] This shows that initial whitespace in an rdf:XMLLiteral is significant within OWL. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-203 | partial data | partial data | Pass |
miscellaneous-205 [PROPOSED]
This shows that an OWL consistency checker which does not
support the datatype
rdf:XMLLiteral
should
not detect inconsistencies depending on it.
This file is inconsistent with a datatype theory which supports rdf:XMLLiteral,
but consistent in this test, which excludes such support. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-205 | partial data | partial data | Pass |
| miscellaneous-301 [PROPOSED] Annotations participate a little in the semantics. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-301 | partial data | partial data | Pass |
| miscellaneous-302 [PROPOSED] Annotations participate a little in the semantics. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-302 | partial data | partial data | Pass |
miscellaneous-303 [PROPOSED]
dc:creator may be declared as an annotation property. | not reported | not reported | not reported |
| Syntactic Level Test for miscellaneous-303 | partial data | partial data | Pass |
oneOf-001 [APPROVED: Med L XXL]
oneOf does not indicate that the named
individuals are distinct. Thus a consistent interpretation
of this file is when all the individual names denote the
same individual. | not reported | not reported | not reported |
| Syntactic Level Test for oneOf-001 | partial data | partial data | Pass |
oneOf-002 [APPROVED: Med L XXL]
oneOf describes a class by enumerating its individuals.
| Incomplete | Pass | not reported |
| Syntactic Level Test for oneOf-002 | partial data | partial data | Pass |
oneOf-003 [APPROVED: Med L XXL]
The order of the instances in an owl:oneOf
construct is unimportant. | Pass | Pass | not reported |
| Syntactic Level Test for oneOf-003 | partial data | partial data | Pass |
| oneOf-004 [PROPOSED] This test illustrates the use of dataRange in OWL DL. This test combines some of the ugliest features of XML, RDF and OWL. | not reported | not reported | not reported |
| Syntactic Level Test for oneOf-004 | partial data | partial data | Pass |
| sameAs-001 [PROPOSED] Annotation properties refer to a class instance. sameAs, in OWL Full, also refers to the class instance. | not reported | not reported | not reported |
| Syntactic Level Test for sameAs-001 | partial data | partial data | Pass |
| someValuesFrom-001 [PROPOSED] A simple example. | not reported | not reported | not reported |
| Syntactic Level Test for someValuesFrom-001 | partial data | partial data | Pass |
someValuesFrom-002 [APPROVED: Med L XXL]
A simple example showing how owl:someValuesFrom differs from owl:allValuesFrom. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for someValuesFrom-002 | partial data | partial data | Pass |
| unionOf-001 [APPROVED: Med L XXL] A union is a superclass of its parts. | Pass | Pass | not reported |
| Syntactic Level Test for unionOf-001 | partial data | partial data | Pass |
| unionOf-002 [APPROVED: Med L XXL] A union behaves quite like set theoretic union. | Incomplete | Incomplete | not reported |
| Syntactic Level Test for unionOf-002 | partial data | partial data | Pass |
| unionOf-003 [PROPOSED] Sets with appropriate extensions are related by unionOf. | not reported | not reported | not reported |
| Syntactic Level Test for unionOf-003 | partial data | partial data | Pass |
| unionOf-004 [PROPOSED] An inverse to test 003. | not reported | not reported | not reported |
| Syntactic Level Test for unionOf-004 | partial data | partial data | Pass |
This is a placeholder, really, to illustrate that the page can display multiple systems. Since the system is identified with a BNode, multiple inclusions of http://www.w3.org/2003/08/surnia/test-results/00010/results.rdf result in multiple columns.
Surnia is an OWL Full reasoner using Python (including rdflib) for language translation, OTTER for inference, and custom axioms. Project homepage is http://www.w3.org/2003/08/surnia.
OWLP is currently a parser for the OWL DL language as written in RDF/XML. It works by 1/ processing an RDF/XML document into an XQuery 1.0 path datamodel; 2/ translating this datamodel into an RDF graph, using the current editor's draft of the RDF Syntax document; 3/ processing imports triples, adding the result to the RDF graph; 4/ translating the final RDF graph into an OWL DL abstract ontology, using an inverse of the translation in the OWL Semantics and Abstract Syntax document. An RDF/XML document is an OWL DL document if and only if this process succeeds.
There's not much real data here yet. If you have some, see if it works here, then send sandro@w3.org a pointer, cc public-webont-comments@w3.org.
This is generated from RDF by some python code.
Generated Thu, 04 Sep 2003 20:33:04 +0000
$Id: test-results-out2.html,v 1.1 2003/09/04 20:35:00 sandro Exp $
sandro@w3.org