owlapy.model.OWLNaryClassAxiom

class owlapy.model.OWLNaryClassAxiom(class_expressions: List[owlapy.model.OWLClassExpression], annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)

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

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