owl成员:类与owl:NamedIndividual

Question

对吗，在owl中，如果某些:x有一个rdf:类型的东西是owl:Class，例如:Car。

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

或等量

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

不能推断:x必须是猫头鹰：(命名)个体，因此必须始终手动指定附加事实？

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

Answer 1

OWL和RDF是不同的东西。通过遵循OWL 2 Web Ontology Language Mapping to RDF Graphs文档中指定的规则，OWL本体可以用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)。