Mapping the Provenance Ontology to Basic Formal Ontology. - Tim Prudhomme; Giacomo De Colle; Austin Liebers; Alec Sculley; Peihong Xie; Sydney Cohen; John Beverley (CoRR, 2024)