처분의 교차점 쿼리; Protege

Question

개체에 두 속성 중 하나의 속성이 아니라 두 속성의 교집합이 포함되어 있는지 확인하고 싶습니다.

예 :

object: 
    A (has_disposition some disposition_A; has_disposition some disposition_B) 
    B (has_disposition some disposition_B; disjoint with A) 

disposition: 
    disposition_A 
    disposition_B 
    disposition_AB (EquivalentTo: disposition and ((disposition_A) and (disposition_B)) 

속성 has_disposition 해당 도메인으로 object와 같은 범위 disposition 걸린 개체.

은 은자를 사용하여 Protege는에서 DL 쿼리를 생성 다음 아무것도 :

has_disposition some disposition_AB 

다음 쿼리

올바른 대답을 줄이 :

has_disposition some disposition_A (gives A) 
has_disposition some disposition_B (gives A, B) 

다음 조치는 도움이되지 않았다 :

• EquivalentTo 표현식에서 괄호 변경.
• 아무 것도 연결되지 않습니다.
• EquivalentTo 표현의 각 부분을 별도로 선언하십시오.

OGMS, 전염병 온톨로지 또는 심혈관 질환 온톨로지에서 다른 처분의 교차점으로 정의되는 처분의 예를 찾을 수 없었습니다.

Answer 1

에 대한 결과가 없습니다. disposition_AB에 대한 검색 결과가 없으면 동등한 의미를 가진 사람과 비교할 수 없습니다.

disposition 유형이 A와 B에서 나온 것이 확실하지 않습니다. 예상대로 유추하지 않는 것으로 판단됩니다. 실제 온톨로지를 공유 할 수 있습니까?