[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-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]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.