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

[Alejandro Rodríguez González]

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:

---
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?

Thanks and sorry for so many questions!