Towards a digital library theory: a formal digital library ontology

  • Authors:
  • Marcos André Gonçalves;Edward A. Fox;Layne T. Watson

  • Affiliations:
  • Federal University of Minas Gerais, Department of Computer Science, Belo Horizonte, Minas Gerais, Brazil;Virginia Polytechnic Institute and State University, Department of Computer Science, 24061, Blacksburg, VA, USA;Virginia Polytechnic Institute and State University, Department of Computer Science, 24061, Blacksburg, VA, USA

  • Venue:
  • International Journal on Digital Libraries
  • Year:
  • 2008

Quantified Score

Hi-index 0.03

Visualization

Abstract

Digital libraries (DLs) have eluded definitional consensus and lack agreement on common theories and frameworks. This makes comparison of DLs extremely difficult, promotes ad-hoc development, and impedes interoperability. In this paper we propose a formal ontology for DLs that defines the fundamental concepts, relationships, and axiomatic rules that govern the DL domain, therefore providing a frame of reference for the discussion of essential concepts of DL design and construction. The ontology is an axiomatic, formal treatment of DLs, which distinguishes it from other approaches that informally define a number of architectural variants. The process of construction of the ontology was guided by 5S, a formal framework for digital libraries. To test its expressibility we have used the ontology to create a taxonomy of DL services and to reason about issues of reusability, extensibility, and composability. Some practical applications of the ontology are also described including: the definition of a digital library services taxonomy, the proposal of a modeling language for digital libraries, and the specification of quality metrics to evaluate digital libraries. We also demonstrate how to use the ontology to formally describe DL architectures and to prove some properties about them, thus helping to further validate the ontology.