论文部分内容阅读
信息系统常采用知识导航模块,该模块的核心是框架本体库,因为框架表示能够通过对象的联系属性在不同概念之间建立联系,其数据结构适合知识导航.当前,本体主要有逻辑表示和框架结构表示.框架表示法的优点是直观,其数据结构适合知识导航.逻辑表示法能表达复杂的问题,语义清晰,具有自动推理功能,但是不能直接用于知识导航.要使现有的描述逻辑本体库能够为知识导航服务就必须转化为框架本体库,建立框架本体库中概念之间的关系.本文给出了描述逻辑本体库转化为框架本体库的算法.整个算法是以概念包含关系不可满足为基础对tp301.6用户定义的本体库中的概念冲突检查、分类并转化为框架本体库.