基于描述逻辑的本体模型研究

被引：35

作者：

王洪伟

吴家春

蒋馥

机构：

[1] 上海交通大学管理学院智能化管理与计算机仿真应用研究中心,上海交通大学管理学院智能化管理与计算机仿真应用研究中心,上海交通大学管理学院智能化管理与计算机仿真应用研究中心上海,上海,上海

来源：

系统工程 | 2003年 / 03期

关键词：

本体模型; 描述逻辑; 术语检验; 实例检验;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

本体原本是一个哲学概念 ,是指关于存在及其规律的学说 ,后来被人工智能所引入 ,特指对概念化的一个显式的规格说明 ,并应用在智能体间的通信、异构信息源的集成、语义 Web等领域。形式化的本体模型及其检验问题一直是人工智能中的研究热点。本文将描述逻辑应用到本体建模领域 ,建立基于逻辑的本体模型 ,分析本体术语检验与实例检验问题。

引用

页码：101 / 106

页数：6