扩展 DL-Lite 族中的时序合取查询应答
计算机科学中的逻辑
2020-03-24 v1
摘要
基于本体的查询应答（OBQA）利用本体中编码的领域知识来增强数据库中的经典查询应答。OBQA 系统借助本体知识推断数据中未显式给出的新信息。此外，它们通常采用开放世界假设，即数据中未显式陈述且未被推断的知识不被假定为真或假。然而，经典 OBQA 仅考虑数据的快照，这意味着有关数据时间演化的信息未被用于推理而因此丢失。我们研究时序合取查询（TCQs），其允许通过经典本体访问时序数据。特别地，我们研究了用扩展 DL-Lite 族中描述逻辑写成的本体进行 TCQ 蕴含的组合复杂性与数据复杂性。这些逻辑中有许多在 nontemporal（非时序）设定下允许高效推理，并已成功应用于实践。我们给出了利用这些逻辑进行时序推理的全面的复杂性结果。
引用
@article{arxiv.2003.09508,
title = {Temporal Conjunctive Query Answering in the Extended DL-Lite Family},
author = {Stefan Borgwardt and Veronika Thost},
journal= {arXiv preprint arXiv:2003.09508},
year = {2020}
}