A Logical Generalization of Formal Concept Analysis

We propose a generalization of Formal Concept Analysis (FCA) in which sets of attributes are replaced by expressions of an almost arbitrary logic. We prove that all FCA can be reconstructed on this basis. We show that from any logic that is used in place of sets of attributes can be derived a contextualized logic that takes into account the formal context and that is isomorphic to the concept lattice. We then justify the generalization of FCA compared with existing extensions and in the perspective of its application to information systems.

[1]  Andreas Zeller,et al.  Versioning System Models Through Description Logic , 1998, SCM.

[2]  Susanne Prediger,et al.  Simple Concept Graphs: A Logic Approach , 1998, ICCS.

[3]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[4]  Frank Vogt,et al.  TOSCANA - a Graphical Tool for Analyzing and Exploring Data , 1994, GD.

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

[6]  Francesco M. Donini,et al.  Reasoning in description logics , 1997 .

[7]  Roberto Di Cosmo.  Review of Isomorphisms of Types:: from λ-calculus to information retrieval and language design , 1997 .

[8]  Roberto Di Cosmo,et al.  Isomorphisms of Types , 1995, Progress in Theoretical Computer Science.

[9]  Christian Lindig.  Concept-Based Component Retrieval , 1995 .

[10]  Gregor Snelting,et al.  On the inference of configuration structures from source code , 1994, Proceedings of 16th International Conference on Software Engineering.

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

[12]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[13]  Gregor Snelting,et al.  Concept analysis—a new framework for program understanding , 1998, PASTE '98.

[14]  Susanne Prediger,et al.  Logical Scaling in Formal Concept Analysis , 1997, ICCS.

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

[16]  Amedeo Napoli.  Une introduction aux logiques de descriptions , 1997 .

[17]  Christopher League.  Review of Isomorphisms of Types:: from λ-calculus to information retrieval and language design by Roberto Di Cosmo (Birkhauser, 1995) , 1997, SIGA.

[18]  Sergei O. Kuznetsov,et al.  Learning of Simple Conceptual Graphs from Positive and Negative Examples , 1999, PKDD.

[19]  Werner Nutt,et al.  The Complexity of Concept Languages , 1997, KR.

[20]  Patrick Cousot,et al.  Abstract Interpretation and Application to Logic Programs , 1992, J. Log. Program..

[21]  Olivier Ridoux,et al.  A File System Based on Concept Analysis , 2000, Computational Logic.

[22]  Nicolas Maille.  Modèle logico-algébrique pour la fusion symbolique et l'analyse formelle , 1999 .