ObjectPropertyDomain

class ObjectPropertyDomain(left, right, *, annotations=None)

Bases: _ObjectPropertyTyping

An 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

property_type

Attributes Documentation

Parameters:

• left (ObjectPropertyExpression | IdentifierBoxOrHint)

• right (ClassExpression | IdentifierBoxOrHint)

• annotations (list[Annotation])

property_type: ClassVar[URIRef] = rdflib.term.URIRef('http://www.w3.org/2000/01/rdf-schema#domain')