Conservative Extensions in the Description Logic
Nie Deng · Journal of Bijie University · 2013
The conservative extension is an important property in the mathematical logic.The notion of a conservative extension 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.K this is not the case,then the evolution of the ontology with the original ontology will not be able to maintain the same logical conclusion.The current research works of conservative extension and its algorithm in description logic is analyzed in this paper.