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.

@inproceedings{ferre00logical, author = {Ferr�, S. and Ridoux, O.}, title = {A Logical Generalization of Formal Concept Analysis}, editor = {Mineau, G. and Ganter, B.}, booktitle = {Int. Conf. Conceptual Structures}, series = {LNCS 1867}, publisher = {Springer}, year = {2000}, pages = {371--384}, keywords = {FCA, OntologyHandbook, concept_analysis, context, information_system, logic}, abstract = {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.} }

%0 = inproceedings %A = Ferr�, S. and Ridoux, O. %B = Int. Conf. Conceptual Structures %D = 2000 %I = Springer %T = A Logical Generalization of Formal Concept Analysis