owlapy.model.OWLInverseObjectPropertiesAxiom¶

class owlapy.model.OWLInverseObjectPropertiesAxiom(first: owlapy.model.OWLObjectPropertyExpression, second: owlapy.model.OWLObjectPropertyExpression, annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)[source]¶

Bases: owlapy.model.OWLNaryPropertyAxiom[owlapy.model.OWLObjectPropertyExpression], owlapy.model.OWLObjectPropertyAxiom

Represents InverseObjectProperties axioms in the OWL 2 Specification.

Methods

`annotations`
`as_pairwise_axioms`
`get_first_property`
`get_second_property`
`is_annotated`
`is_annotation_axiom`
`is_anonymous`
`is_logical_axiom`
`properties`

annotations() → Optional[List[owlapy.model.OWLAnnotation]]¶

as_pairwise_axioms() → Iterable[owlapy.model.OWLNaryPropertyAxiom]¶

get_first_property() → owlapy.model.OWLObjectPropertyExpression [source]¶

get_second_property() → owlapy.model.OWLObjectPropertyExpression [source]¶

is_annotated() → bool¶

is_annotation_axiom() → bool¶

is_anonymous() → bool¶

is_logical_axiom() → bool¶

properties() → Iterable[_P]¶