pyhornedowl.reasoning.PyReasoner

class pyhornedowl.reasoning.PyReasoner

flush(self) → None

Flushes pending changes to the reasoner. This invalidates any cached results and updates the reasoner with the current state of the ontology.

get_disjoint_classes(self, cmp: ClassExpression) → Set[Class]

Returns the set of classes asserted or inferred to be disjoint with the given class expression.

get_equivalent_classes(self, cmp: ClassExpression) → Set[Class]

Returns the set of classes asserted or inferred to be equivalent to given the class expression.

get_name(self) → str

Returns the name of the reasoner.

get_subclasses(self, cmp: ClassExpression) → Set[Class]

Returns the set of asserted and inferred subclasses for the given class expression.

get_superclasses(self, cmp: ClassExpression) → Set[Class]

Returns the set of asserted and inferred superclasses for the given class expression.

get_unsatisfiable_classes(self) → Set[Class]

Returns the set of unsatisfiable classes.

get_version(self) → str

Returns the version of the reasoner.

inferred_axioms(self) → Set[Component]

Returns a set of inferred axioms from the reasoner.

is_consistent(self) → bool

Checks if the ontology is consistent.

is_entailed(self, cmp: Component) → bool

Checks if the ontology entails the given component.

is_satifisable(self, cmp: ClassExpression) → bool

Checks if the given class expression is satisfiable.