Re: Helmet Debugging

Posted by Jiba on
URL: http://owlready.306.s1.nabble.com/Hermit-Debugging-tp2517p2522.html

Hi,

Ontology reasoning is a very complex task and I fear I have no real solution to offer... It highly depends on the content of the ontology. You may try to simplify it, i.e. to limit the number of OWL contructs used in the ontology. For instance, if you do not use the negation, reasoning is simpler. If you add even just one negation, it becomes much complex. There are several "OWL profile" (i.e. combinations of contructs) that are efficient to use, but I am not a specialist on that topic.

Regarding the variation in reasoning time, I may depend on the other programs running concurrently on your computer.

Jiba