IrreflexiveObjectProperty
- class IrreflexiveObjectProperty(object_property_expression, *, annotations=None)[source]
Bases:
_UnaryObjectPropertyAn object property axiom defined in 9.2.10 “Reflexive Object Properties”.
Initialize a unary object property axiom.
Attributes Summary
Attributes Documentation
- Parameters:
object_property_expression (ObjectPropertyExpression)
annotations (list[Annotation])