Ontology change: classification and survey

Ontologies play a key role in the advent of the Semantic Web. An important problem when dealing with ontologies is the modification of an existing ontology in response to a certain need for change. This problem is a complex and multifaceted one, because it can take several different forms and includes several related subproblems, like heterogeneity resolution or keeping track of ontology versions. As a result, it is being addressed by several different, but closely related and often overlapping research disciplines. Unfortunately, the boundaries of each such discipline are not clear, as the same term is often used with different meanings in the relevant literature, creating a certain amount of confusion. The purpose of this paper is to identify the exact relationships between these research areas and to determine the boundaries of each field, by performing a broad review of the relevant literature.

[1]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

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

[3]  Erhard Rahm,et al.  COMA - A System for Flexible Combination of Schema Matching Approaches , 2002, VLDB.

[4]  N. Keberle,et al.  Ontology Evolution Analysis with OWL-MeT , 2007 .

[5]  Michel C. A. Klein,et al.  Ontology versioning on the Semantic Web , 2001, SWWS.

[6]  Jeff Heflin,et al.  A Model Theoretic Semantics for Ontology Versioning , 2004, SEMWEB.

[7]  H. Sofia Pinto,et al.  Some Issues on Ontology Integration , 1999, IJCAI 1999.

[8]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2008, J. Data Semant..

[9]  Stefanos D. Kollias,et al.  A String Metric for Ontology Alignment , 2005, SEMWEB.

[10]  Steffen Staab,et al.  OntoEdit: Multifaceted Inferencing for Ontology Engineering , 2003, J. Data Semant..

[11]  Peter Haase,et al.  Eu-ist Integrated Project (ip) Ist-2003-506826 Sekt D3.1.1.b State-of-the-art on Ontology Evolution Sekt Consortium , 2004 .

[12]  Jos de Bruijn,et al.  D4.2.1 State-of-the-art survey on Ontology Merging and Aligning V1 , 2004 .

[13]  Michel C. A. Klein,et al.  Ontology Versioning and Change Detection on the Web , 2002, EKAW.

[14]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[15]  Anuj R. Jaiswal,et al.  OMEN: A Probabilistic Ontology Mapping Tool , 2005, SEMWEB.

[16]  Guilin Qi,et al.  Knowledge Base Revision in Description Logics , 2006, JELIA.

[17]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

[18]  Claudio Gutiérrez,et al.  The Meaning of Erasing in RDF under the Katsuno-Mendelzon Approach , 2006, WebDB.

[19]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[20]  Fausto Giunchiglia,et al.  S-Match: an Algorithm and an Implementation of Semantic Matching , 2004, ESWS.

[21]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[22]  S. Montanelli,et al.  Ontology Dynamics with Multimedia Information : The BOEMIE Evolution Methodology ? , 2007 .

[23]  Mick Kerrigan,et al.  Formal Model for Ontology Mapping Creation , 2006, SEMWEB.

[24]  Marie-Christine RoussetL.  The use of carin language and algorithmsfor Information Integration : the PICSELprojectV , 1998 .

[25]  Erhard Rahm,et al.  Similarity flooding: a versatile graph matching algorithm and its application to schema matching , 2002, Proceedings 18th International Conference on Data Engineering.

[26]  Jeff Z. Pan,et al.  A Fine-Grained Approach to Resolving Unsatisfiable Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[27]  Stefan Schlobach,et al.  Diagnosing Terminologies , 2005, AAAI.

[28]  Fausto Giunchiglia,et al.  Discovering Missing Background Knowledge in Ontology Matching , 2006, ECAI.

[29]  Vassilis Christophides,et al.  RUL: A Declarative Update Language for RDF , 2005, SEMWEB.

[30]  Olga De Troyer,et al.  Resolving Inconsistencies in Evolving Ontologies , 2006, ESWC.

[31]  Alan L. Rector,et al.  Debugging OWL-DL Ontologies: A Heuristic Approach , 2005, SEMWEB.

[32]  Grigoris Antoniou,et al.  Generalizing the AGM postulates: preliminary results and applications , 2004, NMR.

[33]  Rudi Studer,et al.  Ontology evolution as reconfiguration-design problem solving , 2003, K-CAP '03.

[34]  Guilin Qi,et al.  A Stratification-based Approach for Inconsistency Handling in Description Logics , 2007 .

