owl:Class 与 owl:NamedIndividual 的成员

Question

是否正确，在 OWL-DL 中，如果某些 :x 具有 rdf:type 的 某物是 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"               .

Answer 1

OWL 和 RDF 是不同的东西。 OWL 本体可以用 RDF 表示，遵循 OWL2 Web Ontology 语言中指定的规则映射到 RDF Graphs 文档。如果您在那里查看，owl:NamedIndividual 的使用方式是：

如果 ontology 包含公理：

Declaration( NamedIndividual( *:a ) )

那么 RDF 映射包含三元组：

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

同样，如果 RDF 映射包含：

*:x rdf:type owl:NamedIndividual .

那么 ontology 包含

Declaration( NamedIndividual( *:x ) )

（注解公理还有一种情况，但本质上是一样的）

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

Member of an owl:Class versus owl:NamedIndividual