信息系统常采用知识导航模块,该模块的核心是框架本体库,因为框架表示能够通过对象的联系属性在不同概念之间建立联系,其数据结构......

循环术语集推理是描述逻辑研究中面；晦的难点问题，尚未得到很好的解决．有序．2-叉决策图（orderedbinarydecisiondiagram，简称OBDD）是一种对......