[Pellet-users] reason over two ontologies

[Michael Smith]

On Tue, 2008-01-29 at 13:46 +0100, Jan-Oliver Wuelfing wrote:

> To make myself clear, I rather mean to reason over two ontologies in 
> order to check if the values of any particular instance (individual) 
> would match against the other ontologie (but no pattern matching) than 
> to compare its concepts.

Pellet's entailment checking may satisfy your requirements.  From the
command line, use the -cf option (see command line usage for more
details).  This will give a boolean indicating if all statements in one
ontology are entailed by another. Programmatically, this functionality
can be accessed from

+ org.mindswap.pellet.owlapi.Reasoner.isEntailed(.) (in an OWLAPI-based
application)
+ org.mindswap.pellet.jena.OWLReasoner.isEntailed(Model) (in a
Jena-based application)

If your requirements necessitate more granularity that a boolean
response (e.g., you need to know which axioms in an ontology are not
required), consider using the methods listed pointer to how this can be
accomplished programmatically.

-- 
Mike Smith

Clark & Parsia