本体的描述逻辑到框架表示的转换
(0) 信息系统常采用知识导航模块,该模块的核心是框架本体库,因为框架表示能够通过对象的联系属性在不同概念之间建立联系,其数据结构适合知识导航.当前,本体主要有逻辑表示和框架结构表示.框架表示法的优点是直观,其数据结构适合知识导航.逻辑表示法能表达复杂的问题,语义清晰,具有自动推理功能,但是不能直接用于知识导航.要使现有的描述逻辑本体库能够为知识导航服务就必须转化为框架本体库,建立框架本体库中概念之间的关系.本文给出了描述逻辑本体库转化为框架本体库的算法.整个算法是以概念包含关系不可满足为基础对tp301.6用户定义的本体库中的概念冲突检查、分类并转化为框架本体库.
逻辑表示法 框架结构法 本体库 概念包含关系
王真星 吕腾
华东师范大学,上海,200433 新疆大学数学与系统科学学院,乌鲁木齐,830046
国内会议
厦门
中文
484-486
2004-10-14（万方平台首次上网日期，不代表论文的发表时间）