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
.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
.prop
is an owl:FunctionalProperty
,
then its inverse is an owl:InverseFunctionalProperty
.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.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
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
.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
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