semantic-web - 循环或非循环 TBox

Question

下面的 TBox 是循环的还是非循环的？如果它是一个循环的TBox，它怎么能转换成一个非循环的呢？

A ⊑ ¬E
E ⊑ ¬A

Answer 1

A ⊑ ¬E
E ⊑ ¬A

除了 A 类和 E 类不相交之外，这个 TBox 并没有真正说明什么。子类关系可以理解为含义：

• 如果某物是 A，那么它就不是E。
• 如果某物是 E，那么它就不是A。

为了表达描述逻辑中的不相交性，您通常会说不相交类的交集是底部概念 ⊥ 的等价或子类，根据定义，⊥ 没有实例。&bot 也是顶级概念 ⊤ 的补充，它包含了一切。因此，您可以说以下任何一种：

A ⊓ E ⊑ ⊥

A ⊓ E ≡ ⊥

A ⊓ E ⊑ ⊤

A ⊓ E ≡ ¬⊤

Answer 2

如何将以下 TBox 公理转换为无环 Tbox：

 A \sqsubseteq \lnot E
 \exists R.A \sqcap \lnot B \sqsubseteq C
 C \sqsubseteq B \sqcup A
 C = A \sqcup D
 A \sqcap \exists R.E \sqsubseteq D

Answer 3

添加 Joshua 所说的内容，脱节表示取决于您使用的语言。示例：EL 不支持底部和否定。

你写的公理不是循环的。

循环：一个公理的前件和后件应该至少有一个共同的谓词（概念或角色）。

如果公理包含循环，则必须采用定点语义以使其明确。

据我所知，公理旨在获得诱导知识。将循环公理转换为无环公理：很难产生类似的语义。