基于弱化与完善的 $\mathcal{EL_\perp}$ 本体网络修复 -- 扩展版

本体及其对齐质量对于开发高质量语义应用至关重要。传统的调试技术通过删除不需要的公理和映射来修复本体网络，但可能会删除在本体网络领域中正确的后果。本文提出了一种修复本体网络的框架，以解决此问题。它定义了基本操作，如调试、弱化和完善。进一步地，它定义了组合算子，以反映如何以及何时使用基本算子的选择，以及关于本体网络中本体和对齐自主性水平的选择。我们展示了组合算子对修复后网络质量的影响，并呈现了一个实现的工具。通过使用我们的框架和现有算法进行调试、弱化和完善，我们本质上提供了扩展前期工作和系统的蓝图。