[Pellet-users] Restrict domain inference

[Michael Smith]

On Mon, 2008-01-28 at 22:07 +0100, Alejandro Rodríguez González wrote:

> I'm searching the causes of why my app is making inferecens too slow and 
> i want to know if it's possible restrict the domain inference when i 
> make a inference over a ontology.

In general, Pellet avoids unnecessary work, but does all that is
required to be sound and complete.  I.e., the behavior is not to compute
all possible inferences.

> For example, i have some super classes (Disease, labtest, symptom, 
> etc..) and i want that the reasoner inference the results only in a 
> concrete superclass (diseases), discarding the rest (the objective is 
> try to make reasoning faster).

What distinguishes "concrete superclass[es]" from "the rest" in your
context?

What interface are you using to access Pellet?  This can affect the
amount of reasoning performed.


Regards,
-- 
Mike Smith

Clark & Parsia