Suivi de la progression du raisonnement à l'aide du Pellet Reasoner

Question

Je suis en train de construire une ontologie OWL, qui - jusqu'à très récemment, classifiée rapidement en utilisant le raisonnement Pellet. Cependant, depuis l'introduction de plusieurs nouvelles classes, la performance de raisonnement a ralenti à un ramper. Bien que le raisonneur se termine et que l'ontologie ne contienne aucun concept insatisfaisant, le temps que prend le raisonnement est inacceptable. J'essaie actuellement de repérer les classes/classes qui ont causé le ralentissement.

Voici ma question: est-il possible d'enregistrer le raisonnement progressif de Pellet? C'est à dire. est-il possible de produire une sortie qui documentera combien de temps le pellet a passé sur certaines tâches de raisonnement/trace combien de temps prend le raisonnement sur une classe et un axiome donné? Si oui, quelqu'un a-t-il du code Java qu'il pourrait poster?

Merci d'avance pour vos réponses!

Answer 1

Bill Barnhill a fourni an incredibly helpful answer to this question sur Semantic Overflow. S'il vous plaît, allez-y!

Answer 2

Avez-vous essayé d'utiliser l'outil Peluches de Pellet pour diagnostiquer le ralentissement des performances de raisonnement? Vous aurez aussi plus de chance d'obtenir une réponse à cette question en la publiant sur la liste de diffusion des utilisateurs de pellets, y compris l'ontologie qui cause des problèmes ou un sous-ensemble qui peut être utilisé pour reproduire la lenteur. Vous ne dites pas non plus quelle version vous utilisez, etc.