containers - rdfsで「クラスCのコンテナのすべてのメンバーはクラスMでなければならない」と表現する方法は?

Question

これらのトリプルがあります（タートルで表現）：

:C rdf:subClassOf rdfs:Container.
:M a rdfs:Class.

:Mのインスタンスのみが のメンバーになることができるように指定するにはどうすればよい:Cですか? これを調べましたが、答えが見つかりませんでした。

Answer 1

これをRDFSオントロジーで表現することはできません(つまり、RDFS含意レジームに従って解釈されたRDFグラフとして)。これを OWL DL オントロジー (つまり、OWL ダイレクト セマンティクスに従って解釈された OWL オントロジー) で表現することはできません。ただし、OWL Fullで(つまり、OWL RDFベースのセマンティクスに従って解釈されるRDFグラフとして)表現できます。タートルで:

[
  a  owl:Restriction;
  owl:onProperty  rdfs:member;
  owl:someValuesFrom  :C
]
rdfs:subClassOf  :M .

OWL DL と互換性を持たせたくない場合は、RDF コンテナーを使用してはなりませんが、独自のクラスのコンテナーを作成できます。

:Container  a  owl:Class .
:C  rdfs:subClassOf  :Container .
:M  a  owl:Class .
:member  a  owl:ObjectProperty .
[
  a  owl:Restriction;
  owl:onProperty  :member;
  owl:someValuesFrom  :C
]
rdfs:subClassOf  :M .