基于缺省逻辑的本体研究  

Research of ontology description languages with value restrictions

作　　者：李志平[1] 孙瑜[2] 

机构地区：[1]云南师范大学现代教育技术中心,昆明650092 [2]云南师范大学计算机科学与信息技术学院,昆明650092

出　　处：《计算机工程与应用》2009年第30期42-44,共3页Computer Engineering and Applications

基　　金：云南省自然科学基金No.2004F0017Q;No.2005F0022Q;云南省教育厅重点基金No.07Z10661~~

摘　　要：基于人们对可继承系统的缺省理论的研究,以及本体与可继承系统的相似性,对本体的缺省理论进行研究。本体包括一组概念和性质;概念之间的从属关系以及概念和性质之间的继承和缺省继承关系。在本体的缺省理论中,本体中所有的断言被表示为事实;并且性质从概念到其子概念的缺省继承被表示为正规缺省。在给出本体的定义和推理规则后,对本体的缺省理论及其特性进行了深入地研究。Ontologies and inheritance nets are similar in some aspects and based on methods of translating inheritance nets to default logic ,the default theories of ontologies are given.An ontology includes a set of concepts and constraints imposing on these concepts.The statements in ontologies are translated to facts of default theories of the ontologies and the default inheritance of properties are represented by normal defaults with a priority order on them due to the intuition that subclasses overriding superclasses.After giving the definition and deduction rules of ontologies,the default theories of ontologies are proposed and their features are discussed.

关 键 词：本体 缺省逻辑 优先序 知识表示 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]