This website was built in order to provide users with a diverse set of tools used in Formal Concept Analysis.
If you are new to FCA you can find an introduction at Wikipedia.
In some cases you may have small contexts which you want to quickly test out and you
don't want to create a file in order to do so.
For these cases you can use the context creation tool which works for dyadic and triadic contexts.
You can create dyadic contexts by defining your own object in the first column of the table and the attributes on the first row of the table.
After that you can mark with X the cells where there is an incidence relation between an object and an attribute.
Triadic contexts can be created by defining the slices of the context. This is done by filling in a table like the one for the dyadic context for every condition of the context.
You can add conditions by using the button at the bottom of the form and you can name them by clicking on the upper-left corners of the tables.
You can mark with X the cells where there is an incidence relation between an object, an attribute and the condition in the upper-left corner of the table.
One of the most common tasks in FCA is to generate the concepts of a context.
This can be done for any n-adic context after it has been created/imported by simply clicking the
"Generate Concepts" button from the context page.
Because context can be quite large we always try to use the fastest known algorithm for this purpose.
Currently for the generation of concepts we use:
After the concepts have been generated you can view them lower on the context page.
Once you've generated the concepts of a context the most common way of visualizing them is in a concept lattice.
For this you first have to generate it by clicking the "Generate Concept Lattice" button.
After the concept lattice was generated you can view it by clicking the "View Concept Lattice" button that will appear besides the previous one.
The concept lattice viewer uses a force-layout to automatically arrange the nodes in the graph.
This method produces a pretty good diagram from the very start which you can then further improve by dragging the nodes manually.
To the right you can see the concept lattice of the "Live in water" context.
Sometimes the concept lattice might be too big or it might have too many labels to read.
For this there are several options witch allow you to slightly improve the concept lattice and make it more readable.
Another feature that is available for dyadic contexts is to view the analogical complexes among the concepts.
These are automatically computed for all the concepts and can be viewed by selecting them from the dropdown below the settings panel.
Once selected they are highlighted in the concept lattice.
This feature can be very useful since it is interesting to find relations between concepts that are not directly linked in a concept lattice.
More details about analogical complexes can be found in the paper:
From formal concepts to analogical complexes
by Laurent Miclet and Jacques Nicolas.
The concept finder allows you to find a concept in a context by including or excluding elements (objects, attributes, etc.) from it.
You can do this by clicking on the "In" and "Out" buttons near each element.
At the end of this iterative process the concept that was found will appear at the bottom of the page.
This feature is useful in cases where the context is too big and you do not want to generate all its concepts.
While searching for a concept a breadcrumb shows each element in the order in which they were
These are displayed by index but hovering over them will show you their value.
Besides this, by clicking one of the items in the breadcrumb you can go back to that step and take a different route.
The Concept Finder also allows you to save bookmarks with your search sessions.
These bookmarks will retain not only the concept found but also that path that was taken in order to arrive at it.
Once saved you can load it from the bookmarks popup.
One common problem with triadic contexts is that it is hard to analyze them.
This is because once you generate the concepts you cannot view them in a concept lattice like in the case of a dyadic context.
In order to solve this issue, analyzing triadic contexts is done by deriving dyadic contexts from them and
analyzing the concept lattices of the simpler contexts.
The derivation of dyadic contexts is done by projecting along one of the dimensions of a triadic concept, that is: the extent, the intent or the modus.
The component along which the projection is done is called the perspective.
First a concept of the triadic concept is chosen.
After that, the projected dyadic context is built along one of the perspectives of the triadic concept and its concept lattice is computed.
It can be proved that every dyadic concept of this projected context corresponds to exactly one tri-concept in the original tri-lattice.
These tri-concepts are called directly reachable and navigation among them is performed in the underlying dyadic concept lattice.
The navigation is done by selecting one of the dyadic concepts of the dyadic context and computing the associated triadic concept.
By choosing different perspectives of that triadic concept one can navigate through the triadic context obtaining a different dyadic concept lattice and so on.
Step by Step Example
In order to start analysing the context you first go to the list of concepts and select a starting point for your navigation.
Then you lock in on one of the dimensions of the concept by clicking the "Lock" button.
This will generate a dyadic context and show you its concept lattice.
Once you have the dyadic concept lattice you can right-click one of the concepts in order to view the triadic concept associated with it.
This way you can view information regarding the triadic context through the underlying dyadic context.
After right-clicking a concept you can select a different dimension of that triadic concept and change the perspective by locking in on that one.
This will generate a new dyadic context with its own concept lattice.
By repeating this process you can analyze the triadic context.
One great way of sharing your context is by making the public.
This will allow any users or visitors to see and analyze your context.
Do not fear, they will not be able to edit or modify it in any way.
All public context can be found in the Public Contexts section of the website.
Because of technical reasons there are several hard limitations imposed by the website for all operations.
In the future some restrictions will be softened while others may be added.