Protege DL 쿼리; 이 추론은 일부 DL을 요청하려고 할 때 내가 Protege는 5에서 <a href="http://www.lsi.upc.edu/~%20oromero/EUCarRental.owl" rel="nofollow">OWL ontology</a>이 클래스

Question

라는 이름이 OBJECTPROPERTY 하차하여 정확히 일대일 카디널리티에 의해 관련된 모든 클래스를 반환해야합니다

DropOff exactly 1 

쿼리를 지원합니다.

첼로 추론자를 사용하면 "이 추론자가 명명 된 클래스를 지원하지 않습니다."라는 예외가 발생합니다. Hermit 추론자를 사용하는 동안 문제가 없습니다.

명명 된 클래스는 참조 대상 URL이있는 클래스라는 것을 알고 있습니다. 여기 내 포인트는

• 않은라는 이름의 클래스를 사용하여 뒤에있는 의미는 무엇입니까?
• 명명 된 클래스가 Pellet에서 지원되지 않는 이유는 무엇입니까?
• 내 쿼리를 Pellet에서 허용 할 수있는 방식으로 표현할 수 있습니까?

감사합니다.

Answer 1

펠렛의 오류가 잘못보고되었을 수 있습니다. 나는 IncrementalClassifier.java 파일의 Pellet 소스 코드에서 문장 "This reasoner only supports named classes" 만 찾았습니다. 이 예외는 증 분식 추론 모드가 사용되고 '이 클래스에 해당하는 모든 클래스 찾기' ''와 같은 쿼리가 실행되는 경우에 발생합니다. 예를 들어 DropOff exactly 1은 펠렛 증분이 지원하지 않는 익명 클래스 표현식입니다.

Protege의 Pellet에서 증분 기능을 사용할 수 없는지 잘 모르겠습니다. 이 동작을 구성 할 수없는 경우 유일한 해결 방법은 Pellet 플러그인을 점진적으로 작동하지 않도록 수정하는 것입니다. 이것은 다른 쿼리의 성능에도 영향을 미칩니다.