本体的补全与调试：研究现状与挑战
Completing and Debugging Ontologies: state of the art and challenges
AI总结：
本文将本体修复步骤形式化为溯因问题，系统梳理本体补全与调试的研究现状，指出仍存在的开放问题并展望未来研究方向。
摘要：
由于语义化应用需要高质量的本体，在本体工程中，开发和维护尽可能正确且完整的本体是一项重要但困难的任务。其中一个关键步骤是本体的调试与补全。一般来说，该过程包含两个步骤：检测缺陷和修复缺陷。本文讨论修复步骤的研究现状。我们通过将修复步骤形式化为一个溯因问题，并依据该框架对现有研究工作进行定位。我们表明，该领域仍存在许多开放的研究问题，并指出了进一步工作和推动该领域发展的机会。
英文摘要：
As semantically-enabled applications require high-quality ontologies, developing and maintaining ontologies that are as correct and complete as possible is an important although difficult task in ontology engineering. A key step is ontology debugging and completion. In general, there are two steps: detecting defects and repairing defects. In this paper we discuss the state of the art regarding the repairing step. We do this by formalizing the repairing step as an abduction problem and situating the state of the art with respect to this framework. We show that there are still many open research problems and show opportunities for further work and advancing the field.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
