查询可以推断subClassOf吗？

如何解决查询可以推断subClassOf吗？

我有一组信息（当然，并没有全部显示）：

s:Marshmallow    rdfs:subClassOf    s:Android

s:galaxyEdge6    s:OS       s:Marshmallow;
                 s:price    350.
...

我想查询价格均低于400的Android手机。

我的查询：

SELECT ?phone WHERE {
?phone     s:OS               ?system
?system    rdfs:subClassOf    s:Android
?phone     s:price            ?value
} FILTER (?value < 400)

根据上面的查询，我是否需要包含?system rdfs:subClassOf s:Android？或者我可以删除该行并将其上方的行更改为：?phone s:OS s:Android？

解决方法

s:Marshmallow    rdfs:subClassOf    s:Android

这意味着任何 a s:Marshmallow 的个体也是 a s:Android。您不使用 a (rdf:type) 作为谓词，因此没有什么可推断的。

为了说明为什么推断这样的事情会很危险，请考虑foaf:membershipClass。这将个人 (foaf:Group) 与其成员的类相关联，使得两者等价（即，作为该组的成员推断具有特定类，反之亦然）。然而，当 foaf:membershipClass ex:MyClass 在这里显然是超类时，从 foaf:membershipClass owl:Thing 推断出类似 owl:Thing 的东西是危险的。

您有两种选择来处理这个问题。无需修改本体，只需将s:OS转化为a，即可从s:galaxyEdge6 a s:Android推断s:galaxyEdge6 a s:Marshmallow。但是，我不喜欢这种方法，因为它离现实世界中的“is a”关系太远了，而且更难查询操作系统。

我个人会选择 SKOS 来建模操作系统的概念，即具有 s:Android a skos:Concept 和 s:Marshmallow skos:broader s:Android。但是，您很可能还需要 OWL 来指定 s:OS <narrower> 包含 s:OS <broader>（无论如何您都必须在不使用 SKOS 的情况下这样做）。