Module owl

Source
Expand description

The standard owl: namespace

Staticsยง

AllDifferent
Generated term.
AllDisjointClasses
Generated term.
AnnotationProperty
Generated term.
Class
Generated term.
DatatypeProperty
Generated term.
FunctionalProperty
Generated term.
InverseFunctionalProperty
Generated term.
IrreflexiveProperty
Generated term.
Nothing
Generated term.
ObjectProperty
Generated term.
PREFIX
Prefix used in this namespace.
SymmetricProperty
Generated term.
Thing
Generated term.
TransitiveProperty
Generated term.
allValuesFrom
Generated term.
assertionProperty
Generated term.
complementOf
Generated term.
differentFrom
Generated term.
disjointWith
Generated term.
distinctMembers
Generated term.
equivalentClass
Generated term.
equivalentProperty
Generated term.
intersectionOf
Generated term.
inverseOf
Generated term.
maxCardinality
Generated term.
maxQualifiedCardinality
Generated term.
members
Generated term.
onClass
Generated term.
onProperty
Generated term.
oneOf
Generated term.
propertyChainAxiom
Generated term.
propertyDisjointWith
Generated term.
sameAs
Generated term.
someValuesFrom
Generated term.
sourceIndividual
Generated term.
targetIndividual
Generated term.
targetValue
Generated term.
unionOf
Generated term.