I'm trying to program a small application to check if an ontology is coherent (I'm not seeking for the inconsistency). using java and owl files.

there is a difference between inconsistency and incoherent :

An ontology is inconsistent if it has not a model.

An ontology is incoherent if TBox (axioms) has at least a concept unsatisfiable (a concept is interpreted as an empty set in all models of the TBox).

Similar questions and discussions