Computer Engineering and Applications ›› 2009, Vol. 45 ›› Issue (30): 42-44.DOI: 10.3778/j.issn.1002-8331.2009.30.014

• 研究、探讨 • Previous Articles     Next Articles

Research of ontology description languages with value restrictions

LI Zhi-ping1,SUN Yu2   

  1. 1.Center of Modern Education Technology,Yunnan Normal University,Kunming 650092,China
    2.Institute of Computer Science and Information Technology,Yunnan Normal University,Kunming 650092,China
  • Received:2008-06-12 Revised:2008-09-05 Online:2009-10-21 Published:2009-10-21
  • Contact: LI Zhi-ping

基于缺省逻辑的本体研究

李志平1,孙 瑜2   

  1. 1.云南师范大学 现代教育技术中心,昆明 650092
    2.云南师范大学 计算机科学与信息技术学院,昆明 650092
  • 通讯作者: 李志平

Abstract: 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.

Key words: ontology, default logic, priority order, knowledge representation

摘要: 基于人们对可继承系统的缺省理论的研究,以及本体与可继承系统的相似性,对本体的缺省理论进行研究。本体包括一组概念和性质;概念之间的从属关系以及概念和性质之间的继承和缺省继承关系。在本体的缺省理论中,本体中所有的断言被表示为事实;并且性质从概念到其子概念的缺省继承被表示为正规缺省。在给出本体的定义和推理规则后,对本体的缺省理论及其特性进行了深入地研究。

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

CLC Number: