도메인 모델링을 사용하여 온톨로지, 특별한 경우

Question

설명 로직을 사용하여 (그리고 OWL-DL 대응)은, 우리가 클래스 Meeting 클래스 Professor 참석 할 수있는 것을 그렇게 고려

이

assistantOf domain Professor 
assistantOf range Professor 

질문 :가 어떻게 Terminolog을 - 특수 수있는 다른 Professor의 Assistant 수 (TBox) - MeetingcouldBeAttendedByProfessor이면 Assistants 인 사람은 couldBeAttendedBy입니다.

서있 예를 들어, 그 사항을 고려하십시오

Meeting(m) 
Professor(f) 
m couldBeAttendedBy f 
as assistantOf f 

나는 당신은 당신의 규칙을 수용 할 수 couldBeAttendedBy의 정의를 제공, 속성 체인을 만들 필요가

m couldBeAttendedBy as 

Answer 1

결론 싶다.

는 예를 들어, 피보호자를 사용하는 경우, 다음과 같은 couldBeAttendedBy에 대해 정의해야합니다으로 표시됩니다의 SuperProperty (체인)에서

couldBeAttendedBy o inverse (assistantOf)

couldBeAttendedBy o inverse (assistantOf) SubPropertyOf couldBeAttendedBy

사례가 쉽고 정확하게 속성 체인을 만들었습니다. 그러나 사슬이 더 정교 해지면 결정할 수 없게 될 수도 있습니다. 예를 들어, S1 º S2 º S3 º º Sn ⊑ R에서 R은 표현식의 왼쪽 끝의 첫 번째 또는 마지막 위치에만있을 수 있습니다. 그렇지 않으면 결정할 수 없습니다. 이것은 정규 RBox에 대한 제한 사항 중 하나입니다. 그리고 속성 체인이나 정식으로 "일반 역할 포함"은 일반 RBox에 적용될 경우에만 결정할 수 있습니다.