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.

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