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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chaudron, L., Maille, N.: 1st order logic formal concept analysis: from logic programming to theory. Computer and Information Science 13(3) (1998)
Di Cosmo, R.: Isomorphisms of Types: from λ-calculus to information retrieval and language design. Progress in theoretical computer science. Birkhäuser, Basel (1995)
Donini, F.M., Lenzerini, M., Nardi, D., Nutt, W.: The complexity of concept languages. Information and Computation 134(1), 1–58 (1997)
Donini, F.-M., Lenzerini, M., Nardi, D., Schaerf, A.: Reasoning in description logics. In: Brewka, G. (ed.) Principles of Knowledge Representation, USA, pp. 191–236. CSLI Publications, Stanford (1996)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (1990)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. In: Formal Concept Analysis, ch. 11, pp. 221–236. Cambridge University Press, Cambridge (1990)
Ferré, S., Ridoux, O.: Une gé né ralisation logique de l’analyse de concepts logique. Technical Report RR-3820, Inria, Institut National de Recherche en Informatique et en Automatique, An english version is (December 1999), available at http://www.irisa.fr/lande/ferre
Ferré, S., Ridoux, O.: A file system based on concept analysis. In: Sagiv, Y. (ed.) International Conference on Rules and Objects in Databases (2000) (to appear)
Godin, R., Missaoui, R., April, A.: Experimental comparison of navigation in a Galois lattice with conventional information retrieval methods. International Journal of Man-Machine Studies 38(5), 747–767 (1993)
Ganter, B., Wille, R.: Formal Concept Analysis – Mathematical Foundations. Springer, Heidelberg (1999)
Ganter, B., Wille, R.: Contextual attribute logic. In: Tepfenhart, W.M. (ed.) ICCS 1999. LNCS, vol. 1640, pp. 377–388. Springer, Heidelberg (1999)
Krone, M., Snelting, G.: On the inference of configuration structures from source code. In: Proceedings of the 16th International Conference on Software Engineering, pp. 49–58. IEEE Computer Society Press, Los Alamitos (1994)
Kuznetsov, S.O.: Learning of simple conceptual graphs from positive and negative examples. In: Żytkow, J.M., Rauch, J. (eds.) PKDD 1999. LNCS (LNAI), vol. 1704, pp. 384–391. Springer, Heidelberg (1999)
Lindig, C.: Concept-based component retrieval. In: IJCAI 1995 Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs (1995)
Maille, N.: Modèle logico-algébrique pour la fusion symbolique et l’analyse formelle. PhD thesis, Ecole Nationale Supérieure de l’Aéronautique et de l’Espace (November 1999)
Plotkin, G.D.: A note on inductive generalization. Machine Intelligence 5, 153–163 (1970)
Prediger, S.: Logical scaling in formal concept analysis. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS, vol. 1257, pp. 332–341. Springer, Heidelberg (1997)
Snelting, G.: Concept analysis - A new framework for program understanding. ACM SIGPLAN Notices 33(7), 1–10 (1998)
Vogt, F., Wille, R.: TOSCANA - a graphical tool for analyzing and exploring data. In: Tamassia, R., Tollis, I.G. (eds.) GD 1994. LNCS, vol. 894, p. 226. Springer, Heidelberg (1995)
Wille, R.: Ordered Sets, chapter Restructuring lattice theory: an approach based on hierarchies of concepts, pp. 445–470. Reidel, Dordrecht Boston (1982)
Zeller, A.: Versioning system models through description logic. In: Magnusson, B. (ed.) ECOOP 1998 and SCM 1998. LNCS, vol. 1439, pp. 127–132. Springer, Heidelberg (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ferré, S., Ridoux, O. (2000). A Logical Generalizationof Formal Concept Analysis. In: Ganter, B., Mineau, G.W. (eds) Conceptual Structures: Logical, Linguistic, and Computational Issues. ICCS 2000. Lecture Notes in Computer Science(), vol 1867. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722280_26
Download citation
DOI: https://doi.org/10.1007/10722280_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67859-5
Online ISBN: 978-3-540-44663-7
eBook Packages: Springer Book Archive