Как выразить «все члены контейнеров класса C должны быть класса M» в rdfs?

Question

У меня есть эти тройки (выраженные в черепахе):

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

Как указать, что только экземпляры :M могут быть членами :C? Я просмотрел this, но не смог найти ответ.

Answer 1

Вы не можете выразить это с помощью онтологии RDFS (то есть, как граф RDF, интерпретируемый в соответствии с RDFS entailment regime). Вы не можете выразить это с помощью онтологии OWL DL (то есть онтологии OWL, интерпретируемой в соответствии с OWL direct semantics). Однако он может быть выражен с помощью OWL Full (то есть, как граф RDF, интерпретируемый в соответствии с OWL RDF-based semantics). В Turtle:

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

Если вы wan't, чтобы сделать его совместимым с OWL DL, вы не должны использовать контейнеры RDF, но вы можете сделать свой собственный класс контейнеров: