Abstract
In order to define a negation on formal concepts in Formal Concept Analysis, the more general notions of semiconcepts and protoconcepts were introduced. The theory of the resulting protoconcept and semiconcept algebras is developed in Boolean Concept Logic as a part of Contextual Logic. In this paper it is shown that each complete subalgebra of a semiconcept algebra is itself the semiconcept algebra of an appropriate context. An analogous result holds for the complete subalgebras of protoconcept algebras. These contexts can be obtained from the original context through partitions of the object and the attribute set satisfying certain conditions. Characterizations of the complete subalgebras of semiconcept and protoconcept algebras in terms of contexts, in terms of subsets, and through closed subrelations are given.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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.: The Logic System of Concept Graphs with Negation. LNCS (LNAI), vol. 2892. Springer, Heidelberg (2003)
Dau, F., Klinger, J.: From Formal Concept Analysis to Contextual Logic (2003), http://www.dr-dau.net/Papers/ICFCA2003.pdf
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)
Ganter, B., Zickwolff, M.: Nach welchen Kriterien wählen Firmen Hochschulabsolventen aus? - Auswertung einer Befragung. FB4-Preprint 1343, TH-Darmstadt (1990)
Gumm, H.-P., Poguntke, W.: Boolesche Algebra. B.I.-Wissenschaftsverlag, Mannheim-Wien-Zürich (1981)
Klinger, J., Vormbrock, B.: Contextual Boolean Logic: How did it develop? In: Ganter, B., de Moor, A. (eds.) Using Conceptual Structures. Contributions to ICCS 2003, pp. 143–156. Shaker, Aachen (2003)
Vormbrock, B.: Congruence Relations on Double Boolean Algebras. FB4-Preprint 2287, TU Darmstadt (2003)
Vormbrock, B.: A First Step Towards Protoconcept Exploration. In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 208–221. Springer, Heidelberg (2004)
Vormbrock, B., Wille, R.: Semiconcept and Protoconcept Algebras: The Basic Theorems. FB4-Preprint 2309, TU Darmstadt (2003)
Wille, R.: Boolean Concept Logic. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), 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. 265–276. Shaker, Aachen (2000)
Wille, R.: Boolean Judgment Logic. In: Delugach, H.S., Stumme, G. (eds.) ICCS 2001. LNCS (LNAI), vol. 2120, pp. 115–128. Springer, Heidelberg (2001)
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
Vormbrock, B. (2005). Complete Subalgebras of Semiconcept Algebras and Protoconcept Algebras. 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_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-32262-7_23
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)