[35]  P. Haase.  An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies , 2007 .

[36]  Boris Motik,et al.  User-Driven Ontology Evolution Management , 2002, EKAW.

[37]  Michel C. A. Klein,et al.  Tracking Changes During Ontology Evolution , 2004, SEMWEB.

[38]  Pedro M. Domingos,et al.  Learning Source Descriptions for Data Integration , 2000 .

[39]  Pavel Shvaiko,et al.  Community-Driven Ontology Matching , 2006, ESWC.

[40]  Grigoris Antoniou,et al.  On Applying the AGM Theory to DLs and OWL , 2005, SEMWEB.

[41]  James A. Hendler,et al.  Dynamic Ontologies on the Web , 2000, AAAI/IAAI.

[42]  Dimitris Plexousakis,et al.  Bridging Ontology Evolution and Belief Change , 2006, SETN.

[43]  Kevin Lee,et al.  A Classification of Ontology Modification , 2004, Australian Conference on Artificial Intelligence.

[44]  Yannis Tzitzikas,et al.  (Semantic web) evolution through change logs: Problems and solutions , 2007, Artificial Intelligence and Applications.

[45]  Martin Doerr,et al.  Mapping Language for Information Integration , 2006 .

[46]  York Sure-Vetter,et al.  D3.1.1.a KAON - Ontology Management Infrastructure , 2004 .

[47]  Mark A. Musen,et al.  Promptdiff: a fixed-point algorithm for comparing ontology versions , 2002, AAAI/IAAI.

[48]  Zhao Yan,et al.  Data Migration for Ontology Evolution , 2004 .

[49]  Dimitris Plexousakis,et al.  Handling Ontology Change: Survey and Proposal for a Future Research Direction , 2005 .

[50]  Norman Y. Foo.  Ontology Revison , 1995, ICCS.

[51]  Ian Horrocks,et al.  OilEd: a Reason-able Ontology Editor for the Semantic Web , 2001, Description Logics.

