owlapy.model.OWLClassAssertionAxiom¶

class owlapy.model.OWLClassAssertionAxiom(individual: owlapy.model.OWLIndividual, class_expression: owlapy.model.OWLClassExpression, annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)[source]¶

Bases: owlapy.model.OWLIndividualAxiom

Represents ClassAssertion axioms in the OWL 2 Specification.

Get a ClassAssertion axiom for the specified individual and class expression :param individual: the individual :param class_expression: the class the individual belongs to :param annotations: annotations

Methods

`annotations`
`get_class_expression`
`get_individual`
`is_annotated`
`is_annotation_axiom`
`is_anonymous`
`is_logical_axiom`

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

get_class_expression() → owlapy.model.OWLClassExpression [source]¶

get_individual() → owlapy.model.OWLIndividual [source]¶

is_annotated() → bool¶

is_annotation_axiom() → bool¶

is_anonymous() → bool¶

is_logical_axiom() → bool¶