1

Protege 4.1を使用して生き物 (生き物の分類) に関するOWL オントロジーを宿題用に設計しましたが、 HermitまたはFactで推論した後、私は OWL オントロジーに非常に慣れていないため、矛盾や矛盾に関するこれらのエラーを解決する方法がわかりません。個人。inconsistent ontology, bad individuals

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

以下は、 .owlファイル の 2 つのリンクです。


事前に感謝します。すべてのアドバイスおよび/またはヒントは大歓迎です!

4

3 に答える 3

2

次のステートメントの正確性については確信が持てません。

Vietuitoare
    and (areSiraSpinarii exactly 1 Vietuitoare)

Protege 4.2 を使用すると、さまざまな形式の説明 (「簡潔」など) を使用して、矛盾の理由を調べることができます。たぶん、このスクリーンショットが役立ちます:

ここに画像の説明を入力

オントロジーからすべての個体を削除する場合、矛盾の理由を取り除く保証された方法。たとえば、個体を個別のモジュールに配置して、簡単にプラグインおよびプラグアウトできるようにします。これはモデリング エラーを解決するものではありませんが、より迅速に見つけるのに役立ちます。また、動物を個体としてモデル化しますか?

于 2013-01-18T10:42:19.903 に答える
1

Kaarel が投稿した理由を見ると、Interertebrateこれは空のクラスであり、インスタンスを持つことはできないと結論付けることができます。

その理由は次のとおりです。anInterertebrateはまた a Vietuitoare( axiom からInterertebrate SubClassOf Vietuitoare) です。areSiraSpinarii機能的であるため、個体はプロパティを含む関係を 1 つだけ持っているか、まったくareSiraSpinarii持っていません (つまり、ちょうど 0)。したがって、 aは、との 2 つの公理により、 aまたは a のVietuitoareいずれかです。しかし、とは両方ともから互いに素です。つまり、 はも もありえないと言っていると同時に、 は か のいずれかでなければならないと述べています。VertebrateNevertebrateVietuitoare and (areSiraSpinarii exactly 1 Vietuitoare) SubClassOf VertebrateVietuitoare and (areSiraSpinarii exactly 0 Vietuitoare) SubClassOf NevertebrateVertebrateNevertebrateInterertebrateInterertebrateVertebrateNevertebrateInterertebrateVertebrateNevertebrate

明らかに、そこには何か問題があるに違いありません (しかし、私にはどうすることもできません。用語の意味がわかりません)。

于 2013-02-20T13:29:37.720 に答える
1

Protege 4.1 を使用すると、矛盾した個体と公理が説明ボックスに表示されます(Experimental Protege Explanation Heuristics)。タブの下の公理ホット スポットが問題を引き起こしている可能性が高いため、最初に修正する必要があります。

于 2013-01-18T08:48:51.293 に答える