Protege 4.1中的OWL本體和不良個體不一致

Question

我設計了使用Protege 4.1關於生物（生物分類）的OWL本體作業，在使用隱士或事實推理后我得到了inconsistent ontology, bad individuals ，但我對OWL本體很新，不懂如何解決關於不一致和個人的這些錯誤。

編輯1 ：

---

我的類層次結構如下所示：

 Thing Plante Vietuitoare VietuitoareDenumireStiintifica Specii Vertebrate Reptile Pesti Pasari Mamifere Nevertebrate Moluste Interertebrate Insecte Hrana Ierbivor Carnivor Omnivor Deplasare Inot Taratoare Picioare Biped Patruped Poliped Aripi Habitat Acvatic Campie Padure Munte PartiAnatomice SiraSpinarii Aripa InvelisExterior Cochilie Solzi Blana Pene RelatieAsociere RelatieCuOm Domestice Salbatice RelatieCuAlteAnimale Singuratate GrupuriMici Haite Carduri GrupuriMari Stoluri Colonii 

這些是解釋框中 熱點選項卡的公理 ：

 Carnivor EquivalentTo (Mananca only Vietuitoare) or (Mananca only (faceParteDin some Vietuitoare)) Ierbivor EquivalentTo (Mananca only Plante) or (Mananca only (faceParteDin some Plante)) 

---

Bellow是.owl文件的兩個鏈接：

• skydrive： http ：//sdrv.ms/11DdHao

• drive.google： https://docs.google.com/folder/d/0B4IUN70RC09nelI3MU1jdHhlWEE/edit

在此先感謝，非常歡迎每一個建議和/或提示！

Answer 1

我不確定以下聲明的正確性：

Vietuitoare
    and (areSiraSpinarii exactly 1 Vietuitoare)

使用Protege 4.2，您可以通過各種形式的解釋（例如“簡潔”）來探討不一致的原因。 也許這個截圖有助於：

如果要從本體中刪除所有個體，請保留消除任何不一致原因的方法，例如將個人放入單獨的模塊中，以便可以輕松插入和拔出。 這不會解決您的建模錯誤，但可以幫助您更快地找到它。 此外，您確定要將動物塑造為個體嗎？

Answer 2

如果您使用Protege 4.1，您可以在解釋框中看到不一致的個體和公理（實驗性抗原解釋啟發式）。 選項卡下的公理熱點很可能是導致問題的原因，因此您應該先修改它們。

Answer 3

看看Interertebrate發布的理由，我們可以得出結論， Interertebrate是一個空類，所以它不能有實例。

原因如下： Interertebrate也是Vietuitoare （來自axiom Interertebrate SubClassOf Vietuitoare ）; areSiraSpinarii是功能性的，所以要么一個人只有一個涉及屬性areSiraSpinarii關系，要么根本就沒有它（即正好是0）。 因此Vietuitoare或者是Vertebrate或Nevertebrate ，憑借兩個公理Vietuitoare and (areSiraSpinarii exactly 1 Vietuitoare) SubClassOf Vertebrate和Vietuitoare and (areSiraSpinarii exactly 0 Vietuitoare) SubClassOf Nevertebrate 。 但兩者Vertebrate和Nevertebrate是不相交Interertebrate 。 所以我們說，一個Interertebrate不能是Vertebrate ，也不是Nevertebrate ，並在同一時間，我們指出Interertebrate必須是Vertebrate或Nevertebrate 。

顯然那里肯定有一些錯誤（但我無能為力，我不知道這些術語的意思）。