DL-Lite的Horn延拓及其非确定性图查询复杂度

关于本体中介查询 answering（OMQA）的文献由两个关键结果塑造：DL-Lite的一阶可重写性，以及DL-Lite之后几乎每个描述逻辑的数据复杂度的PTime-hardness。这实际上将DL-Lite定位为查询重写的唯一实用选择，将OMQA解决方案限制在一阶查询和可重写为一阶查询的本体上。这种AC0与PTime的二分法在考虑到OMQA针对图结构数据且标准图查询语言（包括最新ISO标准GQL和SQL/PGQ）通常是NL-complete时尤其有限。为了识别一种可重写至图查询语言且仍能表达许多ELI和DL-Lite本体的丰富Horn DL，我们引入了一种用于控制联合与递归之间相互作用的分层机制。通过这种方式，我们获得了ELbotpreceq，这是一种严格扩展核心DL-Lite的描述逻辑，支持可达性公理和受限联合，并允许在NL内进行推理。我们通过重写到嵌套双向正则路径查询（GQL的一个片段）建立了NL上界，为我们的本体语言是扩展OMQA至图查询语言的有前景的候选者提供了初始证据。