本体的形式化模型及在语义查询中的应用

摘要：

本体是概念化的一个显式的规格说明,能够将领域中的各种概念及相互关系显式地、形式化地表达出来.本文首先介绍了本体的基本概念,然后利用描述逻辑建立了本体的形式化模型,并提出了本体术语包含关系的检验算法,最后根据所建的本体模型探讨了4种信息查询模式.

关键词： 本体 语义查询 描述逻辑 包含关系 形式化模型

作者: 王洪伟 吴家春 蒋馥

作者单位: 上海交通大学智能化管理与计算机仿真应用研究中心

会议类型: 国内会议

会议名称: 全国搜索引擎和网上信息挖掘学术讨论会

会议地点: 北京

会议语种:中文

页码: 205-213

在线出版日期: 2003-03-01（万方平台首次上网日期，不代表论文的发表时间）