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.

翻译：溯源本体（PROV-O）是世界万维网联盟（W3C）推荐的本体，用于在广泛领域中构建溯源数据的结构。基本形式本体（BFO）是一个顶层的ISO/IEC标准本体，用于构建多种本体（如OBO Foundry本体和通用核心本体（CCO））的结构。为了增强这两个本体、它们的扩展以及由它们组织的数据之间的互操作性，本文根据优先考虑语义与逻辑原则的特定标准，提出了一种映射方法和一组对齐方案。这些本体对齐方案通过检查其与PROV-O实例规范示例的逻辑一致性，并查询不满足SPARQL形式化对齐标准的术语来进行评估。多种语义网技术被用于支持FAIR（可发现、可访问、可互操作、可重用）原则。