TY - JOUR
T1 - Introduction to logical information systems
AU - Ridoux, O.
AU - Ferré, Sebastien
N1 - Ridoux, O. and Ferré, S. (2004) Introduction to logical information systems. Information Processing & Management, 40 (3), 383-419. Elsevier
PY - 2004
Y1 - 2004
N2 - 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.
AB - 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.
KW - deduction and theorem proving
KW - information search and retrieval
KW - query formulation
KW - information systems
KW - representation languages
U2 - 10.1016/S0306-4573(03)00018-9
DO - 10.1016/S0306-4573(03)00018-9
M3 - Article
SN - 1873-5371
VL - 40
SP - 383
EP - 419
JO - Information Processing and Management
JF - Information Processing and Management
IS - 3
ER -