Abstract.
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Baader, F.: Computing a minimal representation of the subsumption lattice of all conjunctions of concept defined in a terminology. In: Ellis, G., Levinson, R.A., Fall, A., Dahl, V. (eds.) Proc. Intl. KRUSE Symposium, UCSC, Santa Cruz, August 11–13, pp. 168–178 (1995)
Bechhofer, S., Horrocks, I., Goble, C., Stevens, R.: OilEd: A Reason-able Ontology Editor for the Semantic Web. In: Baader, F., Brewka, G., Eiter, T. (eds.) KI 2001. LNCS (LNAI), vol. 2174, pp. 396–408. Springer, Heidelberg (2001)
Chalupsky, H.: OntoMorph: A translation system for symbolic knowledge. In: Proc. KR 2000, Breckenridge, CO, USA, pp. 471–482 (2000)
Ganter, B.: Algorithmen zur Formalen Begriffsanalyse. In: Ganter, B., Wille, R., Wolff, K.E. (eds.) Beiträge zur Formalen Begriffsanalyse, pp. 241–254. B. I.– Wissenschaftsverlag, Mannheim (1987)
Ganter, B.: Attribute Exploration with Background Knowledge. TCS 217(2), 215–233 (1999)
Ganter, B., Krauße, R.: Pseudo models and propositional Horn inference. Preprint MATH-AL-15-1999, TU Dresden (1999)
Ganter, B., Wille, R.: Formal Concept Analysis: mathematical foundations. Springer, Heidelberg (1999)
Hovy, E.: Combining and standardizing large-scale, practical ontologies for machine translation and other uses. In: Proc. 1st Intl. Conf. on Language Resources and Evaluation, Granada, Spain (May 1998)
Mädche, A.: Ontology Learning for the Semantic Web. PhD thesis, Universität Karlsruhe. Kluwer, Dordrecht (2002)
Mädche, A., Staab, S.: Semi-automatic engineering of ontologies from Text. In: Proc. 12th Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE 2000) (2000)
Mädche, A., Staab, S.: Discovering conceptual relations from text. In: Proc. 14th European Conference on Artificial Intelligence (ECAI 2000). IOS Press, Amsterdam (2000)
McGuinness, D.L., Fikes, R., Rice, J., Wilder, S.: An environment for merging and testing large Ontologies. In: Proc. KR 2000, pp. 483–493 (2000)
Noy, N.F., Fergerson, R., Musen, M.: The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility. In: Dieng, R., Corby, O. (eds.) EKAW 2000. LNCS (LNAI), vol. 1937, pp. 17–32. Springer, Heidelberg (2000)
Noy, N.F., Musen, M.A.: PROMPT: algorithm and tool for automated ontology merging and alignment. In: Proc. AAAI 2000, 450–455 (2000)
Schmitt, I., Saake, G.: Merging inheritance hierarchies for database integration. In: Proc. CoopIS 1998, pp. 322–331. IEEE Computer Society Press, Los Alamitos (1998)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publ., Pacific Grove (2000)
Staab, S., Mädche, A.: Ontology engineering beyond the modeling of concepts and relations. In: Proc. ECAI 2000 workshop on application of ontologies and problemsolving methods. IOS Press, Amsterdam (2000)
Staab, S., Schnurr, H.-P., Studer, R., Sure, Y.: Knowledge Processes and Ontologies. IEEE Intelligent Systems 16(1) (2001)
Stumme, G., Mädche, A.: FCA–Merge: Bottom-Up Merging of Ontologies. In: Proc. 17th Intl. Conf. on Artificial Intelligence (IJCAI 2001). Seattle, WA, USA, pp. 225–230 (2001)
Sure, Y., Boyens, C.: OntoKick – Ignition for Ontologies. In: Poster Session at: WI–IF 2001 — 5th International Conference WirtschaftsInformatik, Augsburg, Germany, Seprember 19–21 (2001)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered sets, pp. 445–470. Reidel, Dordrecht (1982)
Strahringer, S., Wille, R., Wille, U.: Mathematical Support for Empirical Theory Building. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 169–186. Springer, Heidelberg (2001)
Zickwolff, M.: Rule Exploration: First Order Logic in Formal Concept Analysis. PhD thesis, TH Darmstadt (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ganter, B., Stumme, G. (2003). Creation and Merging of Ontology Top-Levels. In: Ganter, B., de Moor, A., Lex, W. (eds) Conceptual Structures for Knowledge Creation and Communication. ICCS 2003. Lecture Notes in Computer Science(), vol 2746. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45091-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-540-45091-7_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40576-4
Online ISBN: 978-3-540-45091-7
eBook Packages: Springer Book Archive