Epistemic logic and CERMINE: a logical model for automatic extraction of structured metadata

Simone Cuconato


In this article we develop a logical model for automatic extraction of structured metadata. We introduce a new predicate ???? – reads ‘extract’ – and a structure ???? to syntactically and semantically define metadata extracted with any automatic metadata extraction system. These systems will be considered, in the logical model created, as knowledge extraction agents (henceforth KEA). In this case KEA taken into consideration is CERMINE, a comprehensive open-source system for extracting structured metadata from scientific articles in a born-digital form


epistemic logic; applied non-classical logics; logical methods in data science and knowledge engineering; metadata formalization; CERMINE

Full Text:



F. Belardinelli, A. Lomuscio. “A quantified epistemic logic for reasoning about multiagent systems”. 6th International Joint Conference on Autonomous Agents and Multiagent Systems. 2007.

E. Bottazzi, R. Ferrario. “Preliminaries to a DOLCE Ontology of Organizations”. Int. J. Business Process Integration and Management. Vol. 4, No. 4, 2009.

Bonanno and Battigalli. “Recent results on belief, knowledge and the epistemic foundations of game theory”. Research in Economics. Volume 53, Issue 2, June 1999, Pages 149-225. 1999.

S. Cuconato. “A logical framework for democratic decision-making: epistemic logic and liquid democracy”, Science & Philosophy – Journal of Epistemology, Science and Philosophy, 2020.

R. Fagin, J. Y. Halpern, Y. Moses, M. Y. Vardi. Reasoning About Knowledge. The MIT Press: Cambridge, MA. 1995.

C. Ha Lee, T. Kanungoa. “The architecture of TrueViz: a groundTRUth=metadata editing and VIsualiZing ToolKit”, Pattern Recognition, 36 pp. 811 – 825. 2003.

J. Hintikka. Knowledge and Belief: An Introduction to the Logic of the Two Notions.Second edition, Vincent F. Hendriks and John Symons (eds.), (Texts in Philosophy, 1). London: College Publications. 1962 [2005].

H. Hosni, A. Vulpiani, “Data science and the art of modelling”, Lettera Matematica International. 2018.

Li Z, Yi Y, Luo X, Xiong N, Liu Y, Li S, et al. “Development and Clinical Application of A Rapid IgM-IgG Combined Antibody Test for SARS-CoV-2 Infection Diagnosis”. Journal of medical virology. 2020

Ch. Meyer, W. van der Hoek. Epistemic Logic for AI and Computer Science.Cambridge University Press. 1995.

J. Pomerantz. Metadata. MIT Press Ltd. 2015.

B. Shanmugaraj, A. Malla, W. Phoolcharoen. “Emergence of Novel Coronavirus 2019- nCoV: Need for Rapid Vaccine and Biologics

Development”. Pathogens. 9(2):148. 2020

D. Tkaczyk, P. Szostek, P. Jan Dendek, M. Fedoryszak, Ł. Bolikowski. “CERMINE — automatic extraction of metadata and references from scientific literature”. Conference: 2014 11th IAPR International Workshop on Document Analysis

Systems. 2014.

D. Tkaczyk, P. Szostek, P. Jan Dendek, M. Fedoryszak, Ł. Bolikowski . “CERMINE — automatic extraction of metadata and references from scientific literature”, International Journal on Document Analysis and Recognition (IJDAR) Springer. 2015

H. van Ditmarsch, W. van der Hoek, B. Kooi. Dynamic Epistemic Logic, Synthese Library, Volume 337. Netherlands: Springer. 2007.

H. van Ditmarsch, J. Halpern, B. Van Der Hoek, B. Kooi. Handbook of Epistemic Logic. College Publications. 2015

DOI: http://dx.doi.org/10.23756/sp.v9i1.595


  • There are currently no refbacks.

Copyright (c) 2021 Simone Cuconato

Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 International License.

Science & Philosophy - Journal of Epistemology, Science and Philosophy. ISSN 2282-7757; eISSN  2282-7765.