Explanation for consistency check failure?

[fcb...@gmail.com]

Hi,

is it possible to coerce HermiT to explain why it found a particular ontology inconsistent?

Thanks,

Fabricio

[Ernesto Jimenez-Ruiz]

Dear Fabricio

As far as I know Protege 4 implements this functionality. There is little a reasoner can tell if an ontology is inconsistent. The functionality implemented in Protege 4 gives you some hints of the source of the inconsistentcy.

For the cases in which the inconsistency is due to unsatisfiable classes, you could also remove the Abox and check if the TBox contains unsatisfiable classes.

Best regards

Ernesto

--
You received this message because you are subscribed to the Google Groups "HermiT Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to hermit-users...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

--

Ernesto Jiménez-Ruiz
Research Assistant
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road, Oxford OX1 3QD, UK

http://krono.act.uji.es/people/Ernesto
http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/