极小不可满足保持子术语集相关论文
本体调试是人工智能中非标准推理任务之一，主要用于找出本体中导致逻辑冲突的解释并进行修改，对于本体工程具有重要意义．结合语法相关......
求解极小不可满足保持子术语集（Mups）是不一致术语集调试的核心工作.在构建术语集依赖关系图模型基础上,从概念之间的依赖关系角度出......
