问题描述
我想将本体的匿名超类翻译并查询成数据记录规则。例如，我有一个像“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> }
我不明白如何处理规则中的存在，所以它给了我椅子的实例。
谢谢。
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）