Building and maintaining ontologies: a set of algorithms

"Is_A" links are the core component of all ontologies and are organized into "hierarchies of concepts". In this paper we will first address the problem of an automatic help to build sound hierarchies. Dependencies called "existence constraints" are the foundation for the definition of a "normalized" hierarchy of concepts. In the first part of the paper algorithms are provided to obtain a normalized hierarchy starting either from concepts or from instances using Boolean functions. The second part of the paper is devoted to the hierarchy maintenance: automatically inserting, merging or removing pieces of knowledge. We also provide a way to give synthetic views of the hierarchy.

[1]  Stefan Decker,et al.  Creating Semantic Web Contents with Protégé-2000 , 2001, IEEE Intell. Syst..

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

[3]  Fèlix Saltor,et al.  Semantically Enriching Relational Databases into an Object Oriented Semantic Model , 1994, DEXA.

[4]  Enrico Franconi.  Logical Form and Knowledge Representation: towards a reconciliation , 1996 .

[5]  William J. Premerlani,et al.  Converting OO models into RDBMS schema , 1994, IEEE Software.

[6]  Ian Horrocks,et al.  OIL: An Ontology Infrastructure for the Semantic Web , 2001, IEEE Intell. Syst..

[7]  Nicola Guarino,et al.  Evaluating ontological decisions with OntoClean , 2002, CACM.

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

[9]  K. D. Joshi,et al.  A collaborative approach to ontology design , 2002, CACM.

[10]  Mohamed Mohsen Gammoudi,et al.  Inheritance Graph Hierarchy Construction Using Rectangular Decomposition of a Binary Relation and Designer Feedback , 1997, ER.

[11]  Régine Laleau,et al.  Deriving Normalized Is_a Hierarchies by Using Applicability Constraints , 1996, CAiSE.

[12]  Arno Siebes,et al.  An Approach to Schema Integratioin Based on Transformations and Behaviour , 1994, CAiSE.

[13]  Karl J. Lieberherr,et al.  From objects to classes: algorithms for optimal object-oriented design , 1991, Softw. Eng. J..

[14]  Billie S. Goldstein.  Constraints on Null Values in Relational Databases , 1981, VLDB.

[15]  Toby J. Teorey,et al.  The ORAC Model: A Unified View of Data Abstraction , 1991, ER.

[16]  Peretz Shoval,et al.  Conceptual Design of Object-Oriented Database Schemas Using the Binary-Relationship Model , 1995, Data Knowl. Eng..

[17]  Heiner Stuckenschmidt,et al.  Ontology-Based Integration of Information - A Survey of Existing Approaches , 2001, OIS@IJCAI.

[18]  Paolo Atzeni,et al.  Functional Dependencies and Constraints on Null Values in Database Relations , 1986, Inf. Control..

[19]  Nicola Guarino,et al.  Supporting ontological analysis of taxonomic relationships , 2001, Data Knowl. Eng..

[20]  Christoph F. Eick.  A Methodology for the Design and Transformation of Conceptual Schemas , 1991, VLDB.

[21]  Veda C. Storey,et al.  Reverse Engineering of Relational Databases: Extraction of an EER Model from a Relational Database , 1994, Data Knowl. Eng..

[22]  Asunción Gómez-Pérez,et al.  Building Ontologies at the Knowledge Level using the Ontology Design Environment , 1998 .

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

[24]  Kalina Bontcheva,et al.  EAGLES LE3-4244 Preliminary Recommendations on Lexical Semantic Encoding Final Report , 1999 .

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

[26]  Rebecca Wirfs-Brock,et al.  Designing object-oriented software , 1990 .

[27]  Lotfi Lakhal,et al.  Building Inheritance Graphs in Object Database Design , 1996, DEXA.

[28]  Xavier Castellani.  Mechanisms of Standardized Reusability of Objects (MCO Methodology) , 1993, Information System Development Process.

[29]  Ian Horrocks,et al.  Patel-Schneider: OIL: Ontology Infrastructure to Enable the Semantic Web , 2001 .

[30]  Richard Fikes,et al.  The Ontolingua Server: a tool for collaborative ontology construction , 1997, Int. J. Hum. Comput. Stud..

[31]  Arno Siebes,et al.  Schema Integration in Object-Oriented Databases , 1993, CAiSE.

[32]  Nadira Lammari,et al.  An Algorithm to Extract IS-A Inheritance Hierarchies from a Relational Database , 1999, ER.

[33]  Terry A. Halpin.  A Fact-Oriented Approach to Schema Transformation , 1991, MFDBS.

[34]  Vincent Englebert,et al.  Understanding Implementations of IS-A Relations , 1996, ER.

[35]  Hafedh Mili,et al.  Building and maintaining analysis-level class hierarchies using Galois Lattices , 1993, OOPSLA '93.

[36]  Veda C. Storey,et al.  Understanding semantic relationships , 1993, The VLDB Journal.

[37]  E. F. Codd,et al.  The Relational Model for Database Management, Version 2 , 1990 .

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

[39]  Michel C. A. Klein,et al.  The semantic web: yet another hip? , 2002, Data Knowl. Eng..

[40]  Chris F. Kemerer,et al.  A Metrics Suite for Object Oriented Design , 2015, IEEE Trans. Software Eng..

[41]  Régine Laleau,et al.  An Algorithm for IS_A Hierarchy Derivation , 1994, OOIS.

[42]  Zahir Tari,et al.  Designing the reengineering service for the DOK federated database system , 1997, Proceedings 13th International Conference on Data Engineering.

[43]  Ian Horrocks,et al.  On-To-Knowledge: Ontology-based Tools for Knowledge Management , 2000 .

[44]  Paolo Atzeni,et al.  Functional Dependencies and Disjunctive Existence Constraints in Database Relations with Null Values , 1984, ICALP.

[45]  Paul Johannesson.  Supporting Schema Integration by Linguistic Instruments , 1997, Data Knowl. Eng..

[46]  Ahmad Kayed,et al.  Extracting ontological concepts for tendering conceptual structures , 2002, Data Knowl. Eng..

[47]  Aldo Gangemi,et al.  Ontology integration: Experiences with medical terminologies , 1998 .

[48]  Michel Klein,et al.  Combining and relating ontologies: an analysis of problems and solutions , 2001, OIS@IJCAI.

[49]  Joseph Fong,et al.  Converting relational to object-oriented databases , 1997, SGMD.

[50]  Nadira Lammari.  Reorganisation des hierarchies d'heritages dans un schema conceptuel objet , 1996 .

[51]  Isabelle Comyn-Wattiau,et al.  Relational Database Reverse Engineering: Elicitation of Generalization Hierarchies , 1999, ER.

[52]  J. P. Martins,et al.  Reusing Ontologies , 2000 .

[53]  Julia E. Hodges,et al.  Extraction of object-oriented structures from existing relational databases , 1997, SGMD.

[54]  Vijayan Sugumaran,et al.  Ontologies for conceptual modeling: their creation, use, and management , 2002, Data Knowl. Eng..

[55]  Kevin Knight,et al.  Toward Distributed Use of Large-Scale Ontologies t , 1997 .