Algebraic graph transformations for formalizing ontology changes and evolving ontologies

An ontology represents a consensus on the representation of the concepts and axioms of a given domain. This consensus is often reached through an iterative process, each iteration consisting in modifying the current version of the consensus. Furthermore, frequent and continuous changes are also occurring when the represented domain evolves or when new requirements have to be considered. Consequently, ontologies have to be adaptable to handle evolution, revision and refinement. However, this process is highly challenging as it is often difficult to understand all affected ontology parts when changes are performed. Thus, inconsistencies can occur in the ontology as the changes can introduce contradictory axioms. To address this issue, this paper presents a formal approach for evolving ontologies using Typed Graph Grammars. This method relies on the algebraic approach Simple PushOut (SPO) of graph transformations. It formalizes the ontology changes and proposes an a priori approach of inconsistencies resolution. The modified ontology does not need an explicit checking as an incorrect ontology version cannot actually be generated. To validate our proposal, an implementation is presented using the Attributed Graph Grammar (AGG) toolbox.

[1]  Ljiljana Stojanovic,et al.  Methods and tools for ontology evolution , 2004 .

[2]  Ulrich Nickel,et al.  The FUJABA environment , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[3]  Christophe Cruz,et al.  Inconsistency Identification in Dynamic Ontologies based on Model Checking , 2012, WEBIST.

[4]  Michel C. A. Klein,et al.  Ontology Evolution: Not the Same as Schema Evolution , 2004, Knowledge and Information Systems.

[5]  Sébastien Destercke,et al.  An iterative approach to build relevant ontology-aware data-driven models , 2012, Inf. Sci..

[6]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[7]  Gabriele Taentzer,et al.  The AGG approach: language and environment , 1999 .

[8]  N. F. Noy,et al.  Ontology Development 101: A Guide to Creating Your First Ontology , 2001 .

[9]  Germain Forestier,et al.  Coastal image interpretation using background knowledge and semantics , 2013, Comput. Geosci..

[10]  Siegfried Handschuh,et al.  Evolution in the ontology-based knowledge management systems , 2002, ECIS.

[11]  Michael Löwe,et al.  Algebraic Approach to Single-Pushout Graph Transformation , 1993, Theor. Comput. Sci..

[12]  Erhard Rahm,et al.  COnto-Diff: generation of complex evolution mappings for life science ontologies , 2013, J. Biomed. Informatics.

[13]  Sungyoung Lee,et al.  Ontology Evolution and Challenges , 2013, J. Inf. Sci. Eng..

[14]  Ian Horrocks,et al.  Practical Reasoning for Expressive Description Logics , 1999, LPAR.

[15]  Christoph Brandt,et al.  Graph Transformations for the Resource Description Framework , 2008, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[16]  Aditya Agrawal,et al.  On the use of Graph Transformations in the Formal Specification of Computer-Based Systems kle , 2003 .

[17]  Ljiljana Stojanovic,et al.  Consistent Evolution of OWL Ontologies , 2005, ESWC.

[18]  Dániel Varró,et al.  Generic and Meta-transformations for Model Transformation Engineering , 2004, UML.

[19]  Rim Djedidi,et al.  ONTO-EVOAL an Ontology Evolution Approach Guided by Pattern Modeling and Quality Evaluation , 2010, FoIKS.

[20]  Claus Pahl,et al.  Ontology Change Management and Identification of Change Patterns , 2013, Journal on Data Semantics.

[21]  Peng Zhang,et al.  Modeling ontology evolution with SetPi , 2014, Inf. Sci..

[22]  Germain Forestier,et al.  Consistent Ontologies Evolution Using Graph Grammars , 2013, KSEM.

[23]  Xindong Wu,et al.  A Chinese time ontology for the Semantic Web , 2011, Knowl. Based Syst..

[24]  Rose Dieng,et al.  A RULE‐BASED APPROACH FOR SEMANTIC ANNOTATION EVOLUTION , 2007, Comput. Intell..

[25]  Sungyoung Lee,et al.  Change management in evolving web ontologies , 2013, Knowl. Based Syst..

[26]  Hartmut Ehrig,et al.  Graph Transformations in Computer Science , 1994, Lecture Notes in Computer Science.

[27]  Enrico Motta,et al.  Towards a Parametric Ontology Modularization Framework Based on Graph Transformation , 2007, WoMO.

[28]  Germain Forestier,et al.  Big Metamodels Are Evil - Package Unmerge - A Technique for Downsizing Metamodels , 2013, MoDELS.

[29]  Grzegorz Rozenberg,et al.  Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations , 1997 .

[30]  Michel C. A. Klein,et al.  Change Management for Distributed Ontologies , 2004 .

[31]  Li Qin,et al.  Evaluating the validity of data instances against ontology evolution over the Semantic Web , 2009, Inf. Softw. Technol..

[32]  Hartmut Ehrig,et al.  Graph-Grammars: An Algebraic Approach , 1973, SWAT.

[33]  Xia Wang,et al.  Decision support in e-business based on assessing similarities between ontologies , 2012, Knowl. Based Syst..

[34]  Jason J. Jung.  Reusing ontology mappings for query routing in semantic peer-to-peer environment , 2010, Inf. Sci..

[35]  Tom Mens,et al.  Using Graph Transformation to Support Collaborative Ontology Evolution , 2007, AGTIVE.

[36]  Michael Barr,et al.  Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.

[37]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[38]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[39]  Hartmut Ehrig,et al.  Introduction to the Algebraic Theory of Graph Grammars (A Survey) , 1978, Graph-Grammars and Their Application to Computer Science and Biology.

[40]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..