处理规则头部的存在变量

如何解决处理规则头部的存在变量

我想将本体的匿名超类翻译并查询成数据记录规则。例如，我有一个像“Chair subclassOf (headOf some Department)”这样的公理，我已经像这样翻译了这个公理

Chair(x) <- headOf(x,y)
Deaprtment(y) <- headOf(x,y)

因为我不想在像这样的头部连接：headOf(x,y),Department(y) <- Chair(x) 或规则头部中的存在变量。所以我打破并像上面一样翻译它。

我的问题是，有没有更好的方法来处理数据记录规则中的存在限制，而规则头部没有存在变量？作为参考，此示例来自 LUBM Ontology。

基本上我想在序言中阅读这个查询。 基准数据不产生任何类 Chair 的实例。相反，每个 部门个人通过以下方式与该部门的讲座教授相关联 属性headOf。因此，此查询需要实现，即推断 那个教授是班级主席的一个实例，因为他或她是一个班级的负责人 部门。

SELECT ?X,?Y WHERE {?X rdf:type ub:Chair . ?Y rdf:type ub:Department . ?X ub:worksFor ?Y . ?Y ub:subOrganizationOf <http://www.University0.edu> }

我不明白如何处理规则中的存在，所以它给了我椅子的实例。

谢谢。