Question

我有这些三元组（用乌龟表示）：

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

如何指定只有:M的实例可以是:C的成员？我浏览了this，但无法找到答案。

Answer 1

您无法使用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 .

如果您不想使其与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 .

如何表达＆＃34; C类容器的所有成员必须属于M＆＃34;在rdfs？

1 个答案: