Professional Documents
Culture Documents
Formal Concept Analysis
Formal Concept Analysis
In information science, formal concept analysis (FCA) is a principled way of deriving a concept
hierarchy or formal ontology from a collection of objects and their properties. Each concept in the hierarchy
represents the objects sharing some set of properties; and each sub-concept in the hierarchy represents a
subset of the objects (as well as a superset of the properties) in the concepts above it. The term was
introduced by Rudolf Wille in 1981, and builds on the mathematical theory of lattices and ordered sets that
was developed by Garrett Birkhoff and others in the 1930s.
Formal concept analysis finds practical application in fields including data mining, text mining, machine
learning, knowledge management, semantic web, software development, chemistry and biology.
the extent A consists of all objects that share the attributes in B, and dually
the intent B consists of all attributes shared by the objects in A.
In this way, formal concept analysis formalizes the semantic notions of extension and intension.
The formal concepts of any formal context can—as explained below—be ordered in a hierarchy called
more formally the context's "concept lattice". The concept lattice can be graphically visualized as a "line
diagram", which then may be helpful for understanding the data. Often however these lattices get too large
for visualization. Then the mathematical theory of formal concept analysis may be helpful, e.g., for
decomposing the lattice into smaller pieces without information loss, or for embedding it into another
structure which is easier to interpret.
The theory in its present form goes back to the early 1980s and a research group led by Rudolf Wille,
Bernhard Ganter and Peter Burmeister at the Technische Universität Darmstadt. Its basic mathematical
definitions, however, were already introduced in the 1930s by Garrett Birkhoff as part of general lattice
theory. Other previous approaches to the same idea arose from various French research groups, but the
Darmstadt group normalised the field and systematically worked out both its mathematical theory and its
philosophical foundations. The latter refer in particular to Charles S. Peirce, but also to the Port-Royal
Logic.
Restructuring lattice theory is an attempt to reinvigorate connections with our general culture
by interpreting the theory as concretely as possible, and in this way to promote better
communication between lattice theorists and potential users of lattice theory
This aim traces back to the educationalist Hartmut von Hentig, who in 1972 pleaded for restructuring
sciences in view of better teaching and in order to make sciences mutually available and more generally
(i.e. also without specialized knowledge) critiqueable.[2] Hence, by its origins formal concept analysis aims
at interdisciplinarity and democratic control of research.[3]
It corrects the starting point of lattice theory during the development of formal logic in the 19th century.
Then—and later in model theory—a concept as unary predicate had been reduced to its extent. Now again,
the philosophy of concepts should become less abstract by considering the intent. Hence, formal concept
analysis is oriented towards the categories extension and intension of linguistics and classical conceptual
logic.[4]
Formal concept analysis aims at the clarity of concepts according to Charles S. Peirce's pragmatic maxim
by unfolding observable, elementary properties of the subsumed objects.[3] In his late philosophy, Peirce
assumed that logical thinking aims at perceiving reality, by the triade concept, judgement and conclusion.
Mathematics is an abstraction of logic, develops patterns of possible realities and therefore may support
rational communication. On this background, Wille defines:
The aim and meaning of Formal Concept Analysis as mathematical theory of concepts and
concept hierarchies is to support the rational communication of humans by mathematically
developing appropriate conceptual structures which can be logically activated.
Example
The data in the example is taken from a semantic field study, where
different kinds of bodies of water were systematically categorized
by their attributes.[6] For the purpose here it has been simplified.
The data table represents a formal context, the line diagram next to
it shows its concept lattice. Formal definitions follow below.
canal
channel
lagoon
lake
maar
puddle
pond
pool
objects
reservoir
river
rivulet
runnel
sea
stream
tarn
torrent
trickle
The above line diagram consists of circles, connecting line segments, and labels. Circles represent formal
concepts. The lines allow to read off the subconcept-superconcept hierarchy. Each object and attribute
name is used as a label exactly once in the diagram, with objects below and attributes above concept
circles. This is done in a way that an attribute can be reached from an object via an ascending path if and
only if the object has the attribute.
In the diagram shown, e.g. the object reservoir has the attributes stagnant and constant, but not the
attributes temporary, running, natural, maritime. Accordingly, puddle has exactly the characteristics
temporary, stagnant and natural.
The original formal context can be reconstructed from the labelled diagram, as well as the formal concepts.
The extent of a concept consists of those objects from which an ascending path leads to the circle
representing the concept. The intent consists of those attributes to which there is an ascending path from
that concept circle (in the diagram). In this diagram the concept immediately to the left of the label reservoir
has the intent stagnant and natural and the extent puddle, maar, lake, pond, tarn, pool, lagoon, and sea.
B′ = {g ∈ G | (g,m) ∈ I for all m ∈ B}, i.e., a set of all objects sharing all attributes
from B.
Applying either derivation operator and then the other constitutes two closure operators:
The derivation operators define a Galois connection between sets of objects and of attributes. This is why
in French a concept lattice is sometimes called a treillis de Galois (Galois lattice).
With these derivation operators, Wille gave an elegant definition of a formal concept: a pair (A,B) is a
formal concept of a context (G, M, I) provided that:
A ⊆ G, B ⊆ M, A′ = B, and B′ = A.
For computing purposes, a formal context may be naturally represented as a (0,1)-matrix K in which the
rows correspond to the objects, the columns correspond to the attributes, and each entry ki,j equals to 1 if
"object i has attribute j." In this matrix representation, each formal concept corresponds to a maximal
submatrix (not necessarily contiguous) all of whose elements equal 1. It is however misleading to consider
a formal context as boolean, because the negated incidence ("object g does not have attribute m") is not
concept forming in the same way as defined above. For this reason, the values 1 and 0 or TRUE and
FALSE are usually avoided when representing formal contexts, and a symbol like × is used to express
incidence.
In this order, every set of formal concepts has a greatest common subconcept, or meet. Its extent consists of
those objects that are common to all extents of the set. Dually, every set of formal concepts has a least
common superconcept, the intent of which comprises all attributes which all objects of that set of concepts
have.
These meet and join operations satisfy the axioms defining a lattice, in fact a complete lattice. Conversely, it
can be shown that every complete lattice is the concept lattice of some formal context (up to isomorphism).
The negation of an attribute m is an attribute ¬m, the extent of which is just the complement of the extent of
m, i.e., with (¬m) ′ = G \ m′. It is in general not assumed that negated attributes are available for concept
formation. But pairs of attributes which are negations of each other often naturally occur, for example in
contexts derived from conceptual scaling.
For possible negations of formal concepts see the section concept algebras below.
Implications
An implication A → B relates two sets A and B of attributes and expresses that every object possessing
each attribute from A also has each attribute from B. When (G,M,I) is a formal context and A, B are
subsets of the set M of attributes (i.e., A,B ⊆ M), then the implication A → B is valid if A′ ⊆ B′. For each
finite formal context, the set of all valid implications has a canonical basis,[7] an irredundant set of
implications from which all valid implications can be derived by the natural inference (Armstrong rules).
This is used in attribute exploration, a knowledge acquisition method based on implications.[8]
Arrow relations
Formal concept analysis has elaborate mathematical foundations,[4] making the field versatile. As a basic
example we mention the arrow relations, which are simple and easy to compute, but very useful. They are
defined as follows: For g ∈ G and m ∈ M let
Temporal concept analysis (TCA) is an extension of Formal Concept Analysis (FCA) aiming at a
conceptual description of temporal phenomena. It provides animations in concept lattices obtained from
data about changing objects. It offers a general way of understanding change of concrete or abstract objects
in continuous, discrete or hybrid space and time. TCA applies conceptual scaling to temporal data bases.[14]
In the simplest case TCA considers objects that change in time like a particle in physics, which, at each
time, is at exactly one place. That happens in those temporal data where the attributes 'temporal object' and
'time' together form a key of the data base. Then the state (of a temporal object at a time in a view) is
formalized as a certain object concept of the formal context describing the chosen view. In this simple case,
a typical visualization of a temporal system is a line diagram of the concept lattice of the view into which
trajectories of temporal objects are embedded. [15]
TCA generalizes the above mentioned case by considering temporal data bases with an arbitrary key. That
leads to the notion of distributed objects which are at any given time at possibly many places, as for
example, a high pressure zone on a weather map. The notions of 'temporal objects', 'time' and 'place' are
represented as formal concepts in scales. A state is formalized as a set of object concepts. That leads to a
conceptual interpretation of the ideas of particles and waves in physics.[16]
Many FCA software applications are available today.[18] The main purpose of these tools varies from
formal context creation to formal concept mining and generating the concepts lattice of a given formal
context and the corresponding implications and association rules. Most of these tools are academic open-
source applications, such as:
ConExp[19]
ToscanaJ[20]
Lattice Miner[21]
Coron[22]
FcaBedrock[23]
GALACTIC[24]
Bicliques
A formal context can naturally be interpreted as a bipartite graph. The formal concepts then correspond to
the maximal bicliques in that graph. The mathematical and algorithmic results of formal concept analysis
may thus be used for the theory of maximal bicliques. The notion of bipartite dimension (of the
complemented bipartite graph) translates[4] to that of Ferrers dimension (of the formal context) and of order
dimension (of the concept lattice) and has applications e.g. for Boolean matrix factorization.[25]
Given an object-attribute numerical data-table, the goal of biclustering is to group together some objects
having similar values of some attributes. For example, in gene expression data, it is known that genes
(objects) may share a common behavior for a subset of biological situations (attributes) only: one should
accordingly produce local patterns to characterize biological processes, the latter should possibly overlap,
since a gene may be involved in several processes. The same remark applies for recommender systems
where one is interested in local patterns characterizing groups of users that strongly share almost the same
tastes for a subset of items.[26]
Of course, formal concepts can be considered as "rigid" biclusters where all objects have all attributes and
vice versa. Hence, it is not surprising that some bicluster definitions coming from practice[27] are just
definitions of a formal concept.[28] Relaxed FCA-based versions of biclustering and triclustering include
OA-biclustering[29] and OAC-triclustering[30] (here O stands for object, A for attribute, C for condition); to
generate patterns these methods use prime operators only once being applied to a single entity (e.g. object)
or a pair of entities (e.g. attribute-condition), respectively.
Knowledge spaces
In the theory of knowledge spaces it is assumed that in any knowledge space the family of knowledge
states is union-closed. The complements of knowledge states therefore form a closure system and may be
represented as the extents of some formal context.
Many more examples are e.g. described in: Formal Concept Analysis. Foundations and Applications,[34]
conference papers at regular conferences such as: International Conference on Formal Concept Analysis
(ICFCA),[50] Concept Lattices and their Applications (CLA),[51] or International Conference on
Conceptual Structures (ICCS).[52]
See also
Association rule learning
Cluster analysis
Commonsense reasoning
Conceptual analysis
Conceptual clustering
Conceptual space
Concept learning
Correspondence analysis
Description logic
Factor analysis
Formal semantics (natural language)
Graphical model
Grounded theory
Inductive logic programming
Pattern theory
Statistical relational learning
Schema (genetic algorithms)
Notes
1. Wille, Rudolf (1982). "Restructuring lattice theory: An approach based on hierarchies of
concepts" (https://link.springer.com/chapter/10.1007/978-3-642-01815-2_23). In Rival, Ivan
(ed.). Ordered Sets. Proceedings of the NATO Advanced Study Institute held at Banff,
Canada, August 28 to September 12, 1981. Nato Science Series C. Vol. 83. Springer.
pp. 445–470. doi:10.1007/978-94-009-7798-3 (https://doi.org/10.1007%2F978-94-009-7798-
3). ISBN 978-94-009-7800-3., reprinted in Ferré, Sébastien; Rudolph, Sebastian, eds. (12
May 2009). Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt,
Germany, May 21–24, 2009 Proceedings. Springer. p. 314. ISBN 978-364201814-5.
2. Hentig, von, Hartmut (1972). Magier oder Magister? Über die Einheit der Wissenschaft im
Verständigungsprozeß. Klett (1972), Suhrkamp (1974). ISBN 978-3518067079.
3. Wollbold, Johannes (2011). Attribute Exploration of Gene Regulatory Processes (http://www.
db-thueringen.de/servlets/DerivateServlet/Derivate-24615/Wollbold/Dissertation.pdf) (PDF)
(PhD). University of Jena. p. 9. arXiv:1204.1995 (https://arxiv.org/abs/1204.1995).
urn:nbn:de:gbv:27-20120103-132627-0.
4. Ganter, Bernhard; Wille, Rudolf (1999). Formal Concept Analysis: Mathematical
Foundations. Springer. ISBN 3-540-62771-5.
5. Wille, Rudolf. "Formal Concept Analysis as Mathematical Theory of Concepts and Concept
Hierarchies". Ganter, Stumme & Wille 2005.
6. Lutzeier, Peter Rolf (1981), Wort und Feld: wortsemantische Fragestellungen mit besonderer
Berücksichtigung des Wortfeldbegriffes: Dissertation, Linguistische Arbeiten 103 (in
German), Tübingen: Niemeyer, doi:10.1515/9783111678726.fm (https://doi.org/10.1515%2F
9783111678726.fm), OCLC 8205166 (https://www.worldcat.org/oclc/8205166)
7. Guigues, J.L.; Duquenne, V. (1986). "Familles minimales d'implications informatives
résultant d'un tableau de données binaires" (http://www.numdam.org/item/MSH_1986__95_
_5_0.pdf) (PDF). Mathématiques et Sciences Humaines. 95: 5–18.
8. Ganter, Bernhard; Obiedkov, Sergei (2016). Conceptual Exploration. Springer. ISBN 978-3-
662-49290-1.
9. Wille, R. (1995). "The basic theorem of triadic concept analysis" ". Order. 12 (2): 149–158.
doi:10.1007/BF01108624 (https://doi.org/10.1007%2FBF01108624). S2CID 122657534 (htt
ps://api.semanticscholar.org/CorpusID:122657534).
10. Voutsadakis, G. (2002). "Polyadic Concept Analysis" (https://www.voutsadakis.com/RESEA
RCH/PUBLISHED/polyadic.pdf) (PDF). Order. 19 (3): 295–304.
doi:10.1023/A:1021252203599 (https://doi.org/10.1023%2FA%3A1021252203599).
S2CID 17738011 (https://api.semanticscholar.org/CorpusID:17738011).
11. "Formal Concept Analysis and Fuzzy Logic" (https://web.archive.org/web/20171209043947/
http://www.glc.us.es/cla2010/slides/tutorialI_Belohlavek.pdf) (PDF). Archived from the
original (http://www.glc.us.es/cla2010/slides/tutorialI_Belohlavek.pdf) (PDF) on 2017-12-09.
Retrieved 2017-12-08.
12. Wille, Rudolf (2000), "Boolean Concept Logic", in Ganter, B.; Mineau, G. W. (eds.), ICCS
2000 Conceptual Structures: Logical, Linguistic and Computational Issues, LNAI 1867,
Springer, pp. 317–331, ISBN 978-3-540-67859-5.
13. Kwuida, Léonard (2004), Dicomplemented Lattices. A contextual generalization of Boolean
algebras (http://hsss.slub-dresden.de/documents/1101148726640-2926/1101148726640-29
26.pdf) (PDF), Shaker Verlag, ISBN 978-3-8322-3350-1
14. Wolff, Karl Erich (2010), "Temporal Relational Semantic Systems", in Croitoru, Madalina;
Ferré, Sébastien; Lukose, Dickson (eds.), Conceptual Structures: From Information to
Intelligence. ICCS 2010. LNAI 6208 (https://basepub.dauphine.fr/handle/123456789/12138),
Lecture Notes in Artificial Intelligence, vol. 6208, Springer, pp. 165–180, doi:10.1007/978-3-
642-14197-3 (https://doi.org/10.1007%2F978-3-642-14197-3), ISBN 978-3-642-14196-6.
15. Wolff, Karl Erich (2019), "Temporal Concept Analysis with SIENA", in Cristea, Diana; Le Ber,
Florence; Missaoui, Rokia; Kwuida, Léonard; Sertkaya, Bariş (eds.), Supplementary
Proceedings of ICFCA 2019, Conference and Workshops (http://ceur-ws.org/Vol-2378/short
AT12.pdf) (PDF), Springer, pp. 94–99.
16. Wolff, Karl Erich (2004), " 'Particles' and 'Waves' as Understood by Temporal Concept
Analysis.", in Wolff, Karl Erich; Pfeiffer, Heather D.; Delugach, Harry S. (eds.), Conceptual
Structures at Work. 12th International Conference on Conceptual Structures, ICCS 2004.
Huntsville, AL, USA, July 2004, LNAI 3127. Proceedings, Lecture Notes in Artificial
Intelligence, Springer, pp. 126–141, doi:10.1007/978-3-540-27769-9_8 (https://doi.org/10.10
07%2F978-3-540-27769-9_8), ISBN 978-3-540-22392-4.
17. Kuznetsov, S.; Obiedkov, S. (2002). "Comparing Performance of Algorithms for Generating
Concept Lattices". Journal of Experimental and Theoretical Artificial Intelligence. 14 (2–3):
189–216. doi:10.1080/09528130210164170 (https://doi.org/10.1080%2F095281302101641
70). S2CID 10784843 (https://api.semanticscholar.org/CorpusID:10784843).
18. One can find a non exhaustive list of FCA tools in the FCA software website: "Formal
Concept Analysis Software and Applications" (https://web.archive.org/web/2010041600283
2/http://www.fcahome.org.uk/fcasoftware.html). Archived from the original (http://www.fcahom
e.org.uk/fcasoftware.html) on 2010-04-16. Retrieved 2010-06-10.
19. "The Concept Explorer" (https://conexp.sourceforge.net/). Conexp.sourceforge.net.
Retrieved 27 December 2018.
20. "ToscanaJ: Welcome" (https://toscanaj.sourceforge.net/). Toscanaj.sourceforge.net.
Retrieved 27 December 2018.
21. Boumedjout Lahcen and Leonard Kwuida. "Lattice Miner: A Tool for Concept Lattice
Construction and Exploration". In: Supplementary Proceeding of International Conference
on Formal concept analysis (ICFCA'10), 2010
22. "The Coron System" (http://coron.loria.fr/site/index.php). Coron.loria.fr. Retrieved
27 December 2018.
23. "FcaBedrock Formal Context Creator" (https://sourceforge.net/projects/fcabedrock/).
SourceForge.net. 12 June 2014. Retrieved 27 December 2018.
24. "GALACTIC GAlois LAttices, Concept Theory, Implicational system and Closures" (https://ga
lactic.univ-lr.fr/). galactic.univ-lr.fr. Retrieved 2 February 2021.
25. Belohlavek, Radim; Vychodil, Vilem (2010). "Discovery of optimal factors in binary data via a
novel method of matrix decomposition" (https://core.ac.uk/download/pdf/82623547.pdf)
(PDF). Journal of Computer and System Sciences. 76 (1): 3–20.
doi:10.1016/j.jcss.2009.05.002 (https://doi.org/10.1016%2Fj.jcss.2009.05.002).
26. Adomavicius, C.; Tuzhilin, A. (2005). "Toward the next generation of recommender systems:
a survey of the state-of-the-art and possible extensions" (http://homepages.dcc.ufmg.br/~nivi
o/cursos/ri13/sources/recommender-systems-survey-2005.pdf) (PDF). IEEE Transactions on
Knowledge and Data Engineering. 17 (6): 734–749. doi:10.1109/TKDE.2005.99 (https://doi.
org/10.1109%2FTKDE.2005.99). S2CID 206742345 (https://api.semanticscholar.org/Corpus
ID:206742345).
27. Prelic, S.; Bleuler, P.; Zimmermann, A.; Wille, P.; Buhlmann, W.; Gruissem, L.; Hennig, L.;
Thiele, E.; Zitzler (2006). "A Systematic Comparison and Evaluation of Biclustering Methods
for Gene Expression Data" (https://academic.oup.com/bioinformatics/article/22/9/1122/2004
92). Bioinformatics. 22 (9): 1122–9. doi:10.1093/bioinformatics/btl060 (https://doi.org/10.109
3%2Fbioinformatics%2Fbtl060). PMID 16500941 (https://pubmed.ncbi.nlm.nih.gov/1650094
1).
28. Kaytoue, M.; Kuznetsov, S.; Macko, J.; Wagner Meira Jr., Napoli A. (2011). "Mining Biclusters
of Similar Values with Triadic Concept Analysis". CLA: 175–190. arXiv:1111.3270 (https://ar
xiv.org/abs/1111.3270).
29. Ignatov, D.; Poelmans, J.; Kuznetsov, S. (2012). "Concept-Based Biclustering for Internet
Advertisement" (https://ieeexplore.ieee.org/document/6406432). ICDM Workshops: 123–
130. doi:10.1109/ICDMW.2012.100 (https://doi.org/10.1109%2FICDMW.2012.100).
ISBN 978-1-4673-5164-5. S2CID 32701053 (https://api.semanticscholar.org/CorpusID:3270
1053).
30. Ignatov, D.; Gnatyshak, D.; Kuznetsov, S.; Mirkin, B. (2015). "Triadic Formal Concept
Analysis and triclustering: searching for optimal patterns" (https://doi.org/10.1007/s10994-01
5-5487-y). Mach. Learn. 101 (1–3): 271–302. doi:10.1007/s10994-015-5487-y (https://doi.or
g/10.1007%2Fs10994-015-5487-y). S2CID 254738363 (https://api.semanticscholar.org/Corp
usID:254738363).
31. Pensa, R.G.; Leschi, C.; Besson, J.; Boulicaut, J.-F. (2004). "Assessment of discretization
techniques for relevant pattern discovery from gene expression data" (https://www.cs.rpi.edu/
~zaki/Workshops/BIOKDD04/proceedings/4-pensa.pdf) (PDF). In Zaki, M.J.; Morishita, S.;
Rigoutsos, I. (eds.). Proceedings of the 4th ACM SIGKDD Workshop on Data Mining in
Bioinformatics (BIOKDD 2004) (https://dl.acm.org/doi/proceedings/10.5555/3000580).
pp. 24–30. Retrieved 2022-07-20.
32. Besson, J.; Robardet, C.; Raedt, L.D.; Boulicaut, J.-F. (2007). "Mining bi-sets in numerical
data" (https://lirias.kuleuven.be/bitstream/123456789/134532/1/07-kdid-bessonetal.pdf)
(PDF). In Dzeroski, S.; Struyf, J. (eds.). International Workshop on Knowledge Discovery in
Inductive Databases. LNCS. Vol. 4747. Springer. pp. 11–23. doi:10.1007/978-3-540-75549-
4_2 (https://doi.org/10.1007%2F978-3-540-75549-4_2). ISBN 978-3-540-75549-4.
33. Cerf, L.; Besson, J.; Robardet, C.; Boulicaut, J.-F. (2009). "Closed patterns meet n-ary
relations" (http://homepages.dcc.ufmg.br/~lcerf/publications/articles/Closed%20Patterns%20
Meet%20n-ary%20Relations.pdf) (PDF). ACM Transactions on Knowledge Discovery from
Data (TKDD). 3 (1): 1–36. doi:10.1145/1497577.1497580 (https://doi.org/10.1145%2F14975
77.1497580). S2CID 11148363 (https://api.semanticscholar.org/CorpusID:11148363).
34. Ganter, Stumme & Wille 2005
35. Susanne Motameny; Beatrix Versmold; Rita Schmutzler (2008), Raoul Medina; Sergei
Obiedkov (eds.), "Formal Concept Analysis for the Identification of Combinatorial
Biomarkers in Breast Cancer" (https://www.springer.com/us/book/9783540781363), Icfca
2008, LNAI, Berlin Heidelberg: Springer, vol. 4933, pp. 229–240, ISBN 978-3-540-78136-3,
retrieved 2016-01-29
36. Dominik Endres; Ruth Adam; Martin A. Giese; Uta Noppeney (2012), Florent Domenach;
Dmitry I. Ignatov; Jonas Poelmans (eds.), "Understanding the Semantic Structure of Human
fMRI Brain Recordings with Formal Concept Analysis", Icfca 2012, LNCS, Berlin
Heidelberg: Springer, vol. 7278, pp. 96–111, doi:10.1007/978-3-642-29892-9 (https://doi.org/
10.1007%2F978-3-642-29892-9), ISBN 978-3-642-29891-2, ISSN 0302-9743 (https://www.
worldcat.org/issn/0302-9743), S2CID 6256292 (https://api.semanticscholar.org/CorpusID:62
56292)
37. Denis Ponomaryov; Nadezhda Omelianchuk; Victoria Mironova; Eugene Zalevsky; Nikolay
Podkolodny; Eric Mjolsness; Nikolay Kolchanov (2011), Karl Erich Wolff; Dmitry E.
Palchunov; Nikolay G. Zagoruiko; Urs Andelfinger (eds.), "From Published Expression and
Phenotype Data to Structured Knowledge: The Arabidopsis Gene Net Supplementary
Database and Its Applications", Kont 2007, KPP 2007, LNCS, Heidelberg New York:
Springer, vol. 6581, pp. 101–120, doi:10.1007/978-3-642-22140-8 (https://doi.org/10.1007%
2F978-3-642-22140-8), ISBN 978-3-642-22139-2, ISSN 0302-9743 (https://www.worldcat.or
g/issn/0302-9743)
38. Mehdi Kaytoue; Sergei Kuznetsov; Amedeo Napoli; Sébastien Duplessis (2011), "Mining
gene expression data with pattern structures in formal concept analysis" (https://www.hse.ru/
data/2010/11/01/1223500185/InformationSciences.pdf) (PDF), Information Sciences,
Elsevier, vol. 181, no. 10, pp. 1989–2001, CiteSeerX 10.1.1.457.8879 (https://citeseerx.ist.ps
u.edu/viewdoc/summary?doi=10.1.1.457.8879), doi:10.1016/j.ins.2010.07.007 (https://doi.or
g/10.1016%2Fj.ins.2010.07.007), S2CID 215797283 (https://api.semanticscholar.org/Corpus
ID:215797283), retrieved 2016-02-13
39. Aurélie Bertaux; Florence Le Ber; Agnès Braud; Michèle Trémolières (2009), Sébastien
Ferré; Sebastian Rudolph (eds.), "Identifying Ecological Traits: A Concrete FCA-Based
Approach", Icfca 2009, LNAI, Berlin Heidelberg: Springer-Verlag, vol. 5548, pp. 224–236,
doi:10.1007/978-3-642-01815-2 (https://doi.org/10.1007%2F978-3-642-01815-2), ISBN 978-
3-642-01814-5, S2CID 26304023 (https://api.semanticscholar.org/CorpusID:26304023)
40. Gregor Snelting; Frank Tip (1998), "Reengineering class hierarchies using concept
analysis" (http://dl.acm.org/citation.cfm?doid=288195.288273), Proceeding. SIGSOFT
'98/FSE-6, New York: ACM, vol. 23, no. 6, pp. 99–110, doi:10.1145/291252.288273 (https://d
oi.org/10.1145%2F291252.288273), ISBN 1-58113-108-9, retrieved 2016-02-04
41. Gerd Stumme; Alexander Maedche (2001), Universität Leipzig (ed.), "FCA-Merge: Bottom-
up merging of ontologies" (https://web.archive.org/web/20160213113131/http://se-pubs.dbs.
uni-leipzig.de/files/Stumme2001FCAMergeBottomupmergingofontologies.pdf) (PDF), IJCAI,
Leipzig, pp. 225–230, archived from the original (http://se-pubs.dbs.uni-leipzig.de/files/Stum
me2001FCAMergeBottomupmergingofontologies.pdf) (PDF) on 2016-02-13, retrieved
2016-02-13
42. Priss, Uta (2006), "Formal Concept Analysis in Information Science" (http://www.upriss.org.u
k/papers/arist.pdf) (PDF), Annual Review of Information Science and Technology, Medford,
NJ 09855: Information Today, vol. 40, no. 1, pp. 521–543, doi:10.1002/aris.1440400120 (http
s://doi.org/10.1002%2Faris.1440400120), ISSN 0066-4200 (https://www.worldcat.org/issn/0
066-4200), retrieved 2016-02-04
43. Jens Illig; Andreas Hotho; Robert Jäschke; Gerd Stumme (2011), Karl Erich Wolff; Dmitry E.
Palchunov; Nikolay G. Zagoruiko; Urs Andelfinger (eds.), "A Comparison of Content-Based
Tag Recommendations in Folksonomy Systems", Kont 2007, KPP 2007, LNCS, Heidelberg
New York: Springer, vol. 6581, pp. 136–149, doi:10.1007/978-3-642-22140-8 (https://doi.org/
10.1007%2F978-3-642-22140-8), ISBN 978-3-642-22139-2, ISSN 0302-9743 (https://www.
worldcat.org/issn/0302-9743)
44. Claudio Carpineto; Giovanni Romano, eds. (2004), Concept Data Analysis: Theory and
Applications (http://eu.wiley.com/WileyCDA/WileyTitle/productCd-0470850558.html), John
Wiley & Sons, ISBN 0-470-85055-8, retrieved 2016-02-04
45. Richard Cole; Gerd Stumme (2000), Bernhard Ganter; Guy W. Mineau (eds.), "CEM – A
Conceptual Email Manager", Conceptual Structures: Logical, Linguistic, and Computational
Issues, LNAI, Berlin Heidelberg: Springer-Verlag, vol. 1867, pp. 438–452,
doi:10.1007/10722280 (https://doi.org/10.1007%2F10722280), ISBN 3-540-67859-X,
S2CID 5942241 (https://api.semanticscholar.org/CorpusID:5942241)
46. Dieter Eschenfelder; Wolfgang Kollewe; Martin Skorsky; Rudolf Wille (2000), Gerd Stumme;
Rudolf Wille (eds.), "Ein Erkundungssystem zum Baurecht: Methoden der Entwicklung eines
TOSCANA-Systems", Begriffliche Wissensverarbeitung – Methoden und Anwendungen (in
German), Berlin Heidelberg: Springer, pp. 254–272, doi:10.1007/978-3-642-57217-3_12 (htt
ps://doi.org/10.1007%2F978-3-642-57217-3_12), ISBN 3-540-66391-6
47. Nada Mimouni; Adeline Nazarenko; Sylvie Salotti (2015), Jaume Baixeries; Christian
Sacarea; Manuel Ojeda-Aciego (eds.), "A Conceptual Approach for Relational IR:
Application to Legal Collections", Icfca 2015, LNAI, Heidelberg New York: Springer,
vol. 9113, pp. 303–318, doi:10.1007/978-3-319-19545-2_19 (https://doi.org/10.1007%2F978
-3-319-19545-2_19), ISBN 978-3-319-19544-5, ISSN 0302-9743 (https://www.worldcat.org/i
ssn/0302-9743)
48. Priss, Uta, "Linguistic Applications of Formal Concept Analysis", Ganter, Stumme & Wille
2005, pp. 149–160
49. Beate Kohler-Koch; Frank Vogt; Gerhard Stumme; Rudolf Wille (2000), "Normen- und
Regelgeleitete internationale Kooperationen: Quoted in: Peter Becker et al. The ToscanaJ
Suite for Implementing Conceptual Information Systems", Begriffliche Wissenverarbeitung –
Methoden und Anwendungen (in German), Springer, pp. 325–340, ISBN 978-3-540-66391-1
50. "International Conference on Formal Concept Analysis" (http://dblp.uni-trier.de/db/conf/icfca/i
ndex). dblp. Retrieved 2016-02-14.
51. "CLA: Concept Lattices and Their Applications" (http://cla.inf.upol.cz/papers.html). CLA.
Retrieved 2015-11-14.
52. "International Conferences On Conceptual Structures – Conferences and Workshops" (htt
p://conceptualstructures.org/confs.htm). New Mexico State University. Retrieved 2016-02-14.
References
Ganter, Bernhard; Stumme, Gerd; Wille, Rudolf, eds. (2005), Formal Concept Analysis:
Foundations and Applications (https://books.google.com/books?id=nEh4D4e88NwC),
Lecture Notes in Artificial Intelligence, vol. 3626, Springer, doi:10.1007/978-3-540-31881-1
(https://doi.org/10.1007%2F978-3-540-31881-1), ISBN 3-540-27891-5
Ganter, Bernhard; Wille, Rudolf (1998), Formal Concept Analysis: Mathematical
Foundations, translated by C. Franzke, Springer-Verlag, Berlin, ISBN 3-540-62771-5
Carpineto, Claudio; Romano, Giovanni (2004), Concept Data Analysis: Theory and
Applications, Wiley, ISBN 978-0-470-85055-8
Wolff, Karl Erich (1994), "A first course in Formal Concept Analysis" (https://sites.tufts.edu/an
cientbirds/files/2018/06/a-first-course-in-formal-concept-analysis.pdf) (PDF), in F. Faulbaum
(ed.), SoftStat'93: Advances in Statistical Software 4., Gustav Fischer Verlag, pp. 429–438
Davey, B.A.; Priestley, H. A. (2002), "Chapter 3. Formal Concept Analysis", Introduction to
Lattices and Order, Cambridge University Press, ISBN 978-0-521-78451-1
External links
A Formal Concept Analysis Homepage (http://www.upriss.org.uk/fca/fca.html)
Demo (http://www.ketlab.org.uk/scripts/context)
Formal Concept Analysis. ICFCA International Conference Proceedings
doi:10.1007/978-3-540-70901-5 (https://doi.org/10.1007%2F978-3-540-70901-5) 2007
5th
doi:10.1007/978-3-540-78137-0 (https://doi.org/10.1007%2F978-3-540-78137-0) 2008
6th
doi:10.1007/978-3-642-01815-2 (https://doi.org/10.1007%2F978-3-642-01815-2) 2009
7th
doi:10.1007/978-3-642-11928-6 (https://doi.org/10.1007%2F978-3-642-11928-6) 2010
8th
doi:10.1007/978-3-642-20514-9 (https://doi.org/10.1007%2F978-3-642-20514-9) 2011
9th
doi:10.1007/978-3-642-29892-9 (https://doi.org/10.1007%2F978-3-642-29892-9) 2012
10th
doi:10.1007/978-3-642-38317-5 (https://doi.org/10.1007%2F978-3-642-38317-5) 2013
11th
doi:10.1007/978-3-319-07248-7 (https://doi.org/10.1007%2F978-3-319-07248-7) 2014
12th
doi:10.1007/978-3-319-19545-2 (https://doi.org/10.1007%2F978-3-319-19545-2) 2015
13th
doi:10.1007/978-3-319-59271-8 (https://doi.org/10.1007%2F978-3-319-59271-8) 2017
14th
doi:10.1007/978-3-030-21462-3 (https://doi.org/10.1007%2F978-3-030-21462-3) 2019
15th
doi:10.1007/978-3-030-77867-5 (https://doi.org/10.1007%2F978-3-030-77867-5) 2021
16th