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

Wilkinson et al. claimed in previous work that Adherence of a dataset to the FAIR Guiding Principles enables its automated discovery. We present here a formalization of that claim, stating that all things of class “adherence to the FAIR Guiding principles” that are in the context of a thing of class “data set” can generally have a relation of type “enables” to a thing of class “automated discovery” in the same context.