基于本体的数据访问：通过析取 Datalog、CSP 和 MMSNP 的研究
数据库
2013-06-07 v2 人工智能
摘要
基于本体的数据访问关注在由本体提供的领域特定知识存在的情况下查询不完整数据源。该设置中的一个核心概念是本体介导查询，即与本体相结合的数据库查询。本文研究了几类本体介导查询，其中数据库查询以某种形式的合取查询给出，而本体则用描述逻辑或其他相关的一阶逻辑片段（如保护片段和一元否定片段）表述。本文的贡献有三方面。首先，我们用析取 datalog 的片段刻画了本体介导查询的表达能力。其次，我们建立了本体介导查询与约束满足问题 (CSPs) 及其逻辑推广 MMSNP 公式之间的紧密联系。第三，我们利用这些联系获得了关于以下方面的新结果：(i) 本体介导查询的一阶可重写性和 datalog 可重写性，(ii) 本体介导查询的 P/NP 二分法，以及 (iii) 本体介导查询的查询包含问题。
引用
@article{arxiv.1301.6479,
title = {Ontology-based Data Access: A Study through Disjunctive Datalog, CSP, and MMSNP},
author = {Meghyn Bienvenu and Balder ten Cate and Carsten Lutz and Frank Wolter},
journal= {arXiv preprint arXiv:1301.6479},
year = {2013}
}