owlapy.model.OWLEquivalentClassesAxiom

class owlapy.model.OWLEquivalentClassesAxiom(cls_a: owlapy.model.OWLClassExpression, cls_b: owlapy.model.OWLClassExpression, annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)[source]

Bases: owlapy.model.OWLClassAxiom, owlapy.model.OWLNaryAxiom[owlapy.model.OWLClassExpression]

Represents an EquivalentClasses axiom in the OWL 2 Specification.

Get an equivalent classes axiom with specified operands

Parameters:

  • cls_a – one class for equivalence

  • cls_b – one class for equivalence

  • annotations – annotations

Methods

annotations

as_pairwise_axioms

class_expressions

Gets all of the top level class expressions that appear in this axiom.

is_annotated

is_annotation_axiom

is_anonymous

is_logical_axiom

annotations() → Optional[List[owlapy.model.OWLAnnotation]]
as_pairwise_axioms() → Iterable[owlapy.model.OWLNaryClassAxiom]
class_expressions() → Iterable[owlapy.model.OWLClassExpression]

Gets all of the top level class expressions that appear in this axiom.

Returns:

Sorted stream of class expressions that appear in the axiom.

is_annotated() → bool
is_annotation_axiom() → bool
is_anonymous() → bool
is_logical_axiom() → bool