OWL : 범위 도메인 및 범위

Question

범위가 지정된 도메인 과 도메인 의 차이점은 무엇입니까 ? 또한 범위 및 범위 . 그리고 단일 속성이 두 개의 다른 범위 도메인 또는 범위 범위를 갖도록 Protege에서 어떻게 정의됩니까?

추신 : 두 개의 다른 범위 도메인을 사용한다는 것은
도메인이 A이면 R 범위 B가 있음을 의미합니다.
도메인이 C이면 범위 D가 있습니다.

Answer 1

객체 속성의 도메인이 있다는 사실 R입니다 A이런 식으로 쓸 수있다 :

R 일부 올빼미 : Thing SubClassOf A

객체 속성의 범위가 있다는 사실 R입니다 B이런 식으로 쓸 수있다 :

owl : Thing SubClassOf R 전용 B

이러한 기록을 약간 일반화 할 수 있습니다.

의 도메인 R으로 /로 범위 B입니다 A:

R some B SubClassOf A

R/ by 범위의 범위 A는 B다음 과 같습니다.

R 의 하위 클래스 만 B

Protégé에서는 다음 위치에 이러한 공리를 입력 할 수 있습니다 (원하는만큼 ⊕ 버튼을 누름).

• Active Ontology> General Class Axioms> General Class Axioms 또는
• 엔티티> 클래스> [클래스]> 설명> 일반 클래스 공리 .

또한 OWLAx 플러그인은 범위가 지정된 공리와 범위가없는 공리를 모두 생성 할 수 있습니다.

---

DL 용어에서 범위가 지정된 도메인 및 범위 공리는 다음과 같습니다.

• ∃RB ⊑ A 대신 ∃R.⊤ ⊑ A ,
• ⊤ ⊑ ∀RB 대신 ⊑ ∀RB .

SWRL 용어 :

• B(?y) ^ R(?x,?y) -> A(?x)대신 R(?x,?y) -> A(?x),
• A(?x) ^ R(?x,?y) -> B(?y)대신 R(?x,?y) -> B(?y).