Development of a classification system for Mathematical Logic

Abstract

The number of digital resources that exist in repositories and on the Internet in general is enormous. Recovering resources that fit with the user’s specific needs poses a problem. To solve this problem, metainformation is added to the resources. One type of metainformation is the classification of a resource using a classification system that is widely recognised and agreed upon by its users. In this way, each resource is assigned a precise place within the classification system, thus facilitating its location. This article proposes a taxonomy for the classification of the resources (notes, exercises, exams or programmes that could be stored within a digital repository) that are generated within the scope of a Mathematical Logic course for a computer science degree programme. It also describes how to represent the proposed taxonomy using the IMS-VDEX standard and how to integrate it in the LOM and Dublin Core metadata specifications and proposes a set of controlled vocabularies that make it possible to refine the taxonomic metainformation.