不一致OWL本體和壞的個人4.1

我山人或事實我得到inconsistent ontology, bad individuals專爲家庭作業的OWL本體使用門生4.1約生物（生物分類），推理之後，但我對OWL本體非常陌生，不明白如何解決這些關於不一致性和個體的錯誤。不一致OWL本體和壞的個人4.1

EDIT1：

我 類層次結構看起來是這樣的：

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

貝婁是與 .owl文件兩個環節：

的SkyDrive：http://sdrv.ms/11DdHao
drive.google：https://docs.google.com/folder/d/0B4IUN70RC09nelI3MU1jdHhlWEE/edit

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

來源

2013-01-18 Florin Vîrdol

請不要使用[tag：homework]標籤。它已被棄用，正在被燃燒。 – Zyerah

如果你想把它作爲一個Stackoverflow問題的一部分來展示，請把你的本體翻譯成英文 – Kaarel

你說得對，對於英文版，我會盡快翻譯並更新我的問題和文件。 –

如果您使用Protege 4.1，您可以在解釋框（實驗性保護解釋啓發式）中看到不一致的個體和公理。標籤下的公理熱點可能是導致問題的原因之一，所以您應該先修改它們。

來源

2013-01-18 08:48:51 loopasam

感謝您的回覆！我已經看過*說明框*，但我仍然不知道該怎麼改變。請看看我的問題，我使用班級層級和標籤*熱點*中的公理更新了它。 –

我不知道下面的語句的正確性：

Vietuitoare 
    and (areSiraSpinarii exactly 1 Vietuitoare)

使用的Protege 4.2，你可以探索通過各種形式的解釋（例如，「簡潔」）不一致的原因。也許這個截圖幫助：

enter image description here

保證的方式，以消除任何原因，如果不一致，從本體論，例如刪除所有個人將個人放置在一個單獨的模塊中，以便他們可以方便地插入和拔出。這不會解決你的建模錯誤，但會幫助你更快地找到它。另外，你確定你想將動物模型化爲個體嗎？

來源

2013-01-18 10:42:19 Kaarel

感謝您的回覆！我不明白你指的是什麼：**「*將這些個體放在一個單獨的模塊中，以便它們可以很容易地插入和彈出。」**另外，關於**將動物建模爲個體*「**，您的意見如何，您如何建議我做？英文版：儘快。 –

E.g.將所有類斷言公理分隔成另一個OWL文件。在縮減的文件上運行推理器，看看你是否得到不可滿足的類以及這些解釋是什麼，然後修復建模錯誤並通過OWL導入機制導入類斷言公理。關於類與實例建模，我會將動物模型化爲類，即「一組獅子是動物組的一個子集」，而不是一個實例。「獅子」是該組動物的一員。前者的解決方案似乎更加靈活。 – Kaarel

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

原因如下：Interertebrate也是Vietuitoare（來自公理Interertebrate SubClassOf Vietuitoare）; areSiraSpinarii是功能性的，因此無論是個人有關係屬性areSiraSpinarii正好1關係或它根本沒有它（即正好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。

很明顯，那裏肯定有些問題（但我無法幫助，我不知道這些術語的含義）。

來源

2013-02-20 13:29:37

不一致OWL本體和壞的個人4.1

回答

相關問題