Consistency checking

[Demirrr]

Dear all,

thank you for DeepOnto.

I was wondering whether there is an example code for consistency checking, e.g.

from deeponto.onto import Ontology
onto = Ontology("path_to_ontology.owl", "hermit")
assert onto.consistent()

[Lawhy]

Hi @Demirrr, for checking the consistency of an ontology, you can use onto.reasoner.owl_reasoner.isConsistent() for now. owl_reasoner is an instance of OWLReasoner in the OWLAPI.

But I will make a check_consistency() method to encapsulate this feature latter.

[Demirrr]

Cheers!

[Lawhy]

Add feature at 4940b23.