循环或非循环 TBox
Cyclic or Acyclic TBox
下面的TBox是循环还是非循环？如果是循环的TBox，怎么转成非循环的？
A ⊑ ¬E
E ⊑ ¬A
A ⊑ ¬E
E ⊑ ¬A
除了 类 A 和 E 不相交之外，这个 TBox 什么也没说。子类关系可以理解为含义：
- 如果某物是 A，那么它不是 E。
- 如果某物是 E，那么它不是 A。
为了表达描述逻辑中的不相交性，您通常会说不相交的交集 类 是底层概念 ⊥ 的等价物或子类，根据定义，它没有实例。 &bot 也是顶级概念 ⊤ 的补语，它包含了一切。因此你可以说以下任何一个：
A ⊓ E ⊑ ⊥
A ⊓ E ≡ ⊥
A ⊓ E ⊑ ¬⊤
A ⊓ E ≡ ¬⊤
补充一下 Joshua 所说的，脱节表示取决于您使用的语言。示例：EL不支持底部和否定。
你写的公理不是循环的。
循环：一个公理的前提和后果应该至少有一个共同的谓词（概念或作用）。
如果公理包含循环，则必须采用不动点语义才能使其明确。
据我所知，公理旨在获得归纳知识。将循环公理转换为非循环公理：很难产生相似的语义。
如何将以下 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
下面的TBox是循环还是非循环？如果是循环的TBox，怎么转成非循环的？
A ⊑ ¬E
E ⊑ ¬A
A ⊑ ¬E
E ⊑ ¬A
除了 类 A 和 E 不相交之外，这个 TBox 什么也没说。子类关系可以理解为含义：
- 如果某物是 A，那么它不是 E。
- 如果某物是 E，那么它不是 A。
为了表达描述逻辑中的不相交性，您通常会说不相交的交集 类 是底层概念 ⊥ 的等价物或子类，根据定义，它没有实例。 &bot 也是顶级概念 ⊤ 的补语，它包含了一切。因此你可以说以下任何一个：
A ⊓ E ⊑ ⊥
A ⊓ E ≡ ⊥
A ⊓ E ⊑ ¬⊤
A ⊓ E ≡ ¬⊤
补充一下 Joshua 所说的，脱节表示取决于您使用的语言。示例：EL不支持底部和否定。
你写的公理不是循环的。
循环：一个公理的前提和后果应该至少有一个共同的谓词（概念或作用）。
如果公理包含循环，则必须采用不动点语义才能使其明确。
据我所知，公理旨在获得归纳知识。将循环公理转换为非循环公理：很难产生相似的语义。
如何将以下 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