Abstract
The development of a mathematical model for judgments understood as compositions of concepts and relations has been an important branch of research in recent years. It led to the definitions of concept and protoconcept graphs which are based on information contained in a power context family, where incidence relations between objects (or tuples of objects) and attributes are stored.
A theory of the information those graphs represent (called conceptual content) has been developed for concept graphs in [PW99] and [Wi03]. In [HK04], an extension of this theory to protoconcept graphs not considering object implications (as it is done for concept graphs) has been established. The first part of this paper concentrates on the investigation of the protoconceptual content of protoconcept graphs respecting both protoconceptual and object implications.
The second part compares the different structures of conceptual and protoconceptual contents of a given power context family, showing how more background information (using object implications and concepts instead of protoconcepts) reduces the number of possible contents.
The third and final part analyzes how the different approaches can be generalized. Here we will concentrate on the (generalized) conceptual content of a formal context.
In each part an information context will be defined, which provides an accessible representation of the lattice of (proto-)conceptual closures.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Dau, F., Klinger, J.: From Formal Concept Analysis to Contextual Logic. FB4-Preprint, TU Darmstadt (2003)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Berlin (1999)
Hereth Correia, J., Klinger, J.: Protoconcept Graphs: The Lattice of Conceptual Contents. In: Eklund, P. (ed.) Concept Lattices, pp. 14–27. Springer, Heidelberg (2004)
Prediger, S., Wille, R.: The Lattice of Concept Graphs of a Relationally Scaled Context. In: Tepfenhart, W., Cyre, W. (eds.) Conceptual Structures: Standards and Practices, pp. 401–414. Springer, Berlin (1999)
Wille, R.: Conceptual Graphs and Formal Concept Analysis. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS, vol. 1257, pp. 290–303. Springer, Heidelberg (1997)
Wille, R.: Boolean Concept Logic. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 317–331. Springer, Heidelberg (2000)
Wille, R.: Contextual Logic Summary. In: Stumme, G. (ed.) Working with Conceptual Structures. Contributions to ICCS 2000, pp. 256–276. Shaker, Aachen (2000)
Wille, R.: Existential Concept Graphs of Power Context Families. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 382–396. Springer, Heidelberg (2002)
Wille, R.: Conceptual Content as Information - Basics for Contextual Judgment Logic. In: Ganter, B., de Moor, A., Lex, W. (eds.) ICCS 2003. LNCS, vol. 2746, pp. 1–15. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Correia, J.H., Klinger, J. (2005). Protoconceptual Contents and Implications. In: Ganter, B., Godin, R. (eds) Formal Concept Analysis. ICFCA 2005. Lecture Notes in Computer Science(), vol 3403. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32262-7_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-32262-7_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-24525-4
Online ISBN: 978-3-540-32262-7
eBook Packages: Computer ScienceComputer Science (R0)