Problemen met de Ontology Reasoners

We zijn nu al even bezig met het schrijven van code en willen dus gebruik maken van reasoners. Zoals we in een vorige blogpost schreven hebben we de keuze uit 3 reasoners: Pellet, FaCT++ en HermiT. We hebben ze alledrie geprobeerd en ze hebben alledrie bepaalde problemen.

• Pellet wil soms niet reasonen en werkt helemaal niet met DogOnt ontology. Met DogOnt blijft Pellet hangen op 100% CPU en zelfs na een hele lange tijd (+30min) hebben we nog geen resultaten.
• HermiT blijkt nog enkele dingen die we nodig hebben niet te ondersteunen. Bovendien krijgen we soms vreemde resultaten bij het reasonen. De developers van HermiT zeggen dat er binnenkort een nieuwe versie vrijgegeven wordt die mogelijk onze problemen oplost. We kennen echter geen exacte release datum en zijn ook niet zeker of de nieuwe release alle problemen zal oplossen.
• FaCT++ wil af en toe wel eens crashen in Protege. Bovendien ondersteunt FaCT++ geen SWRL rules die zeker voor het redeneren over de context vrij cruciaal zijn.

Het lijkt er dus op dat we niet de beste reasoner moeten kiezen, maar wel de minst slechte. FaCT++ valt af omdat deze geen ondersteuning biedt voor SWRL-rules. Pellet heeft problemen met DogOnt, een ontology waar we ons sterk op willen baseren, en vertoont wisselvallig gedrag bij andere ontologies. HermiT lijkt dan de 'beste' keuze, al is het afwachten of de nieuwe release alle problemen oplost.

We hebben vrij veel tijd verloren met het zoeken naar de goede reasoner, zeker omdat ze met een verschillende versie van de OWLAPI werken (v2 voor Pellet en FaCT++, v3 voor HermiT). De problemen met HermiT konden gedeeltelijk opgelost worden na enkele mails naar de developers. We hopen dat deze reasoner in de toekomst stabiele resultaten naar voor kan brengen...