[Pellet-users] serialize a classified ontology

[Michael Smith]

On Wed, 2008-06-25 at 14:55 +0200, Antonio Sanchez Ruiz-Granados wrote:

> I've realized that Pellet needs a lot of time to classify some complex 
> ontologies, and I'd like to know if I can do that operation only one 
> time and not any time I load the ontology again. I mean, I'd like to 
> load the original ontology, classify it, and serialize the classified 
> ontology.

Using the command line interface with -c RDF will serialize the inferred
class hierarchy, omitting all other axioms.

> Then if I need to work with that ontology again I would load 
> not the original one but the classified. The problem is that I need 
> Pellet to know that the ontology has been previously classified, so it 
> doesn't need to classify it again.

If computing the classification hierarchy is the only reasoner service
you are interested in, using just the inferred hierarchy from my
previous comment will probably be sufficient - i.e., with no other
axioms, classification is always very fast.

If you are using other reasoning services (e.g, consistency checking of
instance data) there isn't a clear solution.  At present you cannot
serialize Pellet's internal state post-reasoning, so the reasoning will
be repeated if the ontology is loaded into a new KnowledgeBase.

-- 
Mike Smith

Clark & Parsia