[OWLAPI-developer] Initializing reasoner with previously computed inferences

[Jacek K. <jac...@gm...>]

Hi,
I am working with simple but large ontologies (for instance, an ontology of
~5000 minerals) and reasoners take forever to process them. While I can save
inferences in a new ontology document, reasoners would spend again several
hours processing the new ontology document, even though there is nothing new
to be inferred there. I could avoid it by interacting with the new ontology
exclusively via OWL API methods, but OWLReasoner methods are much more
informative.

I wonder if it is possible to initialize a reasoner with previously computed
inferences. I can see that some classes in the Hermit implementation can be
serialized, but most of them cannot.

Jacek
-- 
----------------------------------------------------
Prediction is very difficult, especially about the future.
       Niels Bohr (Danish physicist, 1885 - 1962)