A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910889120104448 |
|---|---|
| author | Prudhomme, Tim De Colle, Giacomo Liebers, Austin Sculley, Alec Xie, Peihong "Karl" Cohen, Sydney Beverley, John |
| author_facet | Prudhomme, Tim De Colle, Giacomo Liebers, Austin Sculley, Alec Xie, Peihong "Karl" Cohen, Sydney Beverley, John |
| contents | 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, a mapping methodology and set of alignments are presented according to specific criteria which prioritize semantic and logical principles. The ontology alignments are evaluated by checking their logical consistency with canonical examples of PROV-O instances and querying terms that do not satisfy the alignment criteria as formalized in SPARQL. A variety of semantic web technologies are used in support of FAIR (Findable, Accessible, Interoperable, Reusable) principles. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_03866 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology Prudhomme, Tim De Colle, Giacomo Liebers, Austin Sculley, Alec Xie, Peihong "Karl" Cohen, Sydney Beverley, John Databases Artificial Intelligence Logic in Computer Science 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, a mapping methodology and set of alignments are presented according to specific criteria which prioritize semantic and logical principles. The ontology alignments are evaluated by checking their logical consistency with canonical examples of PROV-O instances and querying terms that do not satisfy the alignment criteria as formalized in SPARQL. A variety of semantic web technologies are used in support of FAIR (Findable, Accessible, Interoperable, Reusable) principles. |
| title | A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology |
| topic | Databases Artificial Intelligence Logic in Computer Science |
| url | https://arxiv.org/abs/2408.03866 |