Re: [OWLAPI-developer] Initializing reasoner with previously computed inferences

[Evren S. <ev...@cl...>]

Pellet provides an incremental classifier implementation that provides
persisting classification and realization results. In the Pellet
distribution you can look at IncrementalClassifier example for basic
usage and PersistenceExample for how to save the results and restore
the reasoner using persisted results. This is a separate
implementation of the reasoner interface that may be slightly slower
for initial classification but would handle updates incrementally and
subsequent classifications will be faster.

Incremental classifier works well if your ontology is schema-oriented
(mostly classes) but not so much when ontology contains a lot of
instances. If you have specific questions about Pellet's feature you
can use the Pellet mailing list (see [1] for info).

Best,
Evren

[1] http://clarkparsia.com/pellet/docs/

On Fri, Aug 13, 2010 at 4:10 PM, Jacek Kisynski
<jac...@gm...> wrote:
> 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)
>
>
>
> ------------------------------------------------------------------------------
> This SF.net email is sponsored by
>
> Make an app they can't live without
> Enter the BlackBerry Developer Challenge
> http://p.sf.net/sfu/RIM-dev2dev
> _______________________________________________
> Owlapi-developer mailing list
> Owl...@li...
> https://lists.sourceforge.net/lists/listinfo/owlapi-developer
>
>