基于浅层 Chase 的 OWL 2 QL 本体查询重写的简洁性研究
计算机科学中的逻辑
2014-01-23 v2
摘要
我们通过计算布尔函数的超图程序，研究了深度为 1 和 2 的 OWL 2 QL 本体上合取查询的一阶重写大小。我们获得了正面与负面的结果。深度为 1 的本体上的合取查询具有多项式大小的非递归 datalog 重写；树形查询具有多项式大小的正存在重写；然而在最坏情况下，正存在重写只能具有超多项大小。深度为 2 的本体上的查询的正存在重写与非递归 datalog 重写在最坏情况下会出现指数级膨胀，而除非 ，一阶重写是超多项的。我们还分析了任意本体上树形查询的重写，并观察到此类查询的查询蕴含问题是固定参数可解的。
引用
@article{arxiv.1401.4420,
title = {On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases},
author = {Stanislav Kikot and Roman Kontchakov and Vladimir Podolskii and Michael Zakharyaschev},
journal= {arXiv preprint arXiv:1401.4420},
year = {2014}
}