为轻量本体中介的合取查询答案寻找良好证明（技术报告）

在本体中介的查询回答中，对不完整数据源的访问由构成本体的概念层所中介。为正确计算查询答案，有必要对本体所表达的约束进行复杂推理。文献中存在大量将本体知识融入查询的技术。然而，这些方法中极少有为查询答案的可理解性而设计。本文中，我们通过改编一种最初应用于公理蕴涵以进行合取查询回答的证明框架，试图桥接这两种性质。我们研究了在确定存在低于给定质量阈值的证明时的数据复杂性与组合复杂性，该质量可用不同方式度量。通过区分诸如查询形状等各类参数，我们获得了该问题在轻量本体语言 DL-Lite_R 与 EL 下的复杂性概览，并简要考察了时序查询回答。