Mapping the Provenance Ontology to Basic Formal Ontology

The Provenance Ontology (PROV-O) is a World Wide Web Consortium (W3C) recommended ontology used to structure data about provenance across a wide variety of domains. Basic Formal Ontology (BFO) is a top-level ontology ISO/IEC standard used to structure a wide variety of ontologies, such as the OBO Fo...

Full description

Saved in:

Bibliographic Details
Main Authors:	Prudhomme, Tim, De Colle, Giacomo, Liebers, Austin, Sculley, Alec, Peihong, Xie, Cohen, Sydney, Beverley, John
Format:	Journal Article
Language:	English
Published:	02-08-2024
Subjects:	Computer Science - Artificial Intelligence Computer Science - Databases Computer Science - Logic in Computer Science
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	The Provenance Ontology (PROV-O) is a World Wide Web Consortium (W3C) recommended ontology used to structure data about provenance across a wide variety of domains. Basic Formal Ontology (BFO) is a top-level ontology ISO/IEC standard used to structure a wide variety of ontologies, such as the OBO Foundry ontologies and the Common Core Ontologies (CCO). To enhance interoperability between these two ontologies, their extensions, and data organized by them, an alignment is presented according to a specific mapping criteria and methodology which prioritizes structural and semantic considerations. The ontology alignment is evaluated by checking its logical consistency with canonical examples of PROV-O instances and querying terms that do not satisfy the mapping criteria as formalized in SPARQL. A variety of semantic web technologies are used in support of FAIR (Findable, Accessible, Interoperable, Reusable) principles.
DOI:	10.48550/arxiv.2408.03866