A formalization of one of the main claims of “OpenBiodiv: A knowledge graph for literature-extracted linked open data in biodiversity science” by Penev et al. 2019

Penev et al. claimed in previous work that triples in the OpenBiodiv knowledge graph releases are generally semantic triples extracted from biodiversity literature. We present here a formalization of that claim, stating that all things of class “triple in OpenBiodiv knowledge graph” that are in the context of a thing of class “release of OpenBiodiv knowledge graph” generally have a relation of type “is same as” to a thing of class “semantic triple extracted from biodiversity literature” in the same context.