owlapy.model.OWLDisjointUnionAxiom

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

Bases: owlapy.model.OWLClassAxiom

Represents a DisjointUnion axiom in the OWL 2 Specification.

Methods

annotations

get_class_expressions

get_owl_class

get_owl_disjoint_classes_axiom

get_owl_equivalent_classes_axiom

is_annotated

is_annotation_axiom

is_anonymous

is_logical_axiom

annotations() → Optional[List[owlapy.model.OWLAnnotation]]
get_class_expressions() → Iterable[owlapy.model.OWLClassExpression][source]
get_owl_class() → owlapy.model.OWLClass[source]
get_owl_disjoint_classes_axiom() → owlapy.model.OWLDisjointClassesAxiom[source]
get_owl_equivalent_classes_axiom() → owlapy.model.OWLEquivalentClassesAxiom[source]
is_annotated() → bool
is_annotation_axiom() → bool
is_anonymous() → bool
is_logical_axiom() → bool