推理

支持认知上下文的逻辑程序语言及语义; 逻辑程序与本体的集成方法. 什么是本体? 形式化的,对于共享概念体系的明确而又详细的说明; 本体提供的 ...
展开查看详情