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

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