[Pellet-users] Slow inference (again) (prepare)

[Alejandro Rodríguez González]

Hello to all,

I'm making some new tests over my ontology, and i add some new data to 
tests if all is running ok.

The problem is that the prepare operation takes a lot of time only 
adding some axioms of a new disease.

The original ontology is: http://www.jalojavier.es/humandisease.owl

In this ontology i have some test case (TEST_DIS) with their axioms. I 
try to introduce new axioms for a concrete disease (unspecified 
aspergillosis):

------------ Start of axiom ---------------

(hasSymptom some Malaise_and_fatigue_Class) or (hasSymptom some 
Dyspnoea_Class) or (hasSymptom some Anuria_and_oliguria_Class) or 
(hasSymptom some Wheezing_Class) or (hasSymptom some 
Chest_pain_unspecified_Class) or (hasSymptom some 
Unspecified_haematuria_Class) or (hasSymptom some Headache_Class) or 
(hasSymptom some Abnormal_weight_loss_Class) or (hasSymptom some 
Fever_unspecified_Class) or (hasSymptom some 
Bone_pain_or_tenderness_Class) or (hasSymptom some 
Vision_problems_Class) or (hasSymptom some Abnormal_sputum_Class) or 
(hasSymptom some Cough_with_blood_Class) or (hasSymptom some 
Shiver_Class) or (hasSymptom some Meningitis_unspecified_Class) or 
(hasSymptom some Acute_sinusitis_unspecified_Class) or (hasSymptom some 
Chronic_obstructive_pulmonary_disease_unspecified_Class) or (hasSymptom 
some Acute_endocarditis_unspecified_Class) or (hasLabTest some 
Aspergillus_antigen_skin_test_Class) or (hasLabTest some 
Complete_blood_count_unspecified_Class) or (hasLabTest some 
Aspergillosis_precipitin_Class) or (hasLabTest some 
Biopsy_unspecified_Class) or (hasLabTest some Chest_x-ray_Class) or 
(hasLabTest some CT_Scan_unspecified_Class) or (hasLabTest some 
Routine_sputum_culture_Class)

hasSymptom only (Malaise_and_fatigue_Class or Dyspnoea_Class or 
Anuria_and_oliguria_Class or Wheezing_Class or 
Chest_pain_unspecified_Class or Unspecified_haematuria_Class or 
Headache_Class or Abnormal_weight_loss_Class or Fever_unspecified_Class 
or Bone_pain_or_tenderness_Class or Vision_problems_Class or 
Abnormal_sputum_Class or Cough_with_blood_Class or Shiver_Class or 
Meningitis_unspecified_Class or Acute_sinusitis_unspecified_Class or 
Chronic_obstructive_pulmonary_disease_unspecified_Class or 
Acute_endocarditis_unspecified_Class)

hasLabTest only (Aspergillus_antigen_skin_test_Class or 
Complete_blood_count_unspecified_Class or Aspergillosis_precipitin_Class 
or Biopsy_unspecified_Class or Chest_x-ray_Class or 
CT_Scan_unspecified_Class or Routine_sputum_culture_Class)

------------ End of axiom ---------------

This axiom works ok, but it makes that the Prepare operation takes a lot 
of time. Without this axiom (with the original ontology), prepare 
operation takes near to 60 seconds aproximately. With this axiom, near 
to 7 minutes.

The main idea of my project is create a software that can make some 
diferential diagnostics using inference capabilities of ontologies but i 
don't know if i'm using the correct approach because this times are not 
very good.

Any one can said me why is happening this? Or a way to solve it?

Thanks.