環狀或非環狀TBox

是以下TBox 環狀或非環狀？如果它是一個循環TBox，它怎麼能轉換成非循環的？環狀或非環狀TBox

A＆sqsubseteq; ¬ E
E＆sqsubseteq; ¬一個

2015-02-23 Welcome789

你知道這意味着什麼了TBOX是環狀或無環？ – 2015-02-23 22:02:02

一個非循環TBox是一組有限的概念定義，它：（i）不包含多個定義; （ii）不包含循環定義（直接或間接）。以上是相同的，所以我只能使用其中的一個。謝謝。 – Welcome789 2015-02-23 22:07:18

雖然這些都不是概念*定義*。它們提供了A類和E類的必要條件，但不是充分的條件。也就是說，我提供了一個答案，解釋瞭如何以更直接的方式重寫它們的含義。 – 2015-02-23 22:09:29

一個⊑¬E
Ë⊑¬A

這TBOX並沒有真正說除了類A和E是不相交的東西。子類關係可以被解讀爲影響：

爲了表達描述邏輯中的不相交，你通常會說不相交的類是底層概念⊥的等價類或子類，它根據定義沒有實例。 &機器人也是頂級概念⊤的補充，它包含了一切。因此，您可以說任何以下內容：

A ⊓ E＆sqsubseteq; ⊥

甲⊓é≡ ⊥

甲⊓ E＆sqsubseteq; ¬ ⊤

一個⊓é≡ ¬ ⊤

2015-02-23 22:06:00

要添加什麼約書亞說，脫節表示取決於你使用的語言。例如：EL不支持底部和否定。

你寫的公理不是循環的。

週期：一個公理的前提和後果應具有至少一個共同的謂詞（概念或角色）。

如果一個公理包含一個週期，你必須採用不動點語義，使之明確。

據我所知，公理是爲了獲得誘導知識。將循環公理轉換爲非公理：難以產生相似的語義。

2015-02-25 05:34:29

如何以下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

2015-02-25 09:43:06 Welcome789

回答