Introduction to logical information systems
| Contribuinte(s) |
Bioinformatics and Computational Biology Group Department of Computer Science |
|---|---|
| Data(s) |
25/04/2006
25/04/2006
2004
|
| Resumo |
Ridoux, O. and Ferr?, S. (2004) Introduction to logical information systems. Information Processing & Management, 40 (3), 383-419. Elsevier 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. Peer reviewed |
| Formato |
37 |
| Identificador |
Ridoux , O & Ferr? , S 2004 , ' Introduction to logical information systems ' Information Processing and Management , vol 40 , no. 3 , pp. 383-419 . DOI: 10.1016/S0306-4573(03)00018-9 1873-5371 PURE: 68260 PURE UUID: 9dcb1c84-75ca-4e47-a13f-c3cfca26fbd9 dspace: 2160/142 |
| Relação |
Information Processing and Management |
| Palavras-Chave | #deduction and theorem proving #information search and retrieval #query formulation #information systems #representation languages |
| Idioma(s) |
eng |
| Direitos | |
| Tipo |
/dk/atira/pure/researchoutput/researchoutputtypes/contributiontojournal/article |
