Skip to content
  Equipe LIS  

Logical Information Systems

Document Actions

Context and objectives

The team LIS (Logical Information Systems) develops formal models for information systems that allow for navigation, querying, updating, and analysis of heterogeneous data collections. Data are given descriptors, which may be formal or not, and which are extracted from data itself or are provided by an external, possibly subjective, judgment.

The base model for the representation of information is logical concept analysis, a variant of formal concept analysis. This model naturally allows for navigation, querying, and analysis of data. The model for the description of heterogeneous data is the framework of logic functors. This model enables us to build logics by assembling components, and to automatically ensure some meta-logical properties, say consistency and completeness, of these logics obtained by composing logic functors.

The applications are all information systems in general, with a focus on geographical information systems (GIS), and integrated development environment (IDE) for softwares.

The team LIS implemented these principles both as a file system LISFS, and as a user-oriented application CAMELIS. The file system is used for instance in the geographical information system GEOLIS, which combines standard navigation tools from GIS as well as logical navigation from LIS.

Research axes

The research axes of the team LIS are the following:

  • To develop the LISFS system so as to make it more robust and efficient, in particular by defining a distributed version.
  • To develop the theory of logic functors so as to capture more meta-logical properties, and to extend its logical vocabulary. In particular, an objective is to take into accounts logics for the description of languages. Similarly, it is important to develop logic functors for GIS. This consists in tackling the representation of space and time. Our objective is not to define new logics, but to provide a modular presentation of well-known logics (e.g. description logics, Lambek logic for sequences).
  • To develop the theory of logical information systems, in particular in the direction of data analysis and data aggregates.- To develop new application domains, in particular about memory prostheses, and man-machine communication in natural language.


International and industrial partnerships

The team LIS counts two associated members from the ESO laboratory network. These associated members are specialists in geographical information systems, and one of them is the head of a specialized society in this domain.

Created by admin
Last modified 11.03.2009 09:51 AM