0
我有這些三元組(以龜表示):如何在rdfs中表達「C類容器的所有成員必須是M類」?
:C rdf:subClassOf rdfs:Container.
:M a rdfs:Class.
如何指定,只有:M
實例可以是:C
成員?我查看了this,但找不到答案。
我有這些三元組(以龜表示):如何在rdfs中表達「C類容器的所有成員必須是M類」?
:C rdf:subClassOf rdfs:Container.
:M a rdfs:Class.
如何指定,只有:M
實例可以是:C
成員?我查看了this,但找不到答案。
你不能用RDFS本體表達這個(也就是說,根據RDFS entailment regime解釋的RDF圖)。你不能用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 .
如果你wan't,使其與OWL DL兼容的,你不能使用RDF容器,但你可以讓你自己的類的容器: