http://www.bibsonomy.org/burst/user/stumme/formalBibSonomy BuRST Feed for /user/stumme/formal2008-07-26T21:45:25+02:00SpringerLink - Zeitschriftenbeitraghttp://www.bibsonomy.org/bibtex/2a53905954aeef0a80ec7424f978bca14/stummestumme2008-05-26T11:57:05+02:00retrieval information ir fca clustering analysis concept formal carpineto <span style="color:#555555;">Claudio <a href="http://www.bibsonomy.org/author/Carpineto">Carpineto</a> and Giovanni <a href="http://www.bibsonomy.org/author/Romano">Romano</a> </span><em>Machine Learning</em><em>24(2):95--122</em><em>#aug#1996. </em>Mon May 26 11:57:05 CEST 2008Machine Learning#aug#295--122A lattice conceptual clustering system and its application to browsing retrieval241996retrieval information ir fca clustering analysis concept formal carpineto The theory of concept (or Galois) lattices provides a simple and formal approach to conceptual clustering. In this paper we present GALOIS, a system that automates and applies this theory. The algorithm utilized by GALOIS to build a concept lattice is incremental and efficient, each update being done in time at most quadratic in the number of objects in the lattice. Also, the algorithm may incorporate background information into the lattice, and through clustering, extend the scope of the theory. The application we present is concerned with information retrieval via browsing, for which we argue that concept lattices may represent major support structures. We describe a prototype user interface for browsing through the concept lattice of a document-term relation, possibly enriched with a thesaurus of terms. An experimental evaluation of the system performed on a medium-sized bibliographic database shows good retrieval performance and a significant improvement after the introduction of background knowledge. ER -http://www.bibsonomy.org/bibtex/2eb0bdaeab0aa5d4c528c97e2b10770b9/stummestumme2008-03-28T17:54:33+01:00triadic shared bibsonomy myown fca formal concept analysis folksonomies 2007 l3s discovering <span style="color:#555555;">Robert <a href="http://www.bibsonomy.org/author/Jäschke">J&#228;schke</a> and Andreas <a href="http://www.bibsonomy.org/author/Hotho">Hotho</a> and Christoph <a href="http://www.bibsonomy.org/author/Schmitz">Schmitz</a> and Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and Gerd <a href="http://www.bibsonomy.org/author/Stumme">Stumme</a> </span><em>Journal of Web Semantics</em><em>6(1):38-53</em>(<em>2008</em>)Fri Mar 28 17:54:33 CET 2008Journal of Web Semantics138-53Discovering Shared Conceptualizations in Folksonomies62008triadic shared bibsonomy myown fca formal concept analysis folksonomies 2007 l3s discovering http://www.bibsonomy.org/bibtex/24423251a98a4bba43a7ffa89c108a3fd/stummestumme2008-03-28T16:46:58+01:00knowledge conceptual FCA OntologyHandbook formal concept wissensverarbeitung analysis processing fca begriffliche <span style="color:#555555;">Rudolf <a href="http://www.bibsonomy.org/author/Wille">Wille</a> </span><em>Begriffliche Wissensverarbeitung -- Grundfragen und Aufgaben, </em><em>page11-25. </em><em>Mannheim, </em><em>B. I. -Wissenschaftsverlag, </em>(<em>1994</em>)Fri Mar 28 16:46:58 CET 2008MannheimBegriffliche Wissensverarbeitung -- Grundfragen und AufgabenB. I. -Wissenschaftsverlag11-25{Plädoyer für eine philosophische Grundlegung der Begrifflichen Wissensverarbeitung}1994knowledge conceptual FCA OntologyHandbook formal concept wissensverarbeitung analysis processing fca begriffliche http://www.bibsonomy.org/bibtex/28b3d9e55b5756262ef65758345258d3b/stummestumme2008-03-28T12:11:30+01:00wissensverarbeitung processing concept conceptual analysis knowledge fca formale OntologyHandbook FCA formal begriffsanalyse <span style="color:#555555;">Rudolf <a href="http://www.bibsonomy.org/author/Wille">Wille</a> </span><em>Informatik--Spektrum</em><em>23(6):357-369</em>(<em>2000</em>)Fri Mar 28 12:11:30 CET 2008Informatik--Spektrum6357-369{Begriffliche Wissensverarbeitung: Theorie und Praxis}232000wissensverarbeitung processing concept conceptual analysis knowledge fca formale OntologyHandbook FCA formal begriffsanalyse http://www.bibsonomy.org/bibtex/23d15f666da41efce3311baf2ecaa7d89/stummestumme2008-03-28T12:11:30+01:00processing knowledge conceptual formal begriffliche OntologyHandbook analysis wissensverarbeitung FCA fca concept <span style="color:#555555;">Rudolf <a href="http://www.bibsonomy.org/author/Wille">Wille</a> </span><em>Begriffliche Wissensverarbeitung -- Grundfragen und Aufgaben, </em><em>page11-25. </em><em>Mannheim, </em><em>B. I. -Wissenschaftsverlag, </em>(<em>1994</em>)Fri Mar 28 12:11:30 CET 2008MannheimBegriffliche Wissensverarbeitung -- Grundfragen und AufgabenB. I. -Wissenschaftsverlag11-25{Pl�doyer f�r eine philosophische Grundlegung der Begrifflichen Wissensverarbeitung}1994processing knowledge conceptual formal begriffliche OntologyHandbook analysis wissensverarbeitung FCA fca concept FCA publications until 1980http://www.bibsonomy.org/bibtex/29393d6e046e5919370d6ca9d7204f53a/stummestumme2008-03-28T12:11:30+01:00tu formal OntologyHandbook forschungsgruppe FCA formale lattices concept analysis darmstadt fba ag1 begriffsanalyse fca <span style="color:#555555;">Rudolf <a href="http://www.bibsonomy.org/author/Wille">Wille</a> </span><em>Beitr&#228;ge zur Begriffsanalyse, </em><em>B.I.--Wissenschaftsverlag, </em><em>Mannheim, </em>(<em>1987</em>)Fri Mar 28 12:11:30 CET 2008 Mannheim Beitr{\"a}ge zur Begriffsanalyse 161-211 {Bedeutungen von Begriffsverb{\"a}nden} 1987 tu formal OntologyHandbook forschungsgruppe FCA formale lattices concept analysis darmstadt fba ag1 begriffsanalyse fca http://www.bibsonomy.org/bibtex/2b2ddc22e6366c21d996f56bfa06908dd/stummestumme2008-03-28T12:11:30+01:00concept analysis fca begriffsanalyse FCA formal OntologyHandbook example beings formale living <span style="color:#555555;">Viola <a href="http://www.bibsonomy.org/author/Tak�cs">Tak&#65533;cs</a> </span><em>Manuscript of a lecture given at TH Darmstadt, 60 pages, </em><em>February1984. </em>Fri Mar 28 12:11:30 CET 2008Manuscript of a lecture given at TH Darmstadt, 60 pagesFebruaryTwo applications of {G}alois graphs in pedagogical research1984concept analysis fca begriffsanalyse FCA formal OntologyHandbook example beings formale living http://www.bibsonomy.org/bibtex/23ad5183ad5e15d93898a798bd5063194/stummestumme2008-03-28T12:11:30+01:002003 processing conceptual Processing FCA fca discovery Conceptual formal concept myown OntologyHandbook analysis Knowledge knowledge habilitation <span style="color:#555555;">G. <a href="http://www.bibsonomy.org/author/Stumme">Stumme</a> </span><em>Intl. J. Human-Comuter Studies (IJHCS)</em><em>59(3):287-325</em><em>September2003. </em>Fri Mar 28 12:11:30 CET 2008Intl. J. Human-Comuter Studies (IJHCS)September3287-325Off to New Shores -- Conceptual Knowledge Discovery and Processing5920032003 processing conceptual Processing FCA fca discovery Conceptual formal concept myown OntologyHandbook analysis Knowledge knowledge habilitation In the last years, the main orientation of Formal Concept Analysis (FCA) has turned from mathematics towards computer science. This article provides a review of this new orientation and analyzes why and how FCA and computer science attracted each other. It discusses FCA as a knowledge representation formalism using five knowledge representation principles provided by Davis, Shrobe, and Szolovits (1993). It then studies how and why mathematics-based researchers got attracted by computer science. We will argue for continuing this trend by integrating the two research areas FCA and Ontology Engineering. The second part of the article discusses three lines of research which witness the new orientation of Formal Concept Analysis: FCA as a conceptual clustering technique and its application for supporting the merging of ontologies; the efficient computation of association rules and the structuring of the results; and the visualization and management of conceptual hierarchies and ontologies including its application in an email management system.http://www.bibsonomy.org/bibtex/2aac9dbdb8310f6b3db8bae76e434b314/stummestumme2008-03-28T12:11:30+01:00fca analysis algorithm formal algorithms concept OntologyHandbook FCA <span style="color:#555555;">S. <a href="http://www.bibsonomy.org/author/Kuznetsov">Kuznetsov</a> and S. <a href="http://www.bibsonomy.org/author/Obiedkov">Obiedkov</a> </span><em>Journal of Experimental and Theoretical Artificial Intelligence</em>(<em>2002</em>)Fri Mar 28 12:11:30 CET 2008Journal of Experimental and Theoretical Artificial Intelligence189-216Comparing performance of algorithms for generating concept lattices142002fca analysis algorithm formal algorithms concept OntologyHandbook FCA http://www.bibsonomy.org/bibtex/2a9f6da98afa14d110a529e515e8f592b/stummestumme2008-03-28T12:11:30+01:00Analysis FCA Visualization Creating Web creating formal fca OntologyHandbook concept web visualization analysis <span style="color:#555555;">Robert E. <a href="http://www.bibsonomy.org/author/Kent">Kent</a> and Christian <a href="http://www.bibsonomy.org/author/Neuss">Neuss</a> </span><em>Computer Networks and ISDN Systems</em><em>28(1&amp;2):109-117</em>(<em>1995</em>)Fri Mar 28 12:11:30 CET 2008Computer Networks and ISDN Systems1\&2109-117Creating a Web Analysis and Visualization Environment281995Analysis FCA Visualization Creating Web creating formal fca OntologyHandbook concept web visualization analysis http://www.bibsonomy.org/bibtex/238ab0f59191ec7ed1f0e9325685c2860/stummestumme2008-03-28T12:11:30+01:00analysis folksonomies formal FCA triadic lattices 2006 trias OntologyHandbook algorithm concept myown tagging tri iceberg fca folksonomy nepomuk <span style="color:#555555;">Robert <a href="http://www.bibsonomy.org/author/J�schke">J&#65533;schke</a> and Andreas <a href="http://www.bibsonomy.org/author/Hotho">Hotho</a> and Christoph <a href="http://www.bibsonomy.org/author/Schmitz">Schmitz</a> and Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and Gerd <a href="http://www.bibsonomy.org/author/Stumme">Stumme</a> </span><em>Proceedings of the 6th IEEE International Conference on Data Mining (ICDM 06), </em><em>page907-911. </em><em>Hong Kong, </em><em>IEEE Computer Society, </em><em>December2006. </em>Fri Mar 28 12:11:30 CET 2008Hong KongProceedings of the 6th IEEE International Conference on Data Mining (ICDM 06)December907-911TRIAS - An Algorithm for Mining Iceberg Tri-Lattices2006analysis folksonomies formal FCA triadic lattices 2006 trias OntologyHandbook algorithm concept myown tagging tri iceberg fca folksonomy nepomuk http://www.bibsonomy.org/bibtex/2ee411290ea5b80d257ac115b2738237c/stummestumme2008-03-28T12:11:30+01:00math fca concept OntologyHandbook FCA formal analysis <span style="color:#555555;">B. <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and R. <a href="http://www.bibsonomy.org/author/Wille">Wille</a> </span><em>Springer, </em>(<em>1999</em>) <em>Translation of: it Formale Be-griffs-ana-ly-se: Mathematische Grundlagen. Sprin-ger, Heidelberg 1996. . </em>Fri Mar 28 12:11:30 CET 2008Translation of: {\it Formale Be\-griffs\-ana\-ly\-se: Mathematische Grundlagen.} Sprin\-ger, Heidelberg 1996.Formal Concept Analysis: Mathematical Foundations1999math fca concept OntologyHandbook FCA formal analysis http://www.bibsonomy.org/bibtex/2be881638f77ac9d0b4e8434f0b3385f6/stummestumme2008-03-28T12:11:30+01:00formal fca images image sleuth retrieval information concept ir analysis OntologyHandbook FCA <span style="color:#555555;">J. <a href="http://www.bibsonomy.org/author/Ducrou">Ducrou</a> and B. <a href="http://www.bibsonomy.org/author/Vormbrock">Vormbrock</a> and P. W. <a href="http://www.bibsonomy.org/author/Eklund">Eklund</a> </span><em>Proc. of the 14 th Int. Conference on Conceptual Structures, </em><em>Springer-Verlag, </em>(<em>2006</em>)Fri Mar 28 12:11:30 CET 2008Proc. of the 14 th Int. Conference on Conceptual Structures{FCA}-based Browsing and Searching of a Collection of Images2006formal fca images image sleuth retrieval information concept ir analysis OntologyHandbook FCA http://www.bibsonomy.org/bibtex/2178e5471ac43f591c381653da53060d4/stummestumme2008-03-28T12:11:30+01:00algorithms FCA matrice algorithme fca matrices formal analysis algorithm concept OntologyHandbook <span style="color:#555555;">Michel <a href="http://www.bibsonomy.org/author/Chein">Chein</a> </span><em>Bull. Math. Soc. Sc. Math. de Roumanie</em><em>1(13):21-25</em>(<em>1969</em>)Fri Mar 28 12:11:30 CET 2008Bull. Math. Soc. Sc. Math. de Roumanie1321-25Algorithme de recherche des sous-matrices premi�res d'une matrice11969algorithms FCA matrice algorithme fca matrices formal analysis algorithm concept OntologyHandbook http://www.bibsonomy.org/bibtex/27dc1c278a8b3202c10349bd823f5c98b/stummestumme2008-03-28T12:11:30+01:00fca iccs concept FCA formal multicontexts OntologyHandbook analysis <span style="color:#555555;">Julien <a href="http://www.bibsonomy.org/author/Tane">Tane</a> and Philipp <a href="http://www.bibsonomy.org/author/Cimiano">Cimiano</a> and Pascal <a href="http://www.bibsonomy.org/author/Hitzler">Hitzler</a> </span><em>Proc. 14th Intl. Conf. on Conceptual Structures, </em><em>volume4068ofLNCS, </em><em>page413-426. </em><em>Springer, </em>(<em>2006</em>)Fri Mar 28 12:11:30 CET 2008Proc. 14th Intl. Conf. on Conceptual StructuresDBLP:conf/iccs/2006413-426LNCSQuery-Based Multicontexts for Knowledge Base Browsing: An Evaluation.40682006fca iccs concept FCA formal multicontexts OntologyHandbook analysis http://www.bibsonomy.org/bibtex/220dd28b712c5380c17f536734fb1a804/stummestumme2008-03-28T12:11:30+01:00rules fca association OntologyHandbook closed concept analysis itemset formal FCA mining <span style="color:#555555;">Nicolas <a href="http://www.bibsonomy.org/author/Pasquier">Pasquier</a> and Yves <a href="http://www.bibsonomy.org/author/Bastide">Bastide</a> and Rafik <a href="http://www.bibsonomy.org/author/Taouil">Taouil</a> and Lotfi <a href="http://www.bibsonomy.org/author/Lakhal">Lakhal</a> </span><em>Bases de Donn&#65533;es Avanc&#65533;es, </em>(<em>1998</em>)Fri Mar 28 12:11:30 CET 2008Bases de Donn�es Avanc�esconf/bda/1998Pruning closed itemset lattices for associations rules.1998rules fca association OntologyHandbook closed concept analysis itemset formal FCA mining dblphttp://www.bibsonomy.org/bibtex/25820d87b8abafea6412a706e9dc4d791/stummestumme2008-03-28T12:11:30+01:00logics dl description analysis formal FCA fca concept OntologyHandbook <span style="color:#555555;">Franz <a href="http://www.bibsonomy.org/author/Baader">Baader</a> and Bernhard <a href="http://www.bibsonomy.org/author/Ganter">Ganter</a> and Baris <a href="http://www.bibsonomy.org/author/Sertkaya">Sertkaya</a> and Ulrike <a href="http://www.bibsonomy.org/author/Sattler">Sattler</a> </span><em>IJCAI, </em><em>page230-235. </em>(<em>2007</em>)Fri Mar 28 12:11:30 CET 2008IJCAIconf/ijcai/2007230-235Completing Description Logic Knowledge Bases Using Formal Concept Analysis.2007logics dl description analysis formal FCA fca concept OntologyHandbook http://www.bibsonomy.org/bibtex/2ff829df5d670725fad5902dbff1b453d/stummestumme2008-03-28T10:28:38+01:00formal concept fca begriffsanalyse analysis multicontexts formale <span style="color:#555555;">Julien <a href="http://www.bibsonomy.org/author/Tane">Tane</a> </span><em>Formal Concept Analysis, Third International Conf., ICFCA 2005-Supplementary Volume, </em><em>page62--78. </em><em>IUT de Lens, Universite d Artois, </em><em>FEB2006. </em>Fri Mar 28 10:28:38 CET 2008Formal Concept Analysis, Third International Conf., ICFCA 2005-Supplementary VolumeFEB62--78Using a Query-Based Multicontext For Knowledge Base Browsing2006formal concept fca begriffsanalyse analysis multicontexts formale http://www.bibsonomy.org/bibtex/2c8997feee8bc42f09e057f9be7eb5f92/stummestumme2008-03-28T10:21:21+01:00formal fca description exploration begriffsanalyse dl formale logics relational concept attribute analysis <span style="color:#555555;">Sebastian <a href="http://www.bibsonomy.org/author/Rudolph">Rudolph</a> </span><em>Universit&#228;tsverlag Karlsruhe, </em><em>DEC2006. </em><em>Dissertation . </em>Fri Mar 28 10:21:21 CET 2008DECDissertationRelational Exploration - Combining Description Logics and Formal Concept Analysis for Knowledge Specification2006formal fca description exploration begriffsanalyse dl formale logics relational concept attribute analysis http://www.bibsonomy.org/bibtex/2a590bd9ffa84e218d2d78c36feea9e1d/stummestumme2008-03-27T15:28:26+01:00titanic closed myown analysis concept fca 2002 itemsets formal lattices iceberg <span style="color:#555555;">G. <a href="http://www.bibsonomy.org/author/Stumme">Stumme</a> and R. <a href="http://www.bibsonomy.org/author/Taouil">Taouil</a> and Y. <a href="http://www.bibsonomy.org/author/Bastide">Bastide</a> and N. <a href="http://www.bibsonomy.org/author/Pasqier">Pasqier</a> and L. <a href="http://www.bibsonomy.org/author/Lakhal">Lakhal</a> </span><em>J. Data and KnowledgeEngineering (DKE)</em><em>42(2):189-222</em>(<em>2002</em>)Thu Mar 27 15:28:26 CET 2008{J.} Data and KnowledgeEngineering (DKE)2189-222Computing Iceberg Concept Lattices with {Titanic}422002titanic closed myown analysis concept fca 2002 itemsets formal lattices iceberg