なぜOWL Fullは決まりませんか？

Question

私はOWL Fullがなぜ決めることができないのかを見てきましたが、わかりやすい例が見つかりませんでした。

「Entailment Closure」に起因するものであり、OWL FullがPropertiesであり、同時にIndividualでもあるクラスを持つことができるという事実と関連していることを説明しました。

しかし、私はそれらのステートメントの関係を理解し​​ていません。

Answer 1

質問には多くの意味があり、簡単には答えられません。また、OWL-DLとOWL-Fullの区別は固定されていません。当初OWLで制限されていたものは後に許可されました。最も普及しているケースはpunningです。

しかし、基本的には、アイデアがはいまたは全くに答え、または「無限」はまだを知らない知らないを避けることができる推論を書くことができるようにすることです。この30分lecture on Tableaux Algorithmと多分前と後の同じコースのカップルが助けになるかもしれません。

ところで、コンピューティング閉会の決定不能と不可能はthe same thingではありません。

Answer 2

OWLの完全な不確定性を理解する最も簡単な方法は、OWL 2 DLのグローバルな制限、特に単純なロールの部分、つまりhttps://www.w3.org/TR/owl2-syntax/#Global_Restrictions_on_Axioms_in_OWL_2_DLを調べることです。これらの制限が取り除かれたOWL 2 DLだけが決定不可能であるため、それらを含むOWL 2 Fullも決定できません。

これらのスライドhttp://www.cs.man.ac.uk/~horrocks/Slides/ijcai-slides.pdfには、上記の制限を緩和すると（一部）、ロジックが確定できないリンクが含まれています。

Answer 3

OWL FullとOWL DLの数学的コンストラクタのセットは同じですが、OWL Fullはこれらのコンストラクタの使用に制限がありません。なぜOWL Fullが決めることができないかを知るために推移的プロパティの使用に制限がないと考えてください。

Answer 4

ここには、OWL 2 Fullがなぜ決めることができないのかを理解するのに十分な例があります。これはRussel's paradoxと関係があります。 OWL Fullでは

は、インスタンスとしての地位を持つクラスを定義することができます

:IsInstanceOfItself a :IsIntanceOfItself . 

これは、RDF/RDFSでも可能ですが、それはロジックが決定不能ことはありません。決定不能につながるのは、OWL 2 Fullで逆説的なクラスを定義できるという事実です。あなたのインスタンスとして自分自身を持っているクラスのクラスを定義することができます

:HaveThemselvesAsInstance 
    rdfs:subClassOf [ 
     a owl:Restriction; 
     owl:onProperty rdf:type; 
     owl:hasSelf true 
    ] . 

次に、あなたがインスタンスとして自分自身を持っていないクラスを定義することができます今すぐ

:DoNotHaveThemselvesAsInstance 
    owl:equivalentClass [ owl:complementOf :HaveThemselvesAsInstance ] . 

を、私たちは質問をすることができますです:DoNotHaveThemselvesAsInstance自身のインスタンス？そうであると仮定してください。次に：

​​3210

がtrueです。したがって、:DoNotHaveThemselvesAsInstanceは、rdf:typeプロパティでそれ自身と関係のないクラスにあるという定義に従います。だから仮定は間違っています。したがって、:DoNotHaveThemselvesAsInstanceは、自分自身でrdf:typeを持つクラスの補足でなければなりません。したがって、それは:DoNotHaveThemselvesAsInstanceのインスタンスである必要があります。したがって、上記の仮定された関係が成立するはずです。最初のステップに戻ります。したがって、上で定義したクラスを定義するオントロジーのモデルは存在しません。だからインスタンスとして自分自身を持っていないクラスのクラスがあることはできません。だから、おそらく、すべてのクラスは、インスタンスとして、おそらく？しかし、いくつかのクラスがそれ自身のインスタンスではないオントロジーのモデルがあります。だから... OWL 2 Fullは本当にうんざりしていますね。