保守扩充相关论文
本体的保守扩充问题是数理逻辑中的一个重要问题,本体的扩充是否保守直接对应着扩充前后是否推理一致.因而若扩充是不保守的,则扩......
本体的保守扩充是本体构建、本体重构的核心理论与工具.本体把领域知识形式化,实现人机之间的知识共享及知识重用.基于描述逻辑的......
在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描述逻辑系统的一个Tbox。本体是动态的实体,为了适应新领域的发......
在计算机科学中,本体是动态的实体。为了适应新领域的发展,需要对原始本体增加新的公理或者与另一个本体融合。在本体的开发过程中......
保守扩充是数理逻辑中一个重要的性质。本体的保守扩充在本体设计和本体集成中扮演重要的角色。它可形式地精练本体、可靠地进行本......
本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑......
分析了本体重用的研究现状和目前重用方法只适用于单个独立本体的不足，以ε-Connections语言构建的模块化本体库为研究对象，基于保守......
基于描述逻辑的本体的保守扩充理论、模块抽取理论、通用模块构建理论及其相关算法是本体工程中本体构建、本体融合及重构的核心理......
本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描......
