This software is an implementation of Logical Information Systems (LIS).
A LIS allows to automatically organize data given an indexation of
objects by logical properties,
and to combine boolean querying and non-hierarchical navigation when
LIS are based on Concept Analysis, which provide a formal way to
organize object-centered data in a concept lattice.
This lattice acts as a navigation space where each concept is a
navigation place, and any object can be in any number
of places. These places are reached by following navigation links that
are automatically computed from original data.
A logical generalization of concept analysis is use so that expressive
formulas can be used to describe objects, formulate
queries, and represent navigation links.