摘要
本体原本是一个哲学概念 ,是指关于存在及其规律的学说 ,后来被人工智能所引入 ,特指对概念化的一个显式的规格说明 ,并应用在智能体间的通信、异构信息源的集成、语义 Web等领域。形式化的本体模型及其检验问题一直是人工智能中的研究热点。本文将描述逻辑应用到本体建模领域 ,建立基于逻辑的本体模型 ,分析本体术语检验与实例检验问题。
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.
出处
《系统工程》
CSCD
北大核心
2003年第3期101-106,共6页
Systems Engineering
基金
国家自然科学基金资助项目 (70 2 710 38)
关键词
本体模型
描述逻辑
人工智能
术语检验
实例检验
Ontology Model
Description Logic
Terminology Checking
Instantiation Checking