[52]  AnHai Doan,et al.  Corpus-based schema matching , 2005, 21st International Conference on Data Engineering (ICDE'05).

[53]  Mathieu d'Aquin,et al.  Change management for metadata evolution , 2007 .

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

[55]  Seung Hwan Kang,et al.  Ontology Revision Using the Concept of Belief Revision , 2004, KES.

[56]  Boris Motik,et al.  An infrastructure for searching, reusing and evolving distributed ontologies , 2003, WWW '03.

[57]  Olga De Troyer,et al.  Event-Based Modeling of Evolution for Semantic-Driven Systems , 2005, CAiSE.

[58]  Silvana Castano,et al.  Discovery-Driven Ontology Evolution , 2006, SWAP.

[59]  Heiner Stuckenschmidt,et al.  Reasoning with Multi-version Ontologies: A Temporal Logic Approach , 2005, SEMWEB.

[60]  Carsten Lutz,et al.  Updating Description Logic ABoxes , 2006, KR.

[61]  PETER GÄRDENFORS,et al.  Belief Revision: Belief revision: An introduction , 2003 .

[62]  Miguel García-Remesal,et al.  ONTOFUSION: Ontology-based integration of genomic and clinical databases , 2006, Comput. Biol. Medicine.

[63]  Mark A. Musen,et al.  PROMPT: Algorithm and Tool for Automated Ontology Merging and Alignment , 2000, AAAI/IAAI.

[64]  Mikalai Yatskevich,et al.  Preliminary Evaluation of Schema Matching Systems , 2003 .

[65]  N. Foo.  ONTOLOGY REVISION , 1995 .

[66]  Deborah L. McGuinness,et al.  The Emerging Semantic Web, Selected papers from the first Semantic web working symposium, Stanford University, California, USA, July 30 - August 1, 2001 , 2002, The Emerging Semantic Web.

[67]  Philip A. Bernstein,et al.  Industrial-strength schema matching , 2004, SGMD.

[68]  Gerhard Friedrich,et al.  A General Diagnosis Method for Ontologies , 2005, SEMWEB.

[69]  V. R. Benjamins,et al.  WonderTools? A comparative study of ontological engineering tools , 2000, Int. J. Hum. Comput. Stud..

[70]  Guilin Qi,et al.  A revision-based approach to handling inconsistency in description logics , 2006, Artificial Intelligence Review.

[71]  Richard Booth,et al.  Knowledge Integration for Description Logics , 2005, AAAI.

[72]  Erhard Rahm,et al.  Comparison of Schema Matching Evaluations , 2002, Web, Web-Services, and Database Systems.

[73]  Yun Peng,et al.  A Bayesian Network Approach to Ontology Mapping , 2005, SEMWEB.

[74]  Yarden Katz,et al.  Belief Base Revision for Expressive Description Logics , 2006, OWLED.

[75]  M. Tamer Özsu,et al.  An axiomatic model of dynamic schema evolution in objectbase systems , 1997, TODS.

[76]  Souhila Kaci,et al.  Weakening conflicting information for iterated revision and knowledge integration , 2001, Artificial Intelligence.

[77]  Grigoris Antoniou,et al.  Evolving Ontology Evolution , 2006, SOFSEM.

[78]  Jérôme Euzenat,et al.  A Survey of Schema-Based Matching Approaches , 2005, J. Data Semant..

[79]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[80]  Hyoil Han,et al.  A survey on ontology mapping , 2006, SGMD.

[81]  Frank van Harmelen,et al.  A Framework for Handling Inconsistency in Changing Ontologies , 2005, SEMWEB.

[82]  Boris Motik,et al.  Ontology Evolution within Ontology Editors , 2002, EON.

[83]  Olga De Troyer,et al.  Ontology Change Detection Using a Version Log , 2005, SEMWEB.

[84]  Steffen Staab,et al.  Bootstrapping ontology alignment methods with APFEL , 2005, WWW '05.

[85]  Omran A. Bukhres,et al.  BACIIS: Biological and Chemical Information Integration System , 2005, J. Database Manag..

[86]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

[87]  Mark A. Musen,et al.  The PROMPT suite: interactive tools for ontology merging and mapping , 2003, Int. J. Hum. Comput. Stud..

[88]  Sven Ove Hansson.  Kernel Contraction , 1994, J. Symb. Log..

[89]  Marc Ehrig,et al.  State of the art on ontology alignment , 2013 .

[90]  Ana Simonet,et al.  Toward Updates in Description Logics , 2002, Description Logics.

[91]  James A. Hendler,et al.  Ontology-based Web agents , 1997, AGENTS '97.

[92]  Silvana Castano,et al.  Matching Ontologies in Open Networked Systems: Techniques and Applications , 2006, J. Data Semant..

[93]  Jay Banerjee,et al.  Semantics and implementation of schema evolution in object-oriented databases , 1987, SIGMOD '87.

[94]  Fausto Giunchiglia,et al.  A Large Scale Taxonomy Mapping Evaluation , 2005, International Semantic Web Conference.

[95]  Nicola Guarino,et al.  Formal Ontology and Information Systems , 1998 .

[96]  Patrick Lambrix,et al.  Evaluation of Ontology Merging Tools in Bioinformatics , 2002, Pacific Symposium on Biocomputing.

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

[98]  Natalya F. Noy,et al.  A Component-Based Framework For Ontology Evolution , 2003 .

[99]  Trevor J. M. Bench-Capon,et al.  Formalising Ontologies and Their Relations , 1999, DEXA.

[100]  Renata Wassermann,et al.  Revising Concepts , 1998 .

[101]  Michel C. A. Klein,et al.  Integrity and Change in Modular Ontologies , 2003, IJCAI.

[102]  York Sure,et al.  SemVersion: A Versioning System for RDF and Ontologies , 2005 .

[103]  Alfio Ferrara.  Methods and Techniques for Ontology Matching and Evolution in Open Distributed Systems , 2004 .

[104]  Mark A. Musen,et al.  An Algorithm for Merging and Aligning Ontologies: Automation and Tool Support , 1999 .

[105]  M. M. Ribeiro,et al.  Base Revision in Description Logics-Preliminary Results , 2007 .

[106]  Peter Gärdenfors,et al.  Belief Revision , 1995 .

[107]  Diego Calvanese,et al.  A Framework for Ontology Integration , 2001, The Emerging Semantic Web.

[108]  Peter Gärdenfors,et al.  On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[109]  Erhard Rahm,et al.  A survey of approaches to automatic schema matching , 2001, The VLDB Journal.

[110]  Thomas R. Gruber,et al.  Toward principles for the design of ontologies used for knowledge sharing? , 1995, Int. J. Hum. Comput. Stud..

[111]  Dimitris Plexousakis,et al.  A Tool for Semi-Automated Semantic Schema Mapping: Design and Implementation , 2006, DISWEB.

[112]  Renata Wassermann,et al.  A Note on Prototype Revision , 1999 .

[113]  Mark A. Musen,et al.  SMART: Automated Support for Ontology Merging and Alignment , 1999 .

[114]  Peter Gärdenfors,et al.  Belief Revision: Contents , 1992 .

[115]  Pedro M. Domingos,et al.  Learning Source Description for Data Integration , 2000, WebDB.

[116]  Carole A. Goble,et al.  TAMBIS: Transparent Access to Multiple Bioinformatics Information Sources , 1998, ISMB.

[117]  Aditya Kalyanpur,et al.  Debugging and Repair of OWL Ontologies , 2006 .

[118]  G. Konstantinidis.  Ontology Evolution : A Framework and its Application to RDF , 2007 .

[119]  Vassilis Christophides,et al.  On the Foundations of Computing Deltas Between RDF Models , 2007, ISWC/ASWC.

[120]  Mark A. Musen,et al.  A Framework for Ontology Evolution in Collaborative Environments , 2006, SEMWEB.

[121]  Gerd Stumme,et al.  Ontology Merging for Federated Ontologies on the Semantic Web , 2001, OIS@IJCAI.

[122]  Yannis Kalfoglou,et al.  Ontology mapping: the state of the art , 2003, The Knowledge Engineering Review.

[123]  Won Kim,et al.  Versions of Schema for Object-Oriented Databases , 1988, VLDB.

[124]  Jeff Heflin,et al.  Coping with Changing Ontologies in a Distributed Environment , 1999 .

[125]  Mark A. Musen,et al.  Ontology versioning in an ontology management framework , 2004, IEEE Intelligent Systems.

[126]  Jeff Z. Pan,et al.  Finding Maximally Satisfiable Terminologies for the Description Logic ALC , 2006, AAAI.

[127]  Heiner Stuckenschmidt,et al.  A Study in Empirical and 'Casuistic' Analysis of Ontology Mapping Results , 2007, ESWC.

[128]  Hans Chalupsky,et al.  OntoMorph: A Translation System for Symbolic Knowledge , 2000, KR.

[129]  张雷,et al.  Data Migration for Ontology Evolution , 2004 .

[130]  G. Flouris,et al.  On belief change and ontology evolution , 2006 .

[131]  Matthias Lange,et al.  SEMEDA: ontology based semantic integration of biological databases , 2003, Bioinform..

[132]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[133]  Yuzhong Qu,et al.  Block Matching for Ontologies , 2006, SEMWEB.

[134]  Erhard Rahm,et al.  Generic Schema Matching with Cupid , 2001, VLDB.

[135]  François Goasdoué,et al.  The Use of CARIN Language and Algorithms for Information Integration: The PICSEL System , 2000, Int. J. Cooperative Inf. Syst..

[136]  Mark A. Musen,et al.  The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility , 2000, EKAW.

[137]  G Stix,et al.  The mice that warred. , 2001, Scientific American.

[138]  Erhard Rahm,et al.  Schema and ontology matching with COMA++ , 2005, SIGMOD '05.

[139]  Deborah L. McGuinness,et al.  An Environment for Merging and Testing Large Ontologies , 2000, KR.

[140]  Grigoris Antoniou,et al.  A Classification of Ontology Change , 2006, SWAP.

[141]  Enrico Franconi,et al.  A Semantic Approach for Schema Evolution and Versioning in Object-Oriented Databases , 2000, Computational Logic.

[142]  Bijan Parsia,et al.  Repairing Unsatisfiable Concepts in OWL Ontologies , 2006, ESWC.

[143]  Pedro M. Domingos,et al.  Learning to map between ontologies on the semantic web , 2002, WWW '02.

[144]  Peter Gärdenfors,et al.  Knowledge, belief, and strategic interaction: The dynamics of belief systems: Foundations versus coherence theories , 1992 .

[145]  Jérôme David,et al.  Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between Concepts , 2006, ECAI.

[146]  Jeff Z. Pan,et al.  Inconsistencies, Negations and Changes in Ontologies , 2006, AAAI.