Mapping the Provenance Ontology to Basic Formal Ontology