ObjectPropertyDomain
- class ObjectPropertyDomain(left: ObjectPropertyExpression | URIRef | Reference | Referenced | str | IdentifierBox, right: ClassExpression | URIRef | Reference | Referenced | str | IdentifierBox, *, annotations: list[Annotation] | None = None)[source]
Bases:
_ObjectPropertyTypingAn object property axiom defined in 9.2.5 “Object Property Domain”.
Consider the ontology consisting of the following axioms.
>>> ObjectPropertyDomain("a:hasDog", "a:Person") # Only people can own dogs. >>> ObjectPropertyAssertion("a:hasDog", "a:Peter", "a:Brian") # Brian is a dog of Peter.
This ontology therefore entails:
>>> ClassAssertion("a:Person", "a:Peter") # Peter is a person
Initialize a object property domain or range.
Attributes Summary
Attributes Documentation