A formalization of one of the main claims of “The FAIR Guiding Principles for scientific data management and stewardship” by Wilkinson et al. 2016 1

1. Introduction

Wilkinson et al. state that “the FAIR Principles put specific emphasis on enhancing the ability of machines to automatically find and use the data” [2]. We present here a formalization of the main scientific claim from this quote by using a semantic template called the super-pattern [1].

2. Formalization

Our formalization looks as follows:

In the context class we use the “data set” (Q1172284) class from Wikidata. In subject class, we use a new minted class “adherence to the FAIR guiding principles” that is a subclass of “adherence” (Q85315455) and is related to the class “FAIR data principles” (Q29032644) from Wikidata. In the object class we minted a new class “automated discovery” that is a subclass of “discovery” (Q12772819) and is related to the class “automation” (Q184199) from Wikidata.

3. RDF code

This is our formalization as a nanopublication in TriG format:

The following nanopublications introduce the newly minted classes in TriG format.

This is the class definition of “adherence to the FAIR guiding principles”:

This is the class definition of “automated discovery”: