摘要
研究本体表示相关技术,并且从表达和推理能力等方面对当前本体表示方法进行分析和比较,总结各种表示方法的利弊。在此基础上提出一种基于统一建模语言(UML)和对象约束语言的本体表示方法,特别研究该表示方法的推理机制,并对这种表示方法进行应用。
This paper researches on related technology of ontology representation. These ontology representation methods are compared with their expressiveness and inference capabilities, advantages and disadvantages of these methods are summarized. Based on the comparison, a Unified Modeling Language（UML） ＆ Object Constraint Language（OCL）-based ontology representation method is presented, and this paper especially studies reasoning on this ontology representation method. This method is applied.
出处
《计算机工程》
CAS
CSCD
北大核心
2009年第12期41-43,共3页
Computer Engineering
基金
国家"863"计划基金资助项目(2007AA04Z147)
关键词
本体表示
统一建模语言
对象约束语言
推理机制
ontology representation
Unified Modeling Language（UML）
Object Constraint Language（OCL）
reasoning mechanism
