0

My ontology is 3000 axioms for now but I have a lot of individuals that must be there in the future. Reasoner enter image description hereslows around 10 minutes for reasoning on it. I think this is not normal and I am trying to make it better and solve it somehow. May be I have a lot of labels, if it's a propblematic.

Pellet infers really fast - may be 5 sec.

What is the real difference between this two Reasoners? Are thay interchangeable.

Will be really happy on all your comments. Thank you!

Seb
  • 85
  • 9
  • 2
    there is no answer to this. Besides the number of axioms, the type of axioms are important. And sometimes even less axioms are worse. Pellet vs. HermiT is Tableau vs. Hyper-Tableau - sometimes one is "better", sometimes the other - so again, "it depends" – UninformedUser Feb 26 '21 at 12:26
  • 1
    Latest version compatible with protégé is 1.4.5.456, you can try updating to it (jar available on Maven Central) to see if it makes a difference. Otherwise, locating the reasons for slow performance is a complex task. If you can share the ontology, people might help - without that it would be very hard to make suggestions. – Ignazio Feb 26 '21 at 18:05

0 Answers0