フクロウ：allValuesFromとrdfs：範囲の違い

Question

私はセマンティックウェブに取り組んでいると私は思ったんだけど：

:Person 
    a owl:Class ; 
    rdfs:subClassOf 
    [ a owl:Restriction ; 
     owl:onProperty :hasParent ; 
     owl:allValuesFrom :Person 
    ] . 

など範囲の制限を書く：のような制限を書くのsemanitcに差があります：

:hasParent rdfs:range :Person. 

これは私には同じことを意味しているように見えます。親はPersonタイプを持つ必要があります。違いはありませんか？

Answer 1

最初のスニペットは、親が必ず:Personの親を持つ:Personの親を意味します。ただし、:Dogには、例えば:Personではない親がいる場合があります。 2番目のスニペットでは、このことが何であるかにかかわらず、親を持つ人は必ず:Personという親を持っています。

編集krajolさんのコメントの後：

最初のスニペットのallValuesFrom制限と等価ではありません。allValuesFrom制限の場合

:hasParent rdfs:domain :Person; 
      rdfs:range :Person . 

、親があることは可能です人ではない。 rdfs:domain/rdfs:rangeの組み合わせの場合はできません。 allValuesFromの制限では、人には両親がいて、犬には犬の両親などがあると言うことができます。ドメイン/範囲では、できません。

Answer 2

注目すべき別の違いがあります。 1つのクラスに複数のrdfs：range（またはrdfs：domain）が3つある場合、範囲またはドメインは指定された範囲/ドメインの接続（交差点）です。文言はあいまいではありませんが、the RDFS specを参照してください。this post

オントロジーで推論を実行すると、指定された範囲/ドメインクラスのすべてのスーパークラスに対してrdfs：range/domainトリプルが推測されます。意味的には間違いはありませんが、これは混乱するかもしれません。これはallValuesFromでは発生しません。

Answer 3

（私は受け入れ答え不足の本質を発見したので、への答えを追加するには、すでに質問に答え。）

[ a owl:Restriction ; 
    owl:onProperty :hasParent ; 
    owl:allValuesFrom :Person 
] 

がhasParent述語のために任意の値すべての物事のクラス」と読むことができます（潜在的になし）はタイプPerson "です。

Personは、このクラスのサブクラスであると言って、このクラスのより特殊化されたバージョンであると言います。だから、PersonはまだhasParentの値として他のPersonを持つことができます。

これはhasParentの有効なドメイン/範囲については何も述べていないため、rdfs:rangeとは異なります。 Antoine's exampleをリサイクルするには、次のように言うことができます。

:dog1 a :Dog. 
:dog2 a :Dog. 
:dog1 :hasParent :dog2.