作　　者： ; ; ;

机构地区： 上海交通大学安泰经济与管理学院管理学院

出　　处： 《情报学报》 2004年第1期3-9,共7页

摘　　要： 本文首先介绍了本体的基本概念，然后利用描述逻辑建立了本体的形式化模型，并提出了本体术语包含关系的检验算法，最后根据所建的本体模型研究了信息检索机制。

关 键 词： 信息检索机制 本体模型 逻辑模型 包含关系 人工智能

领　　域： [文化科学] [自动化与计算机技术] [自动化与计算机技术]