Module owl

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.