PROV 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 (PROV-O) is a top-level ontology ISO/IEC standard used to structure a wide variety of ontologies, including the Relation Ontology (RO) and the Common Core Ontologies (CCO). To enhance interoperability between these ontologies, their extensions, and data organized by them, this repo includes a set of mappings that were created according to a criteria and methodology which prioritizes structural and semantic principles.
- PROV-BFO Release version here. This contains only the mapped and extended terms from BFO. Use this file in production.
- PROV-RO Release version here. This contains only the mapped and extended terms from RO. Use this file in production.
- PROV-CCO Release version here. This contains only the mapped and extended terms from CCO. Use this file in production.
- Editor's development version here. This file is used only for development, not intended for production. It contains imports of BFO, CCO, RO, each and all canonical example instances from the PROV-O docs to test with. Open this file in Protege to view the mapping in full context of each aligned ontology. Test this file to ensure consistency among the extensions.
-
Every class and object property from PROV-O and its extensions is mapped to some class or object property from BFO, RO, or CCO.
-
The mappings use subsumption and equivalence relations either directly with RDFS and OWL, or indirectly with SWRL rules and property chain axioms. Additional SKOS mappings are provided for extra commentary.
-
The following PROV namespaces have been (1) mapped in the mapping files, (2) imported in the editors file, and (3) all Turtle-serialized examples from each have been loaded as instances in the editors file for testing:
- PROV-O Ontology
- PROV Access and Query Ontology & Examples
- PROV Data Dictionary Ontology & Examples
- PROV Linking Across Provenance Bundles Ontology & Examples
- PROV Inverses Ontology
- Automated entailment of mappings for inverse object properties is supported by OWL-DL and OWL-QL. For example,
prov:wasMemberOf
may be automatically inferred as a subproperty of BFO "part of" becauseprov:hadMember
is a subproperty of BFO "has part" and these PROV terms are inverses of each other.
- Automated entailment of mappings for inverse object properties is supported by OWL-DL and OWL-QL. For example,
- PROV Dublin Core https://www.w3.org/ns/prov-dc# Ontology & Examples
-
Bonus mappings between BFO and the SOSA (Sensor, Observation, Sample, and Actuator) ontology are possible, due to the SOSA-PROV Mapping.
-
The version of each PROV-O, BFO, RO, and CCO file is specified in the
owl:imports
of the editor's fileprov-mappings-edit.ttl
. -
The following W3C semantic web technologies are used to represent the mappings and the mapping criteria:
- RDF version 1.1, 25 February 2014
- RDF Schema version 1.1, 25 February 2014
- OWL version 2, 11 December 2012
- RDF Turtle version 1.1, 25 February 2014
- SPARQL version 1.1, 21 March 2013
- SWRL version, 21 May 2004
-
The following tools are used to develop and evaluate the mappings:
- Protégé version 5.6.3
- ROBOT version 1.9.5
- HermiT Reasoner version 1.4.5.456
- GNU Make version 3.81
-
A separate RDF Turtle file is created to extend each ontology with a set of mappings.
-
All mappings and ontologies are imported into the editor's file
prov-mappings-edit.ttl
to help visualize the mappings using Protege.- For testing and reasoning, only terms that are used in a mapping are extracted from RO -- plus their logical dependencies using the MIREOT strategy.
- The list of RO terms to import is generated in the imports folder.
- The subset of extracted terms is stored locally and is imported into the editor's file.
-
A mapping file adds triples which relate terms from each ontology using the following "mapping" predicates:
rdfs:subClassOf
,rdfs:subPropertyOf
,owl:equivalentClass
, andowl:equivalentProperty
.- SWRL rules and property chain axioms are used to represent more complex, indirect relations.
- SKOS relations are used for extra commentary.
- OWL annotation axioms encode each mapping with justifications as
rdfs:comment
and other SSSOM metadata.
-
SPARQL queries are used for finding "unmapped" classes and object properties, and also "candidate" superproperties. The HermiT reasoner is used to check consistency and materialize inferences for various development tasks.
-
Mappings for each ontology are encoded as separate extensions to maximize compatibility and minimize dependencies for users, following conventions from the PROV-DC (Dublin Core) mapping.
-
All example instances from the PROV-O documentation and its extensions are temporarily imported into the extended ontology. The HermiT reasoner is used to check if the example instance data is consistent with the extended ontology.
-
ROBOT runs HermiT and also SPARQL queries for evaluating the mappings. A SPARQL query that formalizes the mapping criteria is executed to check whether any mappings are missing.
-
How to run tests automatically:
- Push commits to this Github repo, and the Makefile tests will be triggered in Github Workflow files
-
How to run tests manually:
- Requirements: GNU Make
- Run
make
from the src directory, ormake -C src
from this directory - Alternatively, run the commands defined within the Makefile.
- Release files are indicated with
-directmappings
prefix in the file names. These are edited and annotated directly, and imported in the Editor's file for development and testing. - Turtle (.ttl) versions of the release are currently not built automatically in order to ensure precise formatting, but RDF/XML versions could be automatically built from the Turtle versions.
Tim Prudhomme, Giacomo De Colle, Austin Liebers, Alec Sculley, Karl Xie, Sydney Cohen, and John Beverley
Please cite "Mapping PROV-O to BFO" using the GitHub URL https://github.com/BFO-Mappings/PROV-to-BFO or its Zenodo DOI.