owlapy.model.OWLSubClassOfAxiom¶

class owlapy.model.OWLSubClassOfAxiom(sub_class: owlapy.model.OWLClassExpression, super_class: owlapy.model.OWLClassExpression, annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)[source]¶

Bases: owlapy.model.OWLClassAxiom

Represents an SubClassOf axiom in the OWL 2 Specification.

Get an equivalent classes axiom with specified operands and no annotations

Parameters:

sub_class – the sub class
super_class – the super class
annotations – annotations

Methods

`annotations`
`get_sub_class`
`get_super_class`
`is_annotated`
`is_annotation_axiom`
`is_anonymous`
`is_logical_axiom`

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

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

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

is_annotated() → bool¶

is_annotation_axiom() → bool¶

is_anonymous() → bool¶

is_logical_axiom() → bool¶