A formalization of one of the main claims of “Creative Commons licenses and the non-commercial condition: Implications for the re-use of biodiversity information” by Hagedorn et al. 20111

Abstract

Hagedorn et al. claimed in previous work that when talking about biodiversity data, licenses with a non-commercial clause generally inhibit data reuse. We present here a formalization of that claim, stating that all things of class “license with non-commercial clause” that are in the context of a thing of class “biodiversity data” generally have a relation of type “inhibits” to a thing of class “data reuse” in the same context.