基于缺省逻辑的本体研究

Research of ontology description languages with value restrictions

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

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.