XML DTD | XML Schema | RDF(S) | DAML+OIL | RDF(S) 2002 | OWL | |
---|---|---|---|---|---|---|
bounded lists | X | X | X | |||
cardinality constraints | X | X | X | X | ||
class expressions | X | X | ||||
data types | X | X | ? | X | ||
defined classes | X | X | ||||
enumerations | X | X | X | X | ||
equivalence | X | X | ||||
extensibility | X | X | X | X | ||
formal semantics | X | X | X | |||
inheritance | X | X | X | X | ||
inference | X | X | ||||
local restrictions | X | X | ||||
qualified constraints | X | |||||
reification | X | X | X | X |
Discussion
rdf:Seq
and rdf:Bag
don't provide any indication that the list is complete
(e.g. "these are 5 children of X" vs. "X is known to have exactly these 5 children")
nil
representing the end of the list
rdf:parseType="daml:collection"
provides a shorthand and RDF syntax compatibility
?
(0 or 1), *
(0+), and +
(1+) in XML DTD provide basic cardinality constraints
cardinality
,
minCardinality
,
and
maxCardinality
unionOf
,
disjointUnionOf
,
intersectionOf
,
or
complementOf
oneOf
equivalentTo
for classes, properties, and instances
subClassOf
and
subPropertyOf
TransitiveProperty
,
UnambiguousProperty
,
inverseOf
,
and
disjointWith
provide additional information for reasoning engines
domain
and range
constraints with a Property
Restriction
s to be associated with
a Class/Property pair, e.g. allowing the color
property
to be used for the Car
and
Eye
classes with different domains
hasClassQ
,
cardinalityQ
,
minCardinalityQ
,
and
maxCardinalityQ
allow qualified restrictions such as
"at most 3 of the children of X are of type Doctor"