Creating Diagnosis Models of Ontologies with certain properties can be expensive

When loading an ontology that is big or even huge and has certain properties (these have to found), the creation of the diagnosis model that goes in hand with the loading process can last very long due to calls to the reasoner such as calls to

• reasoner.isConsistent() or
• reasoner.precomputeInferences(InferenceType.CLASS_HIERARCHY) or
• reasoner.getBottomClassNode()

in org.exquisite.core.solver.ExquisiteOWLReasoner.generateDiagnosisModel()

This leads to unresponsive behaviour of the Protege client.

Tested with ontologies available at http://www.ontobee.org/:

These ontologies make problems: BCGO (2270 classes, > 40 secs) or UBERON (15.012 classes) Other ontologies of similar size or even greater do create the diagnosis model rather fast such as ATO (6.135), BTO (5.809), TTO(38704)

TODO: find the properties that cause this problem. Number of classes is not the cause of the problem.