从合取查询到本体介导查询中的实例查询
人工智能
2020-10-23 v1 数据库
摘要
我们考虑基于 ALC 族表达性描述逻辑与合取查询（的并）的本体介导查询（OMQ），研究其重写为基于实例查询（IQ）的 OMQ 的可行性。我们的结果包括此类重写何时可能的精确刻画，以及判定可重写性的紧复杂度界。我们还给出了判定给定 MMSNP 句子是否等价于 CSP 这一相关问题的紧复杂度界。
引用
@article{arxiv.2010.11848,
title = {From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying},
author = {Cristina Feier and Carsten Lutz and Frank Wolter},
journal= {arXiv preprint arXiv:2010.11848},
year = {2020}
}