Abstract: 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.

Key words: ontology representation, Unified Modeling Language(UML), Object Constraint Language(OCL), reasoning mechanism

摘要： 研究本体表示相关技术，并且从表达和推理能力等方面对当前本体表示方法进行分析和比较，总结各种表示方法的利弊。在此基础上提出一种基于统一建模语言(UML)和对象约束语言的本体表示方法，特别研究该表示方法的推理机制，并对这种表示方法进行应用。

关键词: 本体表示, 统一建模语言, 对象约束语言, 推理机制

CLC Number: 

• TP312