owlapy.model.OWLNaryAxiom¶

class owlapy.model.OWLNaryAxiom(annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)[source]¶

Bases: Generic[owlapy.model._C], owlapy.model.OWLAxiom

Represents an axiom that contains two or more operands that could also be represented with multiple pairwise axioms.

Parameters:: _C – class of contained objects

Methods

`annotations`
`as_pairwise_axioms`
`is_annotated`
`is_annotation_axiom`
`is_anonymous`
`is_logical_axiom`

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

abstract as_pairwise_axioms() → Iterable[owlapy.model.OWLNaryAxiom[_C]][source]¶

is_annotated() → bool¶

is_annotation_axiom() → bool¶

is_anonymous() → bool¶

is_logical_axiom() → bool¶