Apr, 2022
DL-Lite本体下ELI查询的前沿与精确学习
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies
TL;DR研究了存在 DL-Lite 描述逻辑本体的 ELI 查询 (ELIQs)。对于方言 DL-LiteH，我们展示了 ELIQs 具有多项式大小的前沿 (最一般化集合)，并且可以在多项式时间内计算。相比之下，对于方言DL-LiteF，前沿可能是无限的。我们识别出一种自然的句法限制，使得可以像DL-LiteH一样获得相同的积极结果。我们使用前沿结果来展示在 Angluin 的“仅使用成员查询进行精确学习”的框架下，DL-LiteH / 受限 DL-LiteF 本体存在时 ELIQs 可以在多项式时间内进行学习。