Creation and Merging of Ontology Top-Levels

We provide a new method for systematically structuring the top-down level of ontologies. It is based on an interactive, top-down knowledge acquisition process, which assures that the knowledge engineer considers all possible cases while avoiding redundant acquisition. The method is suited especially for creating/merging the top part(s) of the ontologies, where high accuracy is required, and for supporting the merging of two (or more) ontologies on that level.

[1]  Steffen Staab,et al.  Semi-Automatic Engineering of Ontologies from Text , 2000, ICSE 2000.

[2]  Rudolf Wille,et al.  Mathematical Support for Empirical Theory Building , 1999, Electron. Notes Discret. Math..

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

[4]  Steffen Staab,et al.  Ontology Engineering beyond the Modeling of Concepts and Relations , 2000 .

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

[6]  Gerd Stumme,et al.  Conceptual Structures: Broadening the Base , 2001, Lecture Notes in Computer Science.

[7]  Bernhard Ganter,et al.  Pseudo-models and propositional Horn inference , 2005, Discret. Appl. Math..

[8]  Steffen Staab,et al.  Ontology Learning for the Semantic Web , 2002, IEEE Intell. Syst..

[9]  Gunter Saake,et al.  Merging inheritance hierarchies for database integration , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[10]  Bernhard Ganter,et al.  Attribute Exploration with Background Knowledge , 1999, Theor. Comput. Sci..

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

[12]  Eduard Hovy,et al.  Combining and standardizing large- scale, practical ontologies for machine tranlation and other uses , 1998, LREC.

[13]  Steffen Staab,et al.  Discovering Conceptual Relations from Text , 2000, ECAI.

[14]  Bernhard Ganter,et al.  Formal Concept Analysis: Mathematical Foundations , 1998 .

[15]  Steffen Staab,et al.  Knowledge Processes and Ontologies , 2001, IEEE Intell. Syst..

[16]  Gerd Stumme,et al.  FCA-MERGE: Bottom-Up Merging of Ontologies , 2001, IJCAI.

[17]  Franz Baader,et al.  KI 2001: Advances in Artificial Intelligence , 2001, Lecture Notes in Computer Science.

[18]  Stuart C. Shapiro.  Review of Knowledge representation: logical, philosophical, and computational foundations by John F. Sowa. Brooks/Cole 2000. , 2001 .

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

[20]  John F. Sowa,et al.  Knowledge representation: logical, philosophical, and computational foundations , 2000 .

[21]  F. Baader.  Computing a Minimal Representation of the Subsumption Lattice of All Conjunctions of Concepts De ned in a Terminology ? , 1995 .

[22]  Alexander Maedche.  Ontology Learning Algorithms , 2002 .

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