DL-Lite本体下ELI查询的前沿与精确学习
人工智能
2022-05-02 v1
摘要
我们研究在描述逻辑 DL-Lite 所表述的本体存在下的 ELI 查询（ELIQ）。对于方言 DL-LiteH，我们证明 ELIQ 具有多项式大小的前沿（最小一般化集合），且可在多项式时间内计算。相比之下，在方言 DL-LiteF 中，前沿可能是无限的。我们确定了一种自然的句法限制，使得可获得与 DL-LiteH 相同的正面结果。我们利用关于前沿的结果证明，在 DL-LiteH / 受限 DL-LiteF 本体存在下，ELIQ 在 Angluin 仅含成员查询的精确学习框架中可在多项式时间内被学习。
引用
@article{arxiv.2204.14172,
title = {Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies},
author = {Maurice Funk and Jean Christoph Jung and Carsten Lutz},
journal= {arXiv preprint arXiv:2204.14172},
year = {2022}
}
备注
24 pages, long version of a paper accepted at IJCAI 2022