왜 protege4에서 쿼리 결과를 볼 수 없습니까?

Question

나는이 바보 같은 질문 수 있습니다 알고 있지만 나는 내 온톨로지를 구축하고 내가 protege4의 DL 쿼리 탭에서 DL 쿼리를 사용하려고 할 때 그것을 잘 실행 protege4을 사용하고 답 :

을 모르는 나는 결과를 얻는다.

그러나 "온톨로지에 추가"를 클릭하여 내 쿼리를 온톨로지에 추가하면 쿼리 결과가 없지만 추가됩니다. 쿼리 결과가없는 이유는 무엇입니까? 그리고 그것을 보는 방법?

감사

Answer 1

우선 몇 가지 용어 :

• 모든 OWL 온톨로지는 OWL 공리의 세트입니다.
• 마다 DL- 쿼리은 OWL 클래스 표현입니다.
• 마다 DL- 쿼리 결과은 OWL 자격의 집합입니다.

온톨로지에만 공리를 추가 할 수 있습니다. OWL 온톨로지에 클래스 표현식이나 엔티티 집합을 추가 할 수 없습니다.

는 는

"추가 온톨로지"버튼을 쿼리 (즉, 클래스 표현) 및 (사용자에 의해 주어진) 명명 된 클래스에 기초하여 새로운 EquivalentClasses -axiom를 만드는 것, 그리고 그 다음에이 공리를 주장 활성 온톨로지,

EquivalentClasses(new_name query) 

(나는 확실히 그것을 Protege는 4의 내 버전에서 다음과 같이 작업을 진행하지 못했지만, 이러한 기능을 이해한다.)

현재 OWL2 사양이 말을하지 않는 즉, 클래스 표현식과 질의 결과를 온톨로지에 저장하는 방법에 관한 것. 이 값은 파일에서 온톨로지를로드 한 후 매번 지정하고 계산해야합니다.