猫头鹰的成员：阶级与猫头鹰：NamedIndividual

Question

是不是，在OWL-DL中，如果有的话：x有一个rdf：类型的东西是猫头鹰：类 ，例如：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本体可以通过遵循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 triple或推断NamedIndividual(x) 。