Creation and merging of ontology top-levels

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2746, Issue , 2003, Pages 131-145

  Ganter, Bernhard ^a   Stumme, Gerd ^b  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTERS;

HIGH-ACCURACY; TOPDOWN;

MERGING;

EID: 7044284917     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-45091-7_9     Document Type: Conference Paper

References (23)

1. F. Baader: Computing a minimal representation of the subsumption lattice of all conjunctions of concept defined in a terminology. In: G. Ellis, R. A. Levinson, A. Fall, V. Dahl (eds.): Proc. Intl. KRUSE Symposium, August 11-13, 1995, UCSC, Santa Cruz 1995, 168-178
2. S. Bechhofer, I. Horrocks, C. Goble, R. Stevens: OilEd: A Reason-able Ontology Editor for the Semantic Web, In: KI-2001: Advances in Artificial Intelligence, LNAI 2174, Springer, Heidelberg 2001, 396-408
3. H. Chalupsky: OntoMorph: A translation system for symbolic knowledge. Proc.KR'00, Breckenridge, CO, USA,471-482.
4. B. Ganter: Algorithmen zur Formalen Begriffsanalyse. In: B. Ganter, R. Wille, K. E. Wolff (eds.): Beiträge zur Formalen Begriffsanalyse, B. I.-Wissenschaftsverlag, Mannheim 1987, 241-254
5. B. Ganter: Attribute Exploration with Background Knowledge. TCS 217(2), 1999, 215-233
6. B. Ganter, R. Krauße: Pseudo models and propositional Horn inference. Preprint MATH-AL-15-1999, TU Dresden 1999
7. B. Ganter, R. Wille: Formal Concept Analysis: mathematical foundations. Springer, Berlin-Heidelberg 1999
8. E. Hovy: Combining and standardizing large-scale, practical ontologies for machine translation and other uses. Proc. 1st Intl. Conf. on Language Resources and Evaluation, Granada, Spain, May 1998.
9. A. Mädche: Ontology Learning for the Semantic Web. PhD thesis, Universität Karlsruhe. Kluwer, Dordrecht 2002
10. A. Mädche, S. Staab: Semi-automatic engineering of ontologies from Text. Proc. 12th Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE'2000)
11. A. Mädche, S. Staab: Discovering conceptual relations from text. Proc. 14th European Conference on Artificial Intelligence (ECAI 2000), IOS Press, Amsterdam, 2000
12. D. L. McGuinness, R. Fikes, J. Rice, and S. Wilder: An environment for merging and testing large Ontologies. Proc. KR '00, 483-493.
13. N. F. Noy, R. Fergerson, M. Musen: The Knowledge Model of Protégé-2000: Combining Interoperability and Flexibility, Proc. EKAW 2000, LNCS 1937, Springer, Heidelberg 2000, 17-32
14. N. F. Noy, M. A. Musen: PROMPT: algorithm and tool for automated ontology merging and alignment. Proc. AAAI '00, 450-455
15. I. Schmitt, G. Saake: Merging inheritance hierarchies for database integration. Proc. CoopIS'98, IEEE Computer Science Press, 322-331.
16. J. F. Sowa: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publ., Pacific Grove, CA, 2000
17. S. Staab, A. Mädche: Ontology engineering beyond the modeling of concepts and relations. Proc. ECAI'2000 workshop on application of ontologies and problemsolving methods, IOS Press, Amsterdam 2000
18. S. Staab, H.-P. Schnurr, R. Studer, Y. Sure: Knowledge Processes and Ontologies. IEEE Intelligent Systems 16(1), 2001
19. G. Stumme, A. Mädche: FCA-Merge: Bottom-Up Merging of Ontologies. Proc. 17th Intl. Conf. on Artificial Intelligence (IJCAI '01). Seattle, WA, USA, 2001, 225-230
20. Y. Sure, C. Boyens: OntoKick - Ignition for Ontologies. Poster Session at: WI-IF 2001 - 5th International Conference WirtschaftsInformatik, Sep. 19-21, 2001, Augsburg, Germany
21. R. Wille: Restructuring lattice theory: an approach based on hierarchies of concepts. In: I. Rival (ed.): Ordered sets. Reidel, Dordrecht 1982, 445-470
22. S. Strahringer, R. Wille, U. Wille: Mathematical Support for Empirical Theory Building. In: H. Delugach, G. Stumme (Eds.): Conceptual Structures: Broadening the Base. Proc. ICCS '01. LNAI 2120, Springer, Heidelberg 2001, 169-186
23. M. Zickwolff: Rule Exploration: First Order Logic in Formal Concept Analysis. PhD thesis, TH Darmstadt 1991