Mapping the Provenance Ontology to Basic Formal Ontology

• URL: http://arxiv.org/abs/2408.03866v1
• Date: Fri, 2 Aug 2024 16:50:17 GMT
• Title: Mapping the Provenance Ontology to Basic Formal Ontology
• Authors: Tim Prudhomme, Giacomo De Colle, Austin Liebers, Alec Sculley, Peihong, Xie, Sydney Cohen, John Beverley,
• Abstract summary: The Provenance Ontology (PROV-O) is a World Wide Web Consortium (W3C) recommended used to structure data about provenance across a variety of domains.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• 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.

Related papers

• An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic [57.24311218570012]
  This approach allows for the computer-assisted analysis of abstract dialectical frameworks. Exemplary applications include the formal analysis and verification of meta-theoretical properties.
  arXiv  Detail & Related papers  (2023-12-08T09:32:26Z)
• NFRsTDO v1.2's Terms, Properties, and Relationships -- A Top-Domain Non-Functional Requirements Ontology [1.6650719629879034]
  This pre-print specifies and defines all the Terms, Properties, and Relationships of NFRsTDO v1.2. NFRsTDO's terms and relationships are mainly extended/reused from ThingFO, Situation (COSituation Core Ontology), ProcessCO (Process Core Ontology), and SituationssTDO.
  arXiv  Detail & Related papers  (2023-02-02T13:33:33Z)
• Universal Information Extraction as Unified Semantic Matching [54.19974454019611]
  We decouple information extraction into two abilities, structuring and conceptualizing, which are shared by different tasks and schemas. Based on this paradigm, we propose to universally model various IE tasks with Unified Semantic Matching framework. In this way, USM can jointly encode schema and input text, uniformly extract substructures in parallel, and controllably decode target structures on demand.
  arXiv  Detail & Related papers  (2023-01-09T11:51:31Z)
• Mix and Reason: Reasoning over Semantic Topology with Data Mixing for Domain Generalization [48.90173060487124]
  Domain generalization (DG) enables a learning machine from multiple seen source domains to an unseen target one. mire consists of two key components, namely, Category-aware Data Mixing (CDM) and Adaptive Semantic Topology Refinement (ASTR) experiments on multiple DG benchmarks validate the effectiveness and robustness of the proposed mire.
  arXiv  Detail & Related papers  (2022-10-14T06:52:34Z)
• EBOCA: Evidences for BiOmedical Concepts Association Ontology [55.41644538483948]
  This paper proposes EBOCA, an ontology that describes (i) biomedical domain concepts and associations between them, and (ii) evidences supporting these associations. Test data coming from a subset of DISNET and automatic association extractions from texts has been transformed to create a Knowledge Graph that can be used in real scenarios.
  arXiv  Detail & Related papers  (2022-08-01T18:47:03Z)
• Compound Domain Generalization via Meta-Knowledge Encoding [55.22920476224671]
  We introduce Style-induced Domain-specific Normalization (SDNorm) to re-normalize the multi-modal underlying distributions. We harness the prototype representations, the centroids of classes, to perform relational modeling in the embedding space. Experiments on four standard Domain Generalization benchmarks reveal that COMEN exceeds the state-of-the-art performance without the need of domain supervision.
  arXiv  Detail & Related papers  (2022-03-24T11:54:59Z)
• Semantic Search for Large Scale Clinical Ontologies [63.71950996116403]
  We present a deep learning approach to build a search system for large clinical vocabularies. We propose a Triplet-BERT model and a method that generates training data based on semantic training data. The model is evaluated using five real benchmark data sets and the results show that our approach achieves high results on both free text to concept and concept to searching concept vocabularies.
  arXiv  Detail & Related papers  (2022-01-01T05:15:42Z)
• Extracting Domain-specific Concepts from Large-scale Linked Open Data [0.0]
  The proposed method defines search entities by linking the LOD vocabulary with terms related to the target domain. The occurrences of common upper-level entities and the chain-of-path relationships are examined to determine the range of conceptual connections in the target domain.
  arXiv  Detail & Related papers  (2021-11-22T10:25:57Z)
• ProcessCO v1.3's Terms, Properties, Relationships and Axioms - A Core Ontology for Processes [0.0]
  This preprint specifies and defines all Terms, Properties, Relationships and Axioms of Process Core Ontology. This is a five-level ontological architecture, which considers Foundational Core, Domain and Instance levels. In the end of this document, we address the ProcessCO vs. ThingFO non-taxonomic relationship verification matrix.
  arXiv  Detail & Related papers  (2021-08-05T19:03:59Z)
• SituationCO v1.2's Terms, Properties, Relationships and Axioms -- A Core Ontology for Particular and Generic Situations [0.0]
  The preprint is an update to SituationCO v1.1 (Situation Core Ontology), which represents its new version 1.2. It specifies and defines all the terms, properties, relationships and axioms of Situation v1.2.
  arXiv  Detail & Related papers  (2021-07-21T13:54:40Z)
• Semantic interoperability based on the European Materials and Modelling Ontology and its ontological paradigm: Mereosemiotics [0.0]
  European Materials and Modelling Ontology (EMMO) has recently been advanced in the computational molecular engineering and multi-scale modelling communities as a top-level. This work explores how top-level that are based on the same paradigm - the same set of fundamental. ontologys - as the EMMO can be applied to. models of physical systems and their use in computational engineering practice.
  arXiv  Detail & Related papers  (2020-03-22T13:19:55Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.