Related Experiment Video
Updated: Jun 4, 2025
06:45
Author Spotlight: Characterizing Porous Materials for Aiding the Development of Robust Metal-Organic Frameworks with Adsorption Behavior
Published on: March 8, 2024
7.1K
Fiat Surfaces in the Basic Formal Ontology
Michael Rabenberg1, Werner Ceusters1
1University at Buffalo, 77 Goodell Street, Buffalo, NY 14203, USA.
Formal Ontology in Information Systems : Proceedings of the ... International Conference. FOIS (Conference)
|December 20, 2024
Summary
This study improves the formal ontology of fiat surfaces within the Basic Formal Ontology (BFO). It proposes enhanced axioms for better representation of these continuant boundaries in scientific and domain-specific ontologies.
Area of Science:
- Formal Ontology
- Scientific Knowledge Representation
- Ontological Engineering
Background:
- The Basic Formal Ontology (BFO) has limited axiomatization for 'continuant fiat boundary' and 'fiat surface' subclasses.
- Current BFO axioms inadequately capture the meaning of elucidations for these entities.
Purpose of the Study:
- To develop a BFO-conformant view of 'fiat surface'.
- To identify and address desiderata for representing fiat surfaces.
- To propose improved axiomatizations for fiat surfaces.
Main Methods:
- Analysis of existing BFO axioms and GitHub representations.
- Evaluation of the Arp et al. (2015) view of fiat surfaces.
- Development and supplementation of a BFO-conformant model for fiat surfaces.
Main Results:
- The GitHub representation of fiat surfaces does not meet identified desiderata.
- The Arp et al. (2015) view is a better foundation but requires enhancement.
- Proposed axioms offer improved axiomatization for fiat surfaces.
Conclusions:
- Enhanced axiomatization is necessary for accurate representation of fiat surfaces in BFO.
- The proposed view and axioms provide a more robust model for fiat surfaces.
- These advancements support better integration into BFO and domain-specific ontologies.
Related Concept Videos
02:42Formal Charges
32.3K
In some cases, there are seemingly more than one valid Lewis structures for molecules and polyatomic ions. The concept of formal charges can be used to help predict the most appropriate Lewis structure when more than one reasonable structure exists.
32.3K
01:24Natural and Artificial Concepts
115
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...
115
01:17Schemata
60
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:
Two types of schemata are:
60
01:24Concepts and Prototypes
95
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,...
The brain organizes this information using concepts, which are mental categories grouping linguistic data,...
95
01:09Levels of Organization
122.6K
Biological organization is the classification of biological structures, ranging from atoms at the bottom of the hierarchy to the Earth's biosphere. Each level of the hierarchy represents an increase in complexity that builds upon the previous level.
Molecules Are Composed of Atoms, and Biomolecules Are Assembled from Molecules:
The most basic levels include atoms, molecules, and biomolecules. Atoms, the smallest unit of ordinary matter, are composed of a nucleus and electrons. Molecules...
Molecules Are Composed of Atoms, and Biomolecules Are Assembled from Molecules:
The most basic levels include atoms, molecules, and biomolecules. Atoms, the smallest unit of ordinary matter, are composed of a nucleus and electrons. Molecules...
122.6K
01:26Constraints and Statical Determinacy
576
In structural engineering, the equilibrium of a system is not only determined by its equations of equilibrium but also with the help of constraints. Constraints refer to restrictions on the motion of a system. The proper combinations of constraints can minimize the total number of constraints needed to maintain a system in mechanical equilibrium. When this happens, the system is said to be statically determinate. For such systems, the unknown reaction supports can be estimated using equilibrium...
576