Document - Modelling digital libraries based on logic

2010

Conference article Restricted

Modelling digital libraries based on logic

Meghini C., Spyratos N., Sugibuchi T.

Data model Digital library Mathematical 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.

Source: 14th European Conference, ECDL 2010, pp. 2–13, Glasgow, September 6-10, 2010

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:44369,
	title = {Modelling digital libraries based on logic},
	author = {Meghini C. and Spyratos N. and Sugibuchi T.},
	doi = {10.1007/978-3-642-15464-5_2},
	booktitle = {14th European Conference, ECDL 2010, pp. 2–13, Glasgow, September 6-10, 2010},
	year = {2010}
}