Mathematical Knowledge Management (MKM) is a recent interdisciplinary field of research in the intersection of mathematics, computer science, data science, knowledge engineering and library science. The main goal of this paper is to build a first-order logic (FOL)-based applied ontology for metadata extraction, by the name MADME (MAke Decision for Metadata Extraction). The MADME procedure with its mathematical logic ontology is able to determine the best metadata extraction systems from heterogeneous digital mathematical documents, and to support the research community in MKM.
FOL-BASED APPLIED ONTOLOGY FOR METADATA EXTRACTION IN MATHEMATICAL KNOWLEDGE MANAGEMENT
Simone Cuconato
2024-01-01
Abstract
Mathematical Knowledge Management (MKM) is a recent interdisciplinary field of research in the intersection of mathematics, computer science, data science, knowledge engineering and library science. The main goal of this paper is to build a first-order logic (FOL)-based applied ontology for metadata extraction, by the name MADME (MAke Decision for Metadata Extraction). The MADME procedure with its mathematical logic ontology is able to determine the best metadata extraction systems from heterogeneous digital mathematical documents, and to support the research community in MKM.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
