边界守卫本体中介查询的一阶可重写性
数据库
2020-11-19 v1 人工智能
摘要
我们关注基于（边界）守卫存在规则与（并集）合取查询的本体中介查询（OMQ），并研究 FO 可重写性问题，即一个 OMQ 是否可重写为一阶查询。我们采用两种不同的方法。第一种方法使用标准双向交替奇偶树自动机。尽管它未给出紧复杂度界，但它基于广为人知的工具给出了透明的解决方案。第二种方法依赖于一种称为代价自动机的复杂自动机模型。这使我们证明该问题是 2ExpTime 完全的。在两种方法中，我们都给出了 FO 可重写性的语义刻画，其本身具有独立意义。
引用
@article{arxiv.2011.09314,
title = {First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries},
author = {Pablo Barcelo and Gerald Berger and Carsten Lutz and Andreas Pieris},
journal= {arXiv preprint arXiv:2011.09314},
year = {2020}
}