Rdf 什么是猫头鹰：没有什么课程是为做什么而设计的？

如果您查看，您将看到一组类定义。其中之一是：

owl:Nothing a owl:Class ;
     rdfs:label "Nothing" ;
     rdfs:comment "This is the empty class." ;
     rdfs:isDefinedBy <http://www.w3.org/2002/07/owl#> ;
     rdfs:subClassOf owl:Thing . 

owl:Nothing一个owl:Class；
rdfs：标签为“无”；
rdfs：注释“这是空类。”；
rdfs:isDefinedBy；
rdfs：猫头鹰的子类：东西。

这有目的吗？如果有，是什么？它有目的。对应于a，它是一种逻辑（一阶逻辑的子集），用于通过对概念进行交集、并集、限制等来定义概念。概念是某种集合，你需要底部的概念（owl:Nothing，empty set）和顶部的概念（owl:Thing，所有个体的集合），理论才能有好的属性

除了纯粹的理论考虑外，它还有一个实际目的，例如：

Person ⊓ ∀ hasChild:⊥.

这是一个描述没有孩子的人的概念

⊥是最底层的概念，被解释为空集
∅<代码>⊓表示交叉点<代码>∀ 孩子气：⊥映射到OWL的allValuesFrom

请参阅。
它还与owl:bottomObjectProperty和owl:bottomDataProperty一起用于一致性检查。如果某个个体是owl:Nothing的实例，或者两个个体通过owl:bottomObjectProperty关联，或者某个个体和某个文本通过owl:bottomDataProperty关联，那么本体是不一致的。其他实际用途：我们可以说C和D通过C是不相交的⊓ D⊑ ⊥.另外，在实际的sparql查询中使用owl:Nothing实用吗？我问，因为我们有
减号
，
过滤器存在
，
过滤器不存在
Sparql是RDF的查询语言，而不是OWL的查询语言。Sparql评估甚至不处理最简单的RDF语义，更不用说RDF或OWL语义了。为此，您必须使用某种形式的推断，这种推断可能由三重存储提供，但它不是Sparql固有的。Sparql进行图形模式匹配。OWL可以序列化为RDF，但这不是一个很好的匹配，我不认为您可以使用Sparql查询OWL：没有任何真正有用的东西。正如@JoshuaTaylor在他的评论中指出的那样，它对于实际的推理者是有用的。请注意，正如在jkbkot答案和评论中一样，它对于推理是有用的，但owl本体本身并不是由实际的本体导入的。此本体定义了语言本身，bit不需要由实际本体导入才能使用其类。@Ignazio很有趣，谢谢