3

セマンティック Web の皆さん、こんにちは。

以下の OWL コードを推論した後、 NamedIndividual <rdf:type rdf:resource='#Tsunami'>: instance_Dromen にあるとは思いません。どういうわけか #Huis と #Auto の間の分断性に何か問題があるのでしょうか、それとも正しい方法で補数を使用していないのでしょうか? 推論の結果、NamedIndividual: instance_Dromen には次の出力があります。

--

<rdf:Description rdf:about="http://www.almfluss.com/rdf/0.1/Ontology.owl#instance_Dromen">
    <owl:sameAs rdf:resource="http://www.almfluss.com/rdf/0.1/Ontology.owl#instance_Dromen"/>
    <rdf:type rdf:resource="http://www.almfluss.com/rdf/0.1/Ontology.owl#Wielen"/>
    <rdf:type rdf:resource="http://www.almfluss.com/rdf/0.1/Ontology.owl#Auto"/>
    <rdf:type rdf:resource="http://www.almfluss.com/rdf/0.1/Ontology.owl#Onderstel"/>
    <rdf:type rdf:resource="http://www.almfluss.com/rdf/0.1/Ontology.owl#Tsunami"/>
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Thing"/>
    <rdf:type rdf:resource="http://www.almfluss.com/rdf/0.1/Ontology.owl#Dromen"/>
  </rdf:Description>

推論器の入力として使用する OWL コードは次のとおりです。

<?xml version="1.0" encoding="UTF-8" standalone="no"?>

<!DOCTYPE rdf:RDF [
    <!ENTITY owl "http://www.w3.org/2002/07/owl#" >
    <!ENTITY swrl "http://www.w3.org/2003/11/swrl#" >
    <!ENTITY swrlb "http://www.w3.org/2003/11/swrlb#" >
    <!ENTITY xsd "http://www.w3.org/2001/XMLSchema#" >
    <!ENTITY rdfs "http://www.w3.org/2000/01/rdf-schema#" >
    <!ENTITY rdf "http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
    <!ENTITY Ontology201210 "http://www.almfluss.com/rdf/0.1/Ontology.owl#" >
]>

    <rdf:RDF    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" 
                xmlns="http://www.almfluss.com/rdf/0.1/Ontology.owl#" 
                xmlns:Ontology201210="http://www.almfluss.com/rdf/0.1/Ontology.owl#" 
                xmlns:owl="http://www.w3.org/2002/07/owl#" 
                xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" 
                xmlns:swrl="http://www.w3.org/2003/11/swrl#" 
                xmlns:swrlb="http://www.w3.org/2003/11/swrlb#" 
                xmlns:xsd="http://www.w3.org/2001/XMLSchema#" 
                xml:base="http://www.almfluss.com/rdf/0.1/Ontology.owl#">

    <owl:DatatypeProperty rdf:about="#hasValue"/>

    <owl:Class rdf:about="#Dromen">
        <owl:equivalentClass>
            <owl:Class>
                <owl:unionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="#Huis"/>
                    <rdf:Description rdf:about="#Auto"/>
                </owl:unionOf>
            </owl:Class>
        </owl:equivalentClass>
        <owl:equivalentClass>
            <owl:Class>
                <owl:complementOf rdf:resource="#Werkloos"/>
            </owl:Class>
        </owl:equivalentClass>
        <owl:equivalentClass>
            <owl:Class>
                <owl:complementOf rdf:resource="#Arbeidsongeschikt"/>
            </owl:Class>
        </owl:equivalentClass>

    </owl:Class>
    <owl:NamedIndividual rdf:about="#instance_Dromen">
                <rdf:type rdf:resource="#Wielen"/>
                <rdf:type rdf:resource="#Onderstel"/>
    </owl:NamedIndividual>

    <owl:Class rdf:about="#Huis">
        <owl:equivalentClass>
            <owl:Class>
                <owl:complementOf rdf:resource="#Tsunami"/>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:NamedIndividual rdf:about="#instance_Huis"/>

    <owl:Class rdf:about="#Auto">
        <owl:equivalentClass>
            <owl:Class>
                <owl:intersectionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="#Wielen"/>
                    <rdf:Description rdf:about="#Onderstel"/>
                </owl:intersectionOf>
            </owl:Class>
        </owl:equivalentClass>
        <owl:disjointWith rdf:resource="#Huis"/>
    </owl:Class>
    <owl:NamedIndividual rdf:about="#instance_Auto"/>

    <owl:Class rdf:about="#Werkloos">
        <owl:equivalentClass>
            <owl:Class>
                <owl:unionOf rdf:parseType="Collection">
                    <rdf:Description rdf:about="#ZelfOntslag"/>
                    <rdf:Description rdf:about="#Ontslagen"/>
                </owl:unionOf>
            </owl:Class>
        </owl:equivalentClass>
    </owl:Class>
    <owl:NamedIndividual rdf:about="#instance_Werkloos"/>

    <owl:Class rdf:about="#Arbeidsongeschikt"/>
    <owl:NamedIndividual rdf:about="#instance_Arbeidsongeschikt"/>

    <owl:Class rdf:about="#Wielen"/>
    <owl:NamedIndividual rdf:about="#instance_Wielen"/>

    <owl:Class rdf:about="#Onderstel"/>
    <owl:NamedIndividual rdf:about="#instance_Onderstel"/>

    <owl:Class rdf:about="#Ontslagen"/>
    <owl:NamedIndividual rdf:about="#instance_Ontslagen"/>

    <owl:Class rdf:about="#ZelfOntslag"/>
    <owl:NamedIndividual rdf:about="#instance_ZelfOntslag"/>

    <owl:Class rdf:about="#Tsunami"/>
    <owl:NamedIndividual rdf:about="#instance_Tsunami"/>
    </rdf:RDF>

