Introduction to logical information systems

O. Ridoux, Sebastien Ferré

Research output: Contribution to journalArticlepeer-review

65 Citations (SciVal)

Abstract

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
Volume40
Issue number3
DOIs
Publication statusPublished - 2004

Keywords

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

Fingerprint

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

Cite this