基于 OWL 2 QL 与有界树宽查询的基于本体的数据访问的复杂性
数据库
2020-09-25 v2
摘要
我们关注的是在基于本体的数据访问中应答 OWL 2 QL 本体介导查询（OMQ）相较于评估其底层树形及有界树宽合取查询（CQ）所带来的开销。我们证明，具有有界深度本体的 OMQ 拥有非递归 Datalog（NDL）重写，这些重写可在组合复杂性意义下于 LOGCFL 中构造与评估，若其 CQ 为具有有界叶子数的树形则甚至可在 NL 中完成，因此在复杂性理论意义上不产生额外开销。对于具有任意本体与有界叶子 CQ 的 OMQ，其 NDL 重写可在 LOGCFL 中构造与评估。我们通过实验展示了我们的重写相较于先前提出的 NDL 重写的可行性与可扩展性。在负面结果方面，我们证明：若以本体深度或 CQ 中的叶子数作为参数，则应答树形 CQ 的 OMQ 不是固定参数易处理的；并且应答具有固定（无限深度）本体的 OMQ 对于树形 CQ 是 NP 完全的，而对于有界叶子 CQ 则为 LOGCFL。
引用
@article{arxiv.1702.03358,
title = {The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries},
author = {Meghyn Bienvenu and Stanislav Kikot and Roman Kontchakov and Vladimir V. Podolskii and Vladislav Ryzhikov and Michael Zakharyaschev},
journal= {arXiv preprint arXiv:1702.03358},
year = {2020}
}
备注
PODS 2017 long version. arXiv admin note: text overlap with arXiv:1604.05258