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

Question

是不是，在OWL-DL中，如果有的话：x有一个rdf：类型的类型的猫头鹰：Class ，例如： ：车载

: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三元组或推断NamedIndividual(x)的任何其他位置（枚举类表达式除外）。< / p>