基于全称 - 存在桥接规则的情境化 RDF/OWL 知识查询回答：利用无环性实现可判定性（完整版）
计算机科学中的逻辑
2014-06-05 v1 人工智能
摘要
近期语义网 (SW) 上情境依赖知识的爆发使得四元组在 SW 社区中的重要性得以显现。四元组通过添加 RDF 三元组的“情境”这一新参数扩展了标准 RDF 三元组，从而告知推理机区分不同情境中的知识。虽然这种区分将 RDF 图中的三元组分离到不同情境中，并允许推理在不同情境间解耦，但仍需提供桥接规则以实现这些情境间知识的互操作。我们将一组四元组连同桥接规则称为四元组系统。在本文中，我们讨论了具有表达性全称 - 存在桥接规则的四元组系统上的查询回答问题。事实证明，一般而言，四元组系统上的查询回答是不可判定的。我们推导出了一个可判定的四元组系统类，即情境无环四元组系统，对于该类系统可以使用前向链式推理进行查询回答。我们为推导出的该类系统建立了查询蕴涵的数据复杂度和组合复杂度的紧界。
引用
@article{arxiv.1406.0893,
title = {Query Answering over Contextualized RDF/OWL Knowledge with Forall-Existential Bridge Rules: Attaining Decidability using Acyclicity (full version)},
author = {Mathew Joseph and Gabriel Kuper and Luciano Serafini},
journal= {arXiv preprint arXiv:1406.0893},
year = {2014}
}