Pellet Reasoner를 사용한 추론 진행 모니터링

Question

현재 Pellet 추론을 사용하여 급속하게 분류 될 때까지 - 현재 OWL 온톨로지를 구성 중입니다. 그러나 몇 가지 새로운 클래스가 도입 된 이후 추론 성능은 느려지 게되었습니다. 추론자가 완료되고 온톨로지가 충족 될 수없는 개념 등을 포함하지는 않지만 추론에 소요되는 시간은 용인 할 수 없습니다. 나는 현재 속도 저하를 가져 왔을 수있는 클래스/클래스를 추적하려고합니다.

여기 내 질문이 있습니다. Pellet의 추이 진행 상황을 기록 할 수 있습니까? 나는. 얼마나 많은 펠렛이 특정 추론 작업/추적에 소요 된 시간을 문서화하는 출력물을 생산할 수 있습니까? 주어진 클래스와 공리에 대한 추론이 얼마나 오래 걸리나요? 그렇다면 누구나 자바 코드를 게시 할 수 있습니까?

미리 답변 해 주셔서 감사합니다.

Answer 1

Bill Barnhill은 시맨틱 오버 플로우에 대해 an incredibly helpful answer to this question을 제공합니다. 끝났어!

Answer 2

Pellet의 보푸라기 도구를 사용하여 추론 성능 저하를 진단 해 보셨습니까? 또한 문제를 일으키는 온톨로지 또는 속도 저하를 재현하는 데 사용할 수있는 일부 하위 집합을 포함하여 pellet-users 메일 링리스트에 게시하여이 질문에 대한 답을 얻는 것이 더 나을 것입니다. 또한 사용중인 버전 등은 말하지 마십시오.