誰かが私を助けてくれることを願っています。

前もって感謝します。

よろしく、 Martijn van der Plaat

4

3 に答える 3

3

あなたのオントロジーは非常に混乱しています。たとえば、Auto は Huis と素であると言いましたが、Dromen は Huis と Auto の結合に相当します。

手書きの場合はやめてください。Protege 4を入手して、それを使用してオントロジーを作成してください。オントロジーの記述を容易にするだけでなく、さまざまな推論ツールと統合されているため、GUI で一貫性と充足可能性を確認できます。また、説明機能を使用して、特定の推論が行われた理由を説明することもできます。

最後に、ほとんどの場合、equivalentTo ではなく subClassOf が必要です。同等性は関係において両方向に進みますが、これは多くの場合、作成者が意図したものではありません。

于 2012-10-25T12:13:22.140 に答える
1

@Michaelが書いたことに同意します。（Stackoverflow）の質問の一部としてOWLコードを提示することに関するいくつかの一般的なポイント：

  • 人間が読める構文を使用します。つまり、XMLとRDFを避けます（両方を使用しました...）。どちらも人間と人間のコミュニケーションにとって不必要に冗長であるためです。
  • 各公理の背後にあるあなたの意図を平易な英語で説明してください
  • 英語のエンティティ名を使用する（オランダ語はStackoverflowユーザーの間で広く話されていません）
  • 無関係なものを削除します（この場合、SWRL名前空間プレフィックスなど）

これらの変更後、数行のコードが残る可能性があり、その問題がすぐに明らかになる可能性があります...

于 2012-10-26T21:17:25.527 に答える
1

あなたの（簡潔にするために、今からinstance_Dromenそれを呼び出します）は、 typeおよびtype であると定義されています。それがタイプであることにつながる理由は次のとおりです。iWielenOnderstelTsunami

  1. クラスが と の交点と同等であると定義したためAuto、はタイプ であると推測されます。WielenOndersteliAuto
  2. iは typeであるため、 typeAutoではないことがわかりますHuis(これら 2 つのクラスは互いに素であると定義されているため)。
  3. Tsunamiは の補数Huis(つまり、 a でないものはすべてHuisa Tsunami)として定義されており、i型ではないため、 はであるとHuis推測できます。iTsunami

もっと簡潔に言えば、オントロジーをモデル化する方法によって、すべてAutoがTsunami.

于 2012-10-26T23:45:31.503 に答える