论文标题
临时连接查询在扩展的DL-Lite家族中回答
Temporal Conjunctive Query Answering in the Extended DL-Lite Family
论文作者
论文摘要
基于本体的查询答案（OBQA）通过在本体中编码的域知识在数据库中增加了经典查询。 OBQA系统使用本体论知识来推断数据中未明确给出的新信息。此外，它们通常采用开放世界的假设，这意味着数据中未明确说明的知识，并且不推断的知识被认为不是真实或错误。然而，经典的OBQA仅考虑数据的快照，这意味着有关数据的时间演变的信息不用于推理，因此丢失了。我们研究了允许通过经典本体访问时间数据的时间结合查询（TCQ）。特别是，我们研究了在扩展DL-lite家族中写入的本体论的TCQ需要的组合和数据复杂性。这些逻辑中有许多允许在及时的环境中进行有效的推理，并在实践中成功应用。我们通过这些逻辑显示了时间推理的全面复杂性结果。
Ontology-based query answering (OBQA) augments classical query answering in databases by domain knowledge encoded in an ontology. Systems for OBQA use the ontological knowledge to infer new information that is not explicitly given in the data. Moreover, they usually employ the open-world assumption, which means that knowledge that is not stated explicitly in the data and that is not inferred is not assumed to be true or false. Classical OBQA however considers only a snapshot of the data, which means that information about the temporal evolution of the data is not used for reasoning and hence lost. We investigate temporal conjunctive queries (TCQs) that allow to access temporal data through classical ontologies. In particular, we study combined and data complexity of TCQ entailment for ontologies written in description logics from the extended DL-Lite family. Many of these logics allow for efficient reasoning in the atemporal setting and are successfully applied in practice. We show comprehensive complexity results for temporal reasoning with these logics.
