owlapy.model.OWLSubDataPropertyOfAxiom¶

class owlapy.model.OWLSubDataPropertyOfAxiom(sub_property: owlapy.model.OWLDataPropertyExpression, super_property: owlapy.model.OWLDataPropertyExpression, annotations: Optional[Iterable[owlapy.model.OWLAnnotation]] = None)[source]¶

Bases: owlapy.model.OWLSubPropertyAxiom[owlapy.model.OWLDataPropertyExpression], owlapy.model.OWLDataPropertyAxiom

Represents a SubDataPropertyOf axiom in the OWL 2 specification

Methods

`annotations`
`get_sub_property`
`get_super_property`
`is_annotated`
`is_annotation_axiom`
`is_anonymous`
`is_logical_axiom`

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

get_sub_property() → _P ¶

get_super_property() → _P ¶

is_annotated() → bool¶

is_annotation_axiom() → bool¶

is_anonymous() → bool¶

is_logical_axiom() → bool¶