owl - 猫头鹰的成员：Class 与 owl:NamedIndividual

Question

对吗，在 OWL-DL 中，如果某些 :x 具有 rdf:type 的东西，它是 owl:Class，例如 :Car

:Car  rdf:type  owl:Class .
:x    rdf:type     :Car .

或同等学历

:Car  a  owl:Class .
:x    a     :Car .

不能推断：x 必须是一个 owl:(Named)Individual，因此必须始终手动指定附加事实？

:x  a          :Car                ;
    a          owl:NamedIndividual ;
    :hasType   :Ford               ;
    :hasColor  "red"               .

score 4 · Accepted Answer

OWL 和 RDF 是不同的东西。通过遵循OWL 2 Web Ontology Language Mapping to RDF Graphs文档中指定的规则，可以在 RDF 中表示 OWL 本体。如果你在那里看看，owl:NamedIndividual 的使用方式是：

如果本体包含公理：

声明(NamedIndividual(*:a))

那么 RDF 映射包含三元组：

T(*:a) rdf:type owl:NamedIndividual .

同样，如果一个 RDF 映射包含：

*:x rdf:type owl:NamedIndividual .

那么本体包含

声明(NamedIndividual(*:x))

（注释公理还有另一种情况，但本质上是相同的）。

在查看更多语义文档时，我看不到任何其他允许添加x rdf:type owl:NamedIndividualRDF 三元组或推断的地方（枚举类表达式除外） NamedIndividual(x)。

1 回答 1