A semantic approach to mapping the Provenance Ontology to Basic Formal Ontology
View abstract on PubMed
Summary
This summary is machine-generated.This study presents ontology alignments between the Provenance Ontology (PROV-O) and Basic Formal Ontology (BFO) to improve data interoperability. These alignments enhance the Findable, Accessible, Interoperable, and Reusable (FAIR) data principles.
Area Of Science
- Semantic Web Technologies
- Ontology Engineering
- Data Interoperability
Background
- The Provenance Ontology (PROV-O) is a W3C standard for structuring provenance data.
- Basic Formal Ontology (BFO) is an ISO/IEC standard for structuring scientific ontologies.
- Interoperability challenges exist between PROV-O and BFO and their extensions.
Purpose Of The Study
- To develop a methodology for mapping and aligning PROV-O and BFO.
- To enhance semantic and logical interoperability between these foundational ontologies.
- To support FAIR data principles through improved ontology integration.
Main Methods
- A mapping methodology and set of ontology alignments were developed based on semantic and logical criteria.
- Alignments were evaluated for logical consistency using PROV-O instances.
- SPARQL queries were used to identify terms not satisfying alignment criteria.
Main Results
- A robust methodology for aligning PROV-O and BFO was established.
- Ontology alignments were validated for logical consistency and adherence to criteria.
- The work supports the integration of provenance data within broader scientific ontologies.
Conclusions
- The presented ontology alignments significantly enhance interoperability between PROV-O and BFO.
- This integration facilitates the application of FAIR data principles in scientific data management.
- The methodology provides a foundation for aligning other domain ontologies with BFO and PROV-O.
Related Concept Videos
A schema is a mental construct that organizes related concepts, allowing the brain to process information efficiently. Upon activation, schemata facilitate assumptions about people or objects.
Two types of schemata are:
Role Schema: This schema involves assumptions about individuals in specific roles. For example, meeting someone identified as a firefighter triggers the "firefighter schema," leading to assumptions about bravery and community orientation. However, these assumptions may...
The human nervous system handles vast amounts of information by translating sensory stimuli into neural impulses, which the brain processes, creating thoughts expressed through language or stored as memories. The brain also synthesizes information from emotions and memories, which significantly influence thoughts and behaviors. This intricate process creates a comprehensive mental picture.
The brain organizes this information using concepts, which are mental categories grouping linguistic data,...
In psychology, concepts can be divided into two categories: natural and artificial. Natural concepts are formed through direct or indirect experiences. For example, consider the concept of snow. If you live in a place with regular snowfall, such as Essex Junction, Vermont, you know snow through direct experiences. You’ve seen it fall, touched it, shoveled it, and played in it. You recognize its texture, appearance, and even its smell. In contrast, if you live on an island like Saint...
According to Albert Einstein (1897-1955), free-falling and feeling weightless are intrinsically linked. If a person were in free-fall under gravity, for example, diving towards the Earth from an airplane, they would feel completely weightless. Similarly, a person descending in a lift may feel partially weightless. Broadly speaking, it is assumed that an object in a uniform gravitational field and an object undergoing constant acceleration in the absence of gravity are under the same...
Engineering mechanics is a branch of engineering that studies motion and the forces acting on objects. It is a fundamental subject and forms the basis of many other engineering disciplines. Length, time, mass, and force are some basic concepts in engineering mechanics.
Length, which measures the distance traveled by an object, is a fundamental concept in engineering mechanics. We use coordinates relative to a reference point to describe the distance. Length not only helps to describe the...
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...

