Modelling digital libraries based on logic

Authors:
Carlo Meghini;Nicolas Spyratos;Tsuyoshi Sugibuchi
Affiliations:
Consiglio Nazionale delle Ricerche, Istituto della Scienza e delle Tecnologie della, Informazione, Pisa, Italy;Université Paris-Sud, Laboratoire de Recherche en Informatique, Orsay Cedex, France;Université Paris-Sud, Laboratoire de Recherche en Informatique, Orsay Cedex, France
Venue:
ECDL'10 Proceedings of the 14th European conference on Research and advanced technology for digital libraries
Year:
2010

Citing 4
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
The description logic handbook: theory, implementation, and applications

The description logic handbook: theory, implementation, and applications
The CIDOC conceptual reference module: an ontological approach to semantic interoperability of metadata

AI Magazine
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries

ACM Transactions on Information Systems (TOIS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a data model for digital libraries supporting identification, description and discovery of digital objects. The model is formalized as a first-order theory, certain models of which correspond to the intuitive notion of digital library. Our main objective is to lay the foundations for the design of anAPI offering the above functionality.Additionally, we use our formal framework to discuss the adequacy of the Resource Description Framework with respect to the requirements of digital libraries.