研究人员开发了一种方法，可以从Datalog规则推理器使用的转换版本中重建原始的基于规则的本体。此过程旨在提供可理解的、基于初始规则而非优化后的重写规则的推理事实的解释。该研究分析了此重建问题的计算复杂性，并确定了适用于指定所涉及的证明转换的特定语言。 AI
影响 这项研究可以提高依赖于基于规则的本体和知识图谱的AI系统的可解释性。
排序理由 该集群包含一篇学术论文，详细介绍了一种重建本体规则的新方法。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
arXiv:2608.06399v1 Announce Type: cross Abstract: Datalog rules are often used to define ontologies over Knowledge Graphs. Rule reasoners routinely optimise such ontologies by rewriting their rules into a form that can be evaluated more efficiently. These transformations preserve…