`owl:Restriction`

.`owl:FunctionalProperty`

then an OWL individual has at most one value for prop.`owl:oneOf`

construct is unimportant.`owl:sameAs`

is stronger than `owl:equivalentClass`

.`differentFrom`

is a `SymmetricProperty`

.
`owl:intersectionOf`

.EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p )This is trivially true given that first:p is an

`individualvaluedPropertyID`

.`owl:cardinality`

constraint is simply shorthand for a pair of `owl:minCardinality`

and `owl:maxCardinality`

constraints.`xsd:byte`

are `xsd:short`

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

`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`

.`oneOf`

describes a class by enumerating its individuals.
`owl:backwardCompatibleWith`

must both be explicitly typed as `owl:Ontology`

.EquivalentClasses( restriction( first:p, minCardinality(1) ) ) ObjectProperty( first:p )This is trivially true given that first:p is an

`individualvaluedPropertyID`

.`sameAs`

and `sameIndividualAs`

are equivalent.`dc:creator`

may be declared as an annotation property.`owl:intersectionOf`

.`hasLeader`

is a `subProperty`

of `hasHead`

and `hasHead`

is a `subProperty`

of `hasLeader`

.`owl:someValuesFrom`

.`owl:cardinality`

constraint is simply shorthand for a pair of `owl:minCardinality`

and `owl:maxCardinality`

constraints.`xsd:byte`

that are also `xsd:unsignedInt`

.`hasLeader`

may be stated to be the `owl:equivalentProperty`

of `hasHead`

.`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`

.N is 200. M is 300. N times M is 60000.

`prop`

is an `owl:FunctionalProperty`

,
then its inverse is an `owl:InverseFunctionalProperty`

.`oneOf`

`owl:Ontology`

triples in the premises.`sameAs`

and `sameIndividualAs`

are equivalent.`xsd:byte`

that are also `xsd:unsignedInt`

; but this does not
follow from the datatype theory
of this test. (cf. the similar inconsistency test).`owl:samePropertyAs`

is not an OWL property.`AllDistinct`

is a subclass of `rdf:List`

`hasLeader`

may be stated to be the `samePropertyAs`

`hasHead`

.`(x,y)`

is an instance of `P`

, than the pair `(y,x)`

is
an instance of the named property.`owl:cardinality`

constraint is simply shorthand for a pair of `owl:minCardinality`

and `owl:maxCardinality`

constraints.`xsd:byte`

that are also `xsd:unsignedInt`

.`p`

and `q`

have the same property extension then `p`

`owl:equivalentProperty`

`q`

.`prop`

is an `owl:InverseFunctionalProperty`

,
then its inverse is an `owl:FunctionalProperty`

.`distinctMembers`

to derive `differentFrom`

N is 20. M is 30. N times M is 600.

`prop`

belongs to `owl:FunctionalProperty`

,
and `subject`

denotes a resource
which is the subject of two `prop`

triples, then the `object`

s
of these triples have the same denotation.Hence any assertion made
using one of them can be transferred to the other.`owl:Ontology`

triple only in the conclusions.`xsd:integer`

and `xsd:string`

are a `rdfs:Datatype`

`owl:sameClassAs`

is not an OWL property.`AllDistinct`

to derive `differentFrom`

`owl:disjointWith`

loop is not in OWL DL.
Classes that are disjoint with themselves are necessarily empty.`owl:cardinality`

constraint is simply shorthand for a pair of `owl:minCardinality`

and `owl:maxCardinality`

constraints.`xsd:byte`

that are also `xsd:unsignedInt`

.`p`

and `q`

have the same property extension then `p`

`equivalentProperty`

`q`

.`prop`

belongs to `owl:InverseFunctionalProperty`

,
and `object`

denotes a resource
which is the object of two `prop`

triples, then the `subject`

s
of these triples have the same denotation. Hence any assertion made
using one of them can be transferred to the other.`owl:Class`

has the same class extension as `owl:Nothing`

.`rdfs:Class`

instead of `owl:Class`

may make a file fall outside OWL DL.`owl:TransitiveProperty`

.N is 2. M is 3. N times M is 6.

`rdf:XMLLiteral`

,
but consistent in this test, which excludes such support.`prop`

belongs to `owl:FunctionalProperty`

,
and `subject`

denotes a resource
which is the subject of two `prop`

triples, then the `object`

s
of these triples have the same denotation.`owl:Ontology`

triple only in the conclusions.`xsd:nonNegativeInteger`

which is
also an `xsd:nonPositiveInteger`

.`owl:sameIndividualAs`

is not an OWL property.`owl:Nothing`

can be defined using OWL Lite restrictions.`owl:cardinality`

constraint is simply shorthand for a pair of `owl:minCardinality`

and `owl:maxCardinality`

constraints.`hasLeader`

may be stated to be the `samePropertyAs`

`hasHead`

.`xsd:byte`

.`intersectionOf`

construct is unimportant.`prop`

belongs to `owl:InverseFunctionalProperty`

,
and `object`

denotes a resource
which is the object of two `prop`

triples, then the `subject`

s
of these triples have the same denotation.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

`xsd:nonNegativeInteger`

which is
also an `xsd:nonPositiveInteger`

. 0 is an
`xsd:short`

.`owl:Nothing`

, however
that is the empty class.`owl:Class`

.`rdf:XMLLiteral`

,
and consistent otherwise.`complementOf`

is a `SymmetricProperty`

.
`owl:Ontology`

triples in the premises and conclusions.`owl:someValuesFrom`

differs from `owl:allValuesFrom`

.`owl:equivalentClass`

is not related to annotations on classes.`owl:Nothing`

can be defined using OWL Lite restrictions.`p`

and `q`

have the same property extension then they `p`

`samePropertyAs`

`q`

.`xsd:byte`

.`hasLeader`

is a `subProperty`

of `hasHead`

and `hasHead`

is a `subProperty`

of `hasLeader`

.`owl:imports`

triple, that URL may be without an explicit type.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

`owl:cardinality`

constraint is simply shorthand for a pair of `owl:minCardinality`

and `owl:maxCardinality`

constraints.`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`

`owl:SymmetricProperty`

.`UnambiguousProperty`

is not defined in the OWL namespace. `daml:UnambiguousProperty`

corresponds to `owl:InverseFunctionalProperty`

.`owl:Restriction`

do not replace the obligatory ones.`owl:sameAs`

is stronger than `owl:equivalentClass`

.`distinctMembers`

to derive `differentFrom`

N is 20. M is 30. N times M is not 601.

`daml:disjointUnionOf`

did not make it into OWL.`p`

and `q`

have the same property extension then they `p`

`samePropertyAs`

`q`

.`hasLeader`

may be stated to be the `owl:equivalentProperty`

of `hasHead`

.`UniqueProperty`

is not defined in the OWL namespace.
`daml:UniqueProperty`

corresponds to `owl:FunctionalProperty`

.`owl:cardinality`

constraint is simply shorthand for a pair of `owl:minCardinality`

and `owl:maxCardinality`

constraints.`xsd:short`

that is not an
`xsd:unsignedByte`

.`oneOfDistinct`

to derive `differentFrom`

`AllDifferent`

to derive `differentFrom`

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.