rdfsで「クラスCのコンテナのすべてのメンバーがクラスMでなければなりません」という表現方法は？

Question

私はこれらのトリプル（カメで表現）している：どのように私は:Mのインスタンスのみが:Cのメンバーにすることができることを

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

を指定するのですか？私はthisを見ましたが、答えを見つけることができませんでした。

Answer 1

RDFSオントロジーで表現することはできません（つまり、RDFグラフはRDFS entailment regimeに従って解釈されます）。これをOWL DLオントロジー（すなわち、OWL direct semanticsに従って解釈されるOWLオントロジー）で表現することはできません。ただし、OWL Full（すなわち、OWL RDF-based semanticsに従って解釈されるRDFグラフ）として表現できます。 Turtleで：

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

あなたはOWL DLと互換性を持たせるためにwan't場合は、RDFコンテナを使用することはできませんが、あなたがコンテナの独自のクラスを作ることができます。