Scifaro

中文

OWL 2 QL本体中介查询的理论最优Datalog重写

计算机科学中的逻辑 2016-04-19 v1

作者: Meghyn Bienvenu , Stanislav Kikot , Roman Kontchakov , Vladimir V. Podolskii , Michael Zakharyaschev

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明，对于具有以下特征的OWL 2 QL本体中介查询：(i)有界深度本体与有界树宽合取查询，(ii)有界深度本体与有界叶子树形合取查询，以及(iii)任意本体与有界叶子树形合取查询，可分别通过LOGCFL、NL和LOGCFL算法构造并求值非递归Datalog重写，这与最优组合复杂度相匹配。

关键词

本体中介查询 OWL 2 QL Datalog重写合取查询有界树宽组合复杂度

引用

@article{arxiv.1604.05258,
  title  = {Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries},
  author = {Meghyn Bienvenu and Stanislav Kikot and Roman Kontchakov and Vladimir V. Podolskii and Michael Zakharyaschev},
  journal= {arXiv preprint arXiv:1604.05258},
  year   = {2016}
}

备注

full version of the paper in the Proc. of the 29th Int. Workshop on Description Logics (DL 2016)