Abstract: This paper focuses on the concepts’ consistency in the domain ontology. It presents the formal definition of the domain ontology, describes the set of axioms in the domain ontology, analyzes nowaday consistency check method about concepts, and converts OWL ontology into UML description, and develops the UML description. It provides a consistency check method based on graph, which is laconic and easy to handle, and conquers the disadvantage of high formalization and complexity of the old check mechanism.

Key words: domain ontology, UML, consistency check

摘要： 针对领域本体中概念集的一致性检查问题，给出领域本体的形式化定义，阐述领域本体中的公理集，分析概念集的一致性检查方法，将OWL的本体表达方式转化为基于UML的表达方式，对UML进行适当的扩展，提供一种基于图形化的本体一致性检查机制。该方法基于图形化的形式，简洁直观、容易操作，克服了原有检查方法形式化程度高及复杂难操作的缺点。

关键词: 领域本体, UML语言, 一致性检查

CLC Number: 

• TP311