OWL：作用域域和范围

Question

范围域和域有什么区别？还有作用域范围和范围。 Protege 中如何定义单个属性具有两个不同的作用域域或作用域范围？

附：我的意思是使用两个不同的范围域意味着：
如果域是 A，R 具有范围 B
如果域是 C，R 具有范围 D

Answer 1

对象属性R的域是A可以这样写：

R some owl:Thing SubClassOf A

对象属性R的范围是B可以这样写：

owl:Thing SubClassOf R only B

可以稍微概括一下这些记录。

R 的域由B 限定为A：

R 一些 B SubClassOf A

R 范围内的A 范围是B：

A SubClassOf R 仅 B

在 Protégé 中，可以在这些地方输入这些公理（按 ⊕ 按钮多次）：

• Active Ontology > General Class Axioms > General Class Axioms，或
• 实体 > 类 > [类] > 描述 > 一般类公理。

此外，OWLAx 插件可以生成作用域和非作用域公理。

---

在 DL 术语中，作用域域和范围公理是：

• ∃R.B ⊑ A 而不是 ∃R.⊤ ⊑ A,
• A ⊑ ∀R.B 而不是 ⊤ ⊑ ∀R.B。

在 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)。