15

のEquivalentClassとSubClassの違いは何ですか？OWL入門書を読んでいると、チュートリアルでは次のようにSubClassOfを頻繁に使用して新しいクラスを宣言していることがわかります。

SubClassOf(
  :Teenager
  DataSomeValuesFrom( :hasAge
    DatatypeRestriction( xsd:integer
      xsd:minExclusive "12"^^xsd:integer
      xsd:maxInclusive "19"^^xsd:integer
    )
  )
)

書けますか

EquivalentClass(
  :Teenager
  DataSomeValuesFrom( :hasAge
    DatatypeRestriction( xsd:integer
      xsd:minExclusive "12"^^xsd:integer
      xsd:maxInclusive "19"^^xsd:integer
    )
  )
)

代わりは？

4

3 に答える 3

26

Aが のサブクラスで あると述べるとき、これは必ずしも のすべての特性を継承するようにB制限しますが、その逆ではありません。あなたの例では、= 、および= (私自身の表記法ですが、アイデアはわかります)。ABATeenagerBhasAge [12:19]

これは、OWLオントロジーのインスタンスは、必ず範囲内の値を持つTeenagerプロパティも持たなければならないことを意味しますが、その逆ではありません。具体的には、範囲内の値を持つプロパティを持つ何かのインスタンスが のインスタンスでもあるという意味ではありません。これを明確にするために、 class のインスタンス ( と呼ばれる) を考えてみましょう。次のように言うこともできます。hasAge[12:19]hasAge[12:19]TeenagercCar

c . hasAge 13

これは、 のインスタンスが 13 歳cであることを示しています。ただし、上記でCar定義したサブクラスの公理では、推論者はそれが のインスタンスでもあると推論しません(ティーンエイジャーが車ではなく人である場合、おそらく私たちが望むように)。TeenagercTeenager

同等性を使用する場合の違いは、サブクラスの関係が 両方向に進むことを意味することです。したがって、範囲内の値を持つプロパティを持つものと同等Teenagerであると定義された 2 番目の公理を代わりに含めると、推論者は車も のインスタンスであると推論します。hasAge[12:19]cTeenager

于 2010-11-17T05:43:35.880 に答える
5

同等のクラスは同じメンバーを持つ場合があります。

:USPresident owl:equivalentClass :USCommanderInChief

どちらも同じ個人 (すべてまたは一部の米国大統領) を持ちます。したがって、ジョン・アダムズが米国最高司令官であったと主張する場合、ジョン・アダムズは米国大統領でもあったと推測できます。

サブクラスでは、階層を示しています。たとえば、GrannySmithApple は Apple の一種です。

于 2012-04-25T18:43:07.567 に答える