Une nouvelle formalisation des changements ontologiques composés et complexes
Abstract
Ontology evolution is an essential process in the ontology life cycle. It is defined by different types of ontology changes: basic, composite and complex. The complex and composite changes are very useful in the sense that they help user to adapt his/her ontology without getting lost in the details of the basic changes. However, they hide behind a sophisticated formalization since they affect, at the same time, several ontological entities and may cause inconsistencies to the evolved ontology. To address this issue, this article presents a new formalization of composite and complex ontology changes based on typed graph grammars. This formalization is based on the algebraic approach Single pushout (SPO) of graph transformations and has two main advantages: (1) it provides a new formalization to control the graph transformations and avoid inconsistencies in an a priori manner; (2) it facilitates the description of composite and complex changes while reducing the number of the rewriting rules required to apply them.