3


a(x,y)
b(y,z)次の 2 つの関係が与えられると想像してください
:
c(x,z)
そして、これは、c に SuperProperty Of (Chain) を追加することによって Protégé で明示的に表現できます。このようなプロパティ:
aob SubPropertyOf c


これを表現して、 a(x,y)
c(x,z)しか知らないと想像してください。したがって 、b(y,z)
も知っていることを明示的に表現するにはどうすれ ばよいでしょうか。これも SuperProperty Of (Chain )、しかし b プロパティの場合は?

私が最初に試してみようと思ったのは:
ao inverse(c) SubPropertyOf b

このProtégéは、サークルがあると言って気に入らなかった。今、私はとても混乱しています。

4

2 に答える 2

1

a と c を知っていても、b は必要ありません。これは、古典的な例である叔父の定義から簡単に説明できます。

:hasUncle
  rdf:type owl:ObjectProperty ;
  owl:propertyChainAxiom (
      :hasParent
      :hasBrother
    ) .

次に、:David :hasParent :Maryとの場合:Mary :hasBrother :John、DL 推論者は実際にそれを推論し:David :hasUncle :Johnます。:David :hasUncle :Johnしかし、とを主張する場合:David :hasParent :Mary、それは を推論するのに十分ではありません:Mary :hasBrother :John。実際、ジョンはメアリーのもう一人の親の兄弟になることができます。

:hasUncle定義ステートメントは、プロパティ チェーンがサブプロパティであり、同等のプロパティではないことを示していることに注意してください。したがって、機能的であると主張しても、推論器はaとcからb:hasParentを推論しません。ただし、OWL2 では、オブジェクト プロパティの同等の組み合わせを使用することはできません。

プロパティ チェーンは注意して適用する必要があります。たとえば、S1 º S2 º S3 º ... º Sn ⊑ R では、R は式の左辺の最初または最後にのみ配置できます。そうでないと決められません。これは、通常の RBox に対する制限の 1 つです。また、プロパティ チェーン、またはより正式には "General Role Inclusion" は、通常の RBox に適用された場合にのみ決定可能です。

于 2016-05-06T18:11:17.137 に答える