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-based 语义解释的 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 .