Mapping the Provenance Ontology to Basic Formal Ontology

Tim Prudhomme,Giacomo De Colle,Austin Liebers,Alec Sculley,Peihong,Sydney Cohen,John Beverley
2024-08-03
Abstract: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.
Databases,Artificial Intelligence,Logic in Computer Science
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to improve the semantic interoperability between **Provenance Ontology (PROV - O)** and **Basic Formal Ontology (BFO)**. Specifically, the author hopes to achieve the following goals by mapping PROV - O to BFO and its extensions (such as Common Core Ontologies (CCO) and OBO Relations Ontology (RO)): 1. **Enhance interoperability**: By creating a mapping between the two ontologies, data organized using different ontologies can interact and be shared at the semantic level. This helps break the problem of data silos, that is, data is stored in different databases in isolation and cannot be interoperable. 2. **Support reasoning and querying**: Through the mapping, users can run new SPARQL queries on knowledge graphs containing data from these two ontologies and use the axioms of BFO to discover implicit information. For example, new conclusions can be deduced from the integrated semantic information by a semantic reasoner. 3. **Promote standard consistency**: Ensure the consistency and compatibility of the two widely - used standards, PROV - O and BFO, when structuring data, thereby providing a solid foundation for semantic interoperability. ### Specific goals of the paper - **Create a comprehensive mapping**: Map each class and object property in PROV - O and all its W3C extensions to the corresponding class or object property in BFO, CCO, or RO, using mappings limited to sub - class relationships and equivalence relationships. - **Ensure the quality of the mapping**: Through the evaluation of logical consistency and semantic coherence, ensure that the mapping does not introduce contradictions or change the semantic relationships of the original ontologies. - **Maximize interoperability**: Get as close as possible to maximum interoperability, that is, each term can be bidirectionally mapped between the two ontologies through an equivalence relationship. ### Method overview The author adopted a semi - automated ontology alignment method, combined with conceptual analysis techniques and semantic web techniques, and evaluated in detail the necessary and sufficient conditions of each class and relationship. They also developed SPARQL queries to detect terms that did not meet the mapping criteria and used tools such as HermiT for testing logical consistency and conservatism. ### Results Finally, the author successfully explicitly mapped most of the 153 PROV - O classes and object properties: - 34 terms are explicitly mapped to BFO (6 equivalence relationships, 23 sub - class relationships, 8 SWRL rules). - 36 terms are explicitly mapped to CCO (5 equivalence relationships, 22 sub - class relationships, 1 property chain, 6 SWRL rules). - 25 terms are explicitly mapped to RO (26 sub - class relationships). In addition, some implicit mappings are achieved through logical axioms. These mappings not only enhance the interoperability between the two ontologies but also provide a solid foundation for future further research and applications. ### Summary By mapping PROV - O to BFO, the author aims to bridge the gap between ontologies in different fields, improve the semantic interoperability of data, support more complex reasoning and querying, and ensure the seamless sharing and understanding of data between different systems.