研究人员开发了将 Horn 描述逻辑 (DL) 本体拟合到 ABox 和查询示例的新方法。该研究侧重于 EL 和 ELI DL，扩展了先前在 ALC 和 ALCI 上的工作，并考虑了原子查询、连接查询及其并集。研究结果包括基于模拟、决策过程和复杂度分析的特征，其中 AQ 的拟合问题对于 EL 和 ELI 均为 PTime，而对于根连接查询 (rooted CQs) 和统一连接查询 (UCQs) 则更为复杂。 AI
影响 推进了 DL 中知识表示和推理的理论理解，可能影响依赖结构化知识的 AI 系统。
排序理由 学术论文，详细介绍了描述逻辑本体的新方法和复杂度分析。
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
