Module owl

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.