保守扩充相关论文
本体的保守扩充问题是数理逻辑中的一个重要问题,本体的扩充是否保守直接对应着扩充前后是否推理一致.因而若扩充是不保守的,则扩......
本体的保守扩充是本体构建、本体重构的核心理论与工具.本体把领域知识形式化,实现人机之间的知识共享及知识重用.基于描述逻辑的......
