貓頭鷹的成員：階級與貓頭鷹：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) 。