4

私はOWL2 入門書を半分読んでいて、普遍的な定量化を理解するのに問題があります

与えられた例は

EquivalentClasses(
    :HappyPerson 
    ObjectAllValuesFrom( :hasChild :HappyPerson )
)

すべての子供が幸せな人であれば、その人は幸せな人であると言えます。しかし、John Doe に子供がいない場合、彼は HappyPerson のインスタンスになることができるでしょうか? 彼の親はどうですか？

また、この部分は非常に紛らわしいと思います。

したがって、上記のステートメントにより、子供がいない人はすべて幸せであると見なされます。

しかし、それは ObjectAllValuesFrom() コンストラクターに違反していませんか?

4

2 に答える 2

7

入門書は実際にこれを説明するのに非常にうまく機能していると思います。特に次のことです。

全称量化を使用するための自然言語指標は、「のみ」、「排他的に」、または「他には何もない」などの単語です。</p>

これをもう少し単純化するために、あなたが与えた式を考えてみましょう：

HappyPerson ≡ ∀ hasChild . HappyPerson

これは、aはまた(幸せでもある)子供しかHappyPersonいない人だということです。論理的には、これは実際には幸せな子供のインスタンスの存在について何も言いません。これは、存在する可能性のある子に対する普遍的な制約として機能します(これには、子を持たないのインスタンスが含まれることに注意してください)。HappyPersonHappyPerson

これを存在量指定子, exists (∃)と比較してください:

HappyPerson ≡ ∃ hasChild . HappyPerson

これは、 aが である子供を少なくとも 1 人HappyPerson持つ人であることを示しています。(∀) とは対照的に、この式は実際には、 a のすべてのインスタンスに対して幸せな子供が存在することを意味します。HappyPersonHappyPerson

最初は直観的ではありませんが、その答えは、ObjectAllValuesFrom一次論理 (実際には記述論理) における OWL 構造の解釈/セマンティクスにあります。基本的に、ObjectAllValuesFrom構文は論理的全称量化子 (∀)にObjectSomeValuesFrom関連し、構文は論理的存在限定子 (∃)に関連します。

于 2010-11-17T05:20:18.477 に答える