基于上下文化RDF/OWL知识并使用全称-存在桥规则的查询应答：可判定有限扩展类（后印本）
数据库
2015-12-15 v1 人工智能
计算机科学中的逻辑
摘要
语义网（SW）中上下文知识的扩散导致了诸如\emph{quads}等知识格式在SW社区中的流行。quad是RDF三元组加上三元组的上下文信息的扩展。本文中，我们研究增强了全称-存在桥规则的quads上的查询应答问题，该桥规则支持不同上下文中三元组间推理的互操作。我们将一组quads连同此类表达性桥规则称为quad-system。一般而言，quad-systems上的查询应答是不可判定的。我们推导出quad-systems的可判定类，对其可使用前向链进行查询应答。提供了用于这些类的sound、complete和terminating过程（即著名的chase算法的适配）以判定查询蕴含。safe、msafe和csafe类quad-systems将在chase计算过程中生成的空白节点的结构限制为有限深度的有向无环图（DAG）。RR和restricted RR类在chase计算过程中不允许生成空白节点。已为推导出的类确立了查询蕴含的数据复杂性和组合复杂性。我们进一步展示，模多项式时间翻译，quad-systems等价于谓词限制为三元元的全称-存在规则。随后我们展示，safety技术在表达性上严格包含一些著名且表达性强的技术，例如joint acyclicity和model faithful acyclicity，这些技术用于全称-存在规则领域中的可判定性保证。
引用
@article{arxiv.1512.03899,
title = {Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Decidable Finite Extension Classes (Post Print)},
author = {Mathew Joseph and Gabriel Kuper and Till Mossakowski and Luciano Serafini},
journal= {arXiv preprint arXiv:1512.03899},
year = {2015}
}