拟合带有仿真量词符和有限模型的 Horn DL 本体
计算机科学中的逻辑
2026-05-01 v1 人工智能
摘要
我们研究了将描述逻辑（DL）本体拟合到给定正负示例集合（形式为 ABox 和布尔查询）的问题。虽然以前的工作针对 ALC 和 ALCI 等表达型 DL 进行了此类研究，但本文聚焦于 Horn DL（EL 和 ELI）以及其带有底概念的扩展。我们考虑原子查询（AQs）、根联合查询（rooted CQs）以及其它们的并（rooted UCQs）。我们提供了基于仿真的拟合本体存在性 characterization，用来开发决策程序，并澄清了确切的计算复杂性。对于 AQs，EL 和 ELI 的问题均在 PTime 内；对于根联合查询和 UCQ，EL 为 Sigma_P^2-complete，ELI 为 ExpTime-complete。加入底概念不会改变这些复杂性。有趣的是，从 ALC 和 ALCI 转向 EL 和 ELI 引入了额外的技术挑战而非简化问题。
引用
@article{arxiv.2604.26976,
title = {Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models},
author = {Marvin Grosser and Carsten Lutz},
journal= {arXiv preprint arXiv:2604.26976},
year = {2026}
}
备注
Submitted to the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR2026)