本体(Ontology)原本是一个哲学概念,后来计算机工作者将本体概念应用到计算机领域,并赋予其崭新的意义.在计算机科学中,本体是领域概念模型的显式表示.它能很好地表达对象之间的复杂关系,因而本体在软件开发方法学、计算语言学、信息检索和集成、虚拟企业以及软件需求获取与需求工程等方面得到广泛应用.由于建立本体非常困难,质量难以保证,因此人们试图通过继承来复用本体.但本体的继承理论是目前尚未解决的重要问题.本文通过扩展继承的数学理论,系统研究了本体的继承语义、继承机制、本体的构造方法以及本体的演化等问题.探讨了对象继承与本体继承之间的关系,重点研究带例外的本体多继承理论.创造性工作包括以下几个方面:1)继承系统的数学理论是描述继承系统和探讨其一致性、二义性等问题的一个重要基础理论.2)证明原继承系统中的大部分重要定理.3)将本体(D,P,U,V,H)转换为三元组(F,E,I)的表示形式,证明这种转换不削弱本体的表示能力,并且将本体映射到扩展后的继承系统,利用继承系统的定义、定理分析本体继承的一致性问题,并证明这种映射对本体的包含断言的判定是完备的.4)设计了上、下扫描算法,通过检测系统变化可能引起的冲突,保持系统的一致性.5)提出了关系模式和关系参数的4种继承性质的思想,从而解决了关系在本体继承中产生变化的问题.6)在利用领域本体知识库(DOKB)中已有领域本体构造新的领域模型或领域本体后,知识工程师需要检查新领域本体以确保其符合规则前提.本文研究了使用约束条件让计算机自动解决这个问题的方法,减少了知识工程师的工作量,并加快了知识的重用过程.7)迄今为止尚无一种可简便高质地建立本体的工程化方法,这严重阻碍了本体应用研究的发展.本文提出建立本体的协作一挖掘方法,即领域专家、知识工程师、用户在Internet上协作,共同建立RDF数据库(RDFDB),再通过挖掘所建立的RDFDB,建立用OWL描述的本体.在原型系统中,应用该方法建立了关于计算机软硬件信息的领域本体.