本体介导查询：基于电路复杂性的重写简洁性与联合复杂性
数据库
2016-05-05 v1 人工智能
计算复杂性
摘要
我们针对基于本体的数据访问（使用W3C标准本体语言OWL 2 QL）中的两个基本计算问题给出解决方案：本体介导查询(OMQs)的一阶重写的简洁性问题，以及OMQ回答的复杂性问题。我们根据OMQ的连接查询的形状（树宽、叶子数）及其本体的存在深度对OMQs进行分类。对于每个这些类，我们确定OMQ回答的联合复杂性，以及该类中所有OMQ是否具有多项式大小的一阶、正存在和非递归datalog重写。我们利用超图程序（一种用于布尔函数的新计算模型）获得简洁性结果，这使得将OMQ重写的大小与电路复杂性联系起来成为可能。
引用
@article{arxiv.1605.01207,
title = {Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity},
author = {Meghyn Bienvenu and Stanislav Kikot and Roman Kontchakov and Vladimir Podolskii and Michael Zakharyaschev},
journal= {arXiv preprint arXiv:1605.01207},
year = {2016}
}