Modelling digital libraries based on logic

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 an API 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.