Introduction to logical information systems

O. Ridoux, Sebastien Ferré

Research output: Contribution to journalArticlepeer-review

65 Citations (SciVal)


Logical Information Systems (LIS) use logic in a uniform way to describe theircontents, 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 choiceof 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 aschema in data-bases. We present the principles of logical information systems, theconstraints they impose on the expression of logics, and hints for their effective implementation.
Original languageEnglish
Pages (from-to)383-419
Number of pages37
JournalInformation Processing and Management
Issue number3
Publication statusPublished - 2004


  • deduction and theorem proving
  • information search and retrieval
  • query formulation
  • information systems
  • representation languages


Dive into the research topics of 'Introduction to logical information systems'. Together they form a unique fingerprint.

Cite this