本体的继承及一致性分析  

Ontology Inheritance and Consistency Analysis

作　　者：明仲[1] 蔡树彬[1] 李师贤[1] 徐晶[1] 

机构地区：[1]深圳大学信息工程学院

出　　处：《电子学报》2005年第4期660-666,共7页Acta Electronica Sinica

基　　金：国家自然科学基金(No60373084);博士学科点基金(No20030558004);广东省自然科学基金(No04011304)

摘　　要：本体的继承理论是目前尚未解决的重要问题.该文通过扩展继承的数学理论,系统研究了本体的继承语义、继承机制等问题.主要工作有(1)继承系统的数学理论是描述继承系统和探讨其一致性、二义性等问题的一个重要基础理论.该理论已被广泛引用.但使用该理论描述允许例外的类/属性继承系统会出现假冲突.本文发现并定义了假冲突,扩展了原理论的单词表,重新定义了结论集、可继承等概念,使继承断言的接地扩展集不因假冲突而产生二义.从而解决了假冲突的问题.(2 )证明原继承系统中的大部分重要定理在扩展后的继承系统中仍然成立,并且提出了新的定理3)将本体(D ,P ,U ,V ,H)转换为三元组(F ,E ,I)的表示形式,证明这种转换不削弱本体的表示能力,并且将本体映射到扩展后的继承系统,利用继承系统的定义、定理分析本体继承的一致性问题,并证明这种映射对本体的包含断言的判定是完备的.4 )设计了上、下扫描算法,通过检测系统变化可能引起的冲突,保持系统的一致性.对本体继承的一致性分析为发展迅速的面向本体工程方法提供了有力支持.Inheritance theory of ontologies is a very important unsolved problem. By extending the inheritance mathematical theory, the semantics of ontology inheritance and the mechanism of ontology inheritance are analyzed. The creative works are as followed: (1) The mathematics of inheritance systems isn't powerful enough to explain the ontology inheritance system. The False conflict will occur when we use the old theory of inheritance to describe the inheritance of class/property with exceptions. In order to solve this problem, the old theory is extended by adding tokens and redefining the definitions of conclusion set, inheritable and grounded expansion, etc. (2) Most theorems and corollaries prove to be correct on the new definitions. Above these new definitions, some new theorems and corollaries are got. (3) Transferring the representation of ontology (D,P,U,V,H) into triple (F,E,I). And proving the capability of the triple representation equals to the Quintuple representation. The ontology is mapped into the extended inheritance system. The problem of consistency and un-ambiguity of ontology inheritance are explored with the extended theory. (4) The up-scan and down-scan algorithms are designed to detect the conflict in order to maintain the consistency of the system. The analysis of consistency of the ontology inheritance system effectively supports the ontology-oriented engineering methodologies booming now.

关 键 词：本体 继承系统 继承理论 允许例外的多继承 一致性 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]