Formal concept analysis in information science

L'article constitue une introduction a la recherche sur l'Analyse Conceptuelle Formelle (ACF), methode d'analyse de donnees, de representation de connaissances et de gestion de l'information, et ses applications en sciences de l'information. Apres un rappel des notions de base de l'ACF (connexion de Galois, treillis conceptuels, echelles conceptuelles) et leurs relations avec des notions similaires dans d'autres domaines, l'A. s'interesse a l'utilisation des outils de l'ACF pour la recherche d'information, la representation et la decouverte de connaissances, la logique et l'intelligence artificielle.

[1]  G. Frege Über Sinn und Bedeutung , 1892 .

[2]  Dagobert Soergel,et al.  Mathematical analysis of documentation systems : An attempt to a theory of classification and search request formulation , 1967, Inf. Storage Retr..

[3]  Gerard Salton,et al.  Automatic Information Organization And Retrieval , 1968 .

[4]  Hartmut von Hentig Magier oder Magister? : über die Einheit der Wissenschaft im Verständigungsprozeß , 1972 .

[5]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[6]  Fred S. Roberts,et al.  Applications of combinatorics and graph theory to the biological and social sciences , 1989 .

[7]  D L Medin,et al.  Concepts and conceptual structure. , 1989, The American psychologist.

[8]  R. Wille Concept lattices and conceptual knowledge systems , 1992 .

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

[10]  Lc Freeman,et al.  USING GALOIS LATTICES TO REPRESENT NETWORK DATA , 1993 .

[11]  Rokia Missaoui,et al.  Experimental Comparison of Navigation in a Galois Lattice with Conventional Information Retrieval Methods , 1993, Int. J. Man Mach. Stud..

[12]  Claudio Carpineto,et al.  GALOIS: An Order-Theoretic Approach to Conceptual Clustering , 1993, ICML.

[13]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[14]  Claudio Carpineto,et al.  ULYSSES: A Lattice-Based Multiple Interaction Strategy Retrieval Interface , 1995, EWHCI.

[15]  Claudio Carpineto,et al.  Information retrieval through hybrid navigation of lattice representations , 1996, Int. J. Hum. Comput. Stud..

[16]  Gerd Stumme Exploration tools in formal concept analysis , 1996 .

[17]  Rudolf Wille,et al.  Introduction to formal concept analysis , 1996 .

[18]  Otto Opitz,et al.  Ordinal and Symbolic Data Analysis , 1996 .

[19]  Gerd Stumme,et al.  Attribute Exploration with Background Implications and Exceptions , 1996 .

[20]  Yvonne Rogers,et al.  External cognition: how do graphical representations work? , 1996, Int. J. Hum. Comput. Stud..

[21]  Gerd Stumme,et al.  Concept Exploration - A Tool for Creating and Exploring Conceptual Hierarchies , 1997, ICCS.

[22]  Gregor Snelting,et al.  Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[23]  Rudolf Wille,et al.  Conceptual Graphs and Formal Concept Analysis , 1997, ICCS.

[24]  Jon Barwise,et al.  Information Flow: The Logic of Distributed Systems , 1997 .

[25]  John F. Sowa,et al.  Conceptual Structures: Fulfilling Peirce's Dream , 1997, Lecture Notes in Computer Science.

[26]  Hamid Mcheick,et al.  Another nail to the coffin of faceted controlled-vocabulary component classification and retrieval , 1997, SSR '97.

[27]  Gerd Stumme,et al.  Conceptual Knowledge Discovery in Databases Using Formal Concept Analysis Methods , 1998, PKDD.

[28]  Uta Priss,et al.  Relational concept analysis: semantic structures in dictionaries and lexical databases , 1998 .

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

[30]  Susanne Prediger,et al.  Kontextuelle Urteilslogik mit Begriffsgraphen: ein Beitrag zur Restrukturierung der mathematischen Logik , 1998 .

[31]  Bernhard Ganter,et al.  Contextual Attribute Logic , 1999, ICCS.

[32]  Gerd Stumme,et al.  Conceptual Structures Represented by Conceptual Graphs and Formal Concept Analysis , 1999, ICCS.

[33]  Gerd Stumme,et al.  Theory-driven Logical Scaling: Conceptual Information Systems meet Description Logics , 1999, KRDB.

[34]  Rudolf Wille,et al.  Conceptual Landscapes of Knowledge: A Pragmatic Paradigm for Knowledge Processing , 1999 .

[35]  Peter W. Eklund,et al.  Algorithms for Creating Relational Power Context Families from Conceptual Graphs , 1999, ICCS.

[36]  Gerd Stumme,et al.  Dual Retrieval in Conceptual Information Systems , 1999, BTW.

[37]  Rudolf Wille,et al.  The Lattice of Concept Graphs of a Relationally Scaled Context , 1999, ICCS.

[38]  R. Wille,et al.  Ein TOSCANA-Erkundungssystem zur Literatursuche , 2000 .

[39]  Gerd Stumme,et al.  A Contextual-Logic Extension of TOSCANA , 2000, ICCS.

[40]  Rudolf Wille Contextual logic summary , 2000 .

[41]  Bernhard Ganter,et al.  Conceptual Structures: Logical, Linguistic, and Computational Issues , 2000, Lecture Notes in Computer Science.

[42]  Rudolf Wille,et al.  Boolean Concept Logic , 2000, ICCS.

[43]  Rudolf Wille,et al.  Ein Erkundungssystem Zum Baurecht: Methoden Der Entwicklung Eines TOSCANA-Systems , 2000 .

[44]  Gerd Stumme,et al.  Conceptual Knowledge Discovery and Data Analysis , 2000, ICCS.

[45]  Gerd Stumme,et al.  CEM - A Conceptual Email Manager , 2000, ICCS.

[46]  Marianne Huchard,et al.  Computing interfaces in Java , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[47]  Frithjof Dau,et al.  Negations in Simple Concept Graphs , 2000, ICCS.

[48]  Richard Holzer,et al.  On the Treatment of Incomplete Knowledge in Formal Concept Analysis , 2000, ICCS.

[49]  Uta Priss,et al.  Lattice-based information retrieval , 2000 .

[50]  Peter Burmeister ConImp - Ein Programm zur Formalen Begriffsanalyse , 2000 .

[51]  Claudio Carpineto,et al.  Order-theoretical ranking , 2000 .

[52]  Rainer Koschke,et al.  Feature-driven program understanding using concept analysis of execution traces , 2001, Proceedings 9th International Workshop on Program Comprehension. IWPC 2001.

[53]  Peter W. Eklund,et al.  Browsing Semi-structured Web Texts Using Formal Concept Analysis , 2001, ICCS.

[54]  Rudolf Wille,et al.  Why can concept lattices support knowledge discovery in databases? , 2002, J. Exp. Theor. Artif. Intell..

[55]  Gerd Stumme,et al.  Formal Concept Analysis on Its Way from Mathematics to Computer Science , 2002, ICCS.

[56]  Galia Angelova,et al.  Conceptual Structures: Integration and Interfaces , 2002, Lecture Notes in Computer Science.

[57]  Rudolf Wille,et al.  Existential Concept Graphs of Power Context Families , 2002, ICCS.

[58]  Noriko Hara Analysis of Computer-Mediated Communication: Using Formal Concept Analysis as a Visualizing Methodology , 2002 .

[59]  Sergei O. Kuznetsov,et al.  Comparing performance of algorithms for generating concept lattices , 2002, J. Exp. Theor. Artif. Intell..

[60]  Uta Priss A Graphical Interface for Document Retrieval Based on Formal Concept Analysis , 2002 .

[61]  Joachim Hereth Correia,et al.  Protoconcept Graphs: The Lattice of Conceptual Contents , 2004, ICFCA.

[62]  Sergei O. Kuznetsov,et al.  Machine Learning and Formal Concept Analysis , 2004, ICFCA.

[63]  Claudio Carpineto,et al.  Exploiting the Potential of Concept Lattices for Information Retrieval with CREDO , 2004, J. Univers. Comput. Sci..

[64]  Bernd Fischer Specification-Based Browsing of Software Component Libraries , 2004, Automated Software Engineering.

[65]  Yun-Heh Chen-Burger,et al.  FCA in Knowledge Technologies: Experiences and Opportunities , 2004, ICFCA.

[66]  Rokia Missaoui,et al.  Formal Concept Analysis for Knowledge Discovery and Data Mining: The New Challenges , 2004, ICFCA.

[67]  Branimir Seselja,et al.  Negation in Contextual Logic , 2004, ICCS.

[68]  Thomas Tilley Tool Support for FCA , 2004, ICFCA.

[69]  Frithjof Dau,et al.  Types and Tokens for Logic with Diagrams , 2004, ICCS.

[70]  Claudio Carpineto,et al.  Concept data analysis - theory and applications , 2004 .

[71]  Ross D. King,et al.  BLID: An Application of Logical Information Systems to Bioinformatics , 2004, ICFCA.

[72]  Karl Erich Wolff,et al.  'Particles' and 'Waves' as Understood by Temporal Concept Analysis , 2004, ICCS.

[73]  Peter W. Eklund,et al.  Concept Lattices for Information Visualization: Can Novices Read Line-Diagrams? , 2004, ICFCA.

[74]  Rudolf Wille Preconcept Algebras and Generalized Double Boolean Algebras , 2004, ICFCA.

[75]  Claudio Carpineto,et al.  Using Concept Lattices for Text Retrieval and Mining , 2005, Formal Concept Analysis.

[76]  Claudio Carpineto,et al.  A Lattice Conceptual Clustering System and Its Application to Browsing Retrieval , 1996, Machine Learning.

[77]  Peter Becker,et al.  The ToscanaJ Suite for Implementing Conceptual Information Systems , 2005, Formal Concept Analysis.

[78]  S. Dumais Latent Semantic Analysis. , 2005 .