owlapy.model.OWLDisjointClassesAxiom

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

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

Represents a DisjointClasses axiom in the OWL 2 Specification.

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