%0 Journal Article %1 FerRid2003 %A Ferré, S. %A Ridoux, O. %D 2004 %J Information Processing & Management %K deduction information_retrieval information_system query_formulation representation_language theorem_proving %N 3 %P 383--419 %T An Introduction to Logical Information Systems %V 40 %X 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 databases. We present the principles of LIS, the constraints they impose on the expression of logics, and hints for their effective implementation.

@article{FerRid2003, abstract = {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 databases. We present the principles of LIS, the constraints they impose on the expression of logics, and hints for their effective implementation.}, added-at = {2007-06-12T09:41:27.000+0200}, author = {Ferré, S. and Ridoux, O.}, biburl = {https://www.bibsonomy.org/bibtex/2a24fa05f4d0368b4619df1cfee4a0e25/sebferre}, description = {publications of Sebastien Ferre}, interhash = {3928625402ceb85111d7224c25dff7ec}, intrahash = {a24fa05f4d0368b4619df1cfee4a0e25}, journal = {Information Processing \& Management}, keywords = {deduction information_retrieval information_system query_formulation representation_language theorem_proving}, number = 3, pages = {383--419}, pdf = {http://www.irisa.fr/lande/ferre/papers/ipm2004.pdf}, ps = {http://www.irisa.fr/lande/ferre/papers/ipm2004.ps.gz}, refperso = {200508A}, timestamp = {2007-06-12T09:41:28.000+0200}, title = {An Introduction to Logical Information Systems}, volume = 40, year = 2004 }