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

【问题标题】：Member of an owl:Class versus owl:NamedIndividual猫头鹰的成员：Class 与 owl:NamedIndividual
【发布时间】：2016-05-11 09:06:57
【问题描述】：

对吗，在 OWL-DL 中，如果某些 :x 的 rdf:type 为 something 是 owl:Class，例如:汽车

: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"               .

【问题讨论】：

有趣的问题！请注意，这里可能有两件事在起作用：OWL-DL 语义，以及 OWL 本体和 RDF 之间的映射。我认为，OWL 语义不应该让你推断 RDF 三元组，而是新的 OWL 断言，而那些将被映射到 RDF 三元组。
例如，如果您在 w3.org/TR/2012/REC-owl2-direct-semantics-20121211 中搜索“NamedIndividual”，则没有任何结果。
@Joshua：现在我只使用 owl:NamedIndividual 来标记个人，以便通过 Sparql 查询找回他们。但是这些信息的存在是否也会以任何方式影响推理者（如 Stardog、Pellet、Hermite）？（我认为你的答案是“不”;-)

【解决方案1】：

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

如果本体包含公理：

声明(NamedIndividual(*:a))

那么 RDF 映射包含三元组：

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

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

*:x rdf:type owl:NamedIndividual .

那么本体包含

声明(NamedIndividual(*:x))

（注释公理还有另外一种情况，但基本相同）。

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

【讨论】：