计算机工程 ›› 2009, Vol. 35 ›› Issue (1): 55-57,6.doi: 10.3969/j.issn.1000-3428.2009.01.018

• 软件技术与数据库 • 上一篇    下一篇

领域本体的一致性检查

许 勇,王智学,李宗勇   

  1. (解放军理工大学指挥自动化学院,南京 210007)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-01-05 发布日期:2009-01-05

Consistency Check for Domain Ontology

XU Yong, WANG Zhi-xue, LI Zong-yong   

  1. (Institute of Command Automation, PLA University of Science and Technology, Nanjing 210007)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-01-05 Published:2009-01-05

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

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

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

中图分类号: