Development of a classification system for Mathematical Logic

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

Full description

Saved in:
Bibliographic Details
Published in:Journal of information science 2021-04, Vol.47 (2), p.143-160
Main Author: Sarasa Cabezuelo, Antonio
Format: Article
Language:English
Subjects:
Classification
Internet resources
Mathematical analysis
Mathematical logic
Repositories
Resource recovery
Taxonomy
Citations: Items that this one cites
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0165-5515
1741-6485
DOI:10.1177/0165551519877644