Check if an Ontology is consistant

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|

Check if an Ontology is consistant

rami_dhouib
Does anyone know if there is a way to check if an Ontology is consistant in owlready , like Hermit and Konclude?
Greetings.
Reply | Threaded
Open this post in threaded view
|

Re: Check if an Ontology is consistant

Jiba
Administrator
Hi,

You can run the reasoner with sync_reasoner(). It will raise an Error in case of inconsistency.

Jiba