Introduction to Logical Information Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2002

Introduction to Logical Information Systems

Sébastien Ferré
Olivier Ridoux


Logical Information Systems (LIS) use logic in a uniform way to describe their contents, to query it, to navigate through it, to analyze it, and to maintain it. They can be given an abstract specification that does not depend on the choice of a particular logic, and concrete instances can be obtained by instantiating this specification with a particular logic. In fact, a logic plays in a LIS the role of a schema in data-bases. We present the principles of logical information systems, the constraints they impose on the expression of logics, and hints for their effective implementation.
Fichier principal
Vignette du fichier
RR-4540.pdf (416.1 Ko) Télécharger le fichier

Dates and versions

inria-00072048 , version 1 (23-05-2006)


  • HAL Id : inria-00072048 , version 1


Sébastien Ferré, Olivier Ridoux. Introduction to Logical Information Systems. [Research Report] RR-4540, INRIA. 2002. ⟨inria-00072048⟩
76 View
541 Download


Gmail Facebook X LinkedIn More