Knowledge Systems Laboratory, Stanford
University
3
DAML+OIL
Properties
equivalentTo
sameClassAs
samePropertyAs
disjointWith
unionOf
disjointUnionOf
intersectionOf
complementOf
oneOf
onProperty
toClass
hasValue
hasClass
minCardinality
maxCardinality
cardinality
hasClassQ
minCardinalityQ
maxCardinalityQ
cardinalityQ
inverseOf
first
rest
item
versionInfo
imports
(26 properties)