ISSN 1000-1239 CN 11-1777/TP

Journal of Computer Research and Development ›› 2015, Vol. 52 ›› Issue (1): 221-228.doi: 10.7544/issn1000-1239.2015.20131135

Previous Articles     Next Articles

Containing Reasoning and Its Conservative Extensionsin Description Logic FL0

Nie Dengguo1,Kang Wangqiang3,Cao Fasheng1,Wang Ju2   

  1. 1(College of Science, Guizhou University of Engineering Science, Bijie, Guizhou 551700); 2(College of Computer Science and Information Engineering, Guangxi Normal University, Guilin, Guangxi 541004); 3(College of Lijiang, Guangxi Normal University, Guilin, Guangxi 541004)
  • Online:2015-01-01

Abstract: Conservative extension is an important property in the mathematical logic. Its notion plays acentral role in ontology design and integration. It can be used to formalize ontology refinements,safe mergings of two ontologies, and independent modules inside an ontology. Regarding reasoning support, the most basic task is to decide whether one ontology is a conservative extension of another. If this is not the case, the evolution of the ontology with the original ontology will not be able to maintain the same logical conclusion. In recent years, lightweight description logics (DLs) have gained increasing popularity. In fact ontology is definitely the structured knowledge base in description logic. As we know, knowledge is not always the same, so it needs to be extended as long as new improvement appears in this field. It is concerned that whether it is consistent with the primitive one after extension. The conservative extension of FL0 system is analyzed based on Lutzs’ work. Firstly the FL0 canonical model is constructed and the inclusion inference is reduced to the simulations between two FL0 canonical models. The complexity is pointed out to be polynomial based on the fact that the canonical models’ largest simulation is polynomial. After that the FL0 conservative extension algorithm is presented and its complexity is proved to be exponential.

Key words: description logic, canonical model, conservative expansion, ontology, contain reasoning

CLC Number: