[Pellet-users] Slow inference (again) (not prepare: classify)

[Evren Sirin]

On 2/21/08 10:56 AM, Alejandro Rodríguez González wrote:
> Hello to all,
>
> I was trying to make new test over my ontology removing and changing 
> some axioms and i get some interesting results.
>
> The " 3 ideal axioms" to define a disease in my ontology are the next:
>   

These are not axioms but concept definitions as the others in your 
previous email. Are you using these in a SubClassOf or EquivalentClasses 
axiom in your ontology? Or are you checking the satisfiability of these 
concepts without adding to the ontology?

> ---
> 1) (hasLabTest some Lb1) or (hasLabTest some Lb2) or (hasSymptom some 
> Sy1) or (hasSymptom some Sy2) .... etc.
> 2) hasLabTest only (Lb1 or Lb2 or Lb3 or Lb4 .... etc.)
> 3) hasSymptom only (Sy1 or Sy2 ... etc.)
> ---
>
> With this axioms i can make "perfect" inferences.
> This was the scheme that was using. The problem starts when i introduce 
> a new disease with a lot of symptoms or labtests, this scheme did become 
> very slow.
>
> I try to remove one by one the axioms, to get better results in the 
> inference time, and i discover that the "only" axioms are the main problem.
>
> When i remove this axioms, the inference time are faster, but the 
> inference results are not perfects because i obtain some results that 
> don't match with the expected.
>
> It's normal that this axioms make inference time so high? It's any 
> solution to solve this?
>   

I don't really understand what the problem is so it is hard to tell. If 
the reasoning with the ontology slows down considerably after adding 
some axioms then providing two versions of the ontology would help us to 
understand what is going on.


Cheers,
Evren

> Thanks and sorry for so many questions!
>
>
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
>