owl - 猫头鹰成员 :Class versus 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 中表示，遵循 OWL 2 Web Ontology LanguageMapping to RDF Graphs 中指定的规则。文档。如果你看看那里， owl:NamedIndividual 的使用方式是:

如果本体包含公理:

Declaration( NamedIndividual( *:a ) )

那么 RDF 映射包含三元组:

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

同样，如果 RDF 映射包含:

*:x rdf:type owl:NamedIndividual .

那么本体包含

Declaration( NamedIndividual( *:x ) )

(对于带注释的公理还有一种情况，但本质上是相同的)。

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