最小公共包含相关论文
描述逻辑是一种形式化工具，是一阶逻辑的可判定性子集。与其它知识表示工具相比，它具有推理机制能实现知识之间的自动推理，正是如此，它......
描述逻辑中的非标准推理是目前研究者们所关注的焦点问题,它主要包括:最具体概念、最小公共包含、匹配问题及概念的重写等.过去人......
描述逻辑的非标准推理是上世纪末本世纪初研究者们提出来的一种新的推理机制,它主要包括最具体概念、最小公共包含、匹配问题以及......
