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

【Abstract】 Ontology had been originally used in Philosophy,where it indicated the systematic explanation of Existence. Now this term has been used by Artificial Intelligence as an explicit specification of a conceptualization in various areas, such as conceptual modeling, information integration, agent-based system design, and semantic web. Ontology model and ontology checking recently are still under hot discussion. In this paper, we propose a formal model of ontology using Description Logic, and then analyze the checking problems of terminology and instantiation.更多还原