Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Video

Updated: Jun 4, 2025

Author Spotlight: Characterizing Porous Materials for Aiding the Development of Robust Metal-Organic Frameworks with Adsorption Behavior
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
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

Formal Charges02:42

Formal 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
Natural and Artificial Concepts01:24

Natural 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
Schemata01:17

Schemata

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:
60
Concepts and Prototypes01:24

Concepts 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,...
95
Levels of Organization01:09

Levels 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...
122.6K
Constraints and Statical Determinacy01:26

Constraints 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

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

<i>History</i> in the Basic Formal Ontology.

CEUR workshop proceedings.·2026
Same authorSame journal

Towards Representing Change in the BFO.

Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)·2025
Same author

Challenges in Realism-Based Ontology Design: a Case Study on Creating an Ontology for Motivational Learning Theories.

CEUR workshop proceedings·2024
Same authorSame journal

Axiomatizing SNOMED CT Disorders: Should There Be Room for Interpretation?

Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)·2024
Same author

An Extendible Realism-Based Ontology for Kinship.

CEUR workshop proceedings.·2024
Same journal

The Ontology-Epistemology Divide: A Case Study in Medical Terminology.

Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)·2015
Same journal

Aspects of the Taxonomic Relation in the Biomedical Domain.

Formal ontology in information systems : proceedings of the ... International Conference. FOIS (Conference)·2015
See all related articles

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.
Keywords:
Basic Formal OntologyFOL axiomatizationsurface

More Related Videos

Synthesis and Characterization of Functionalized Metal-organic Frameworks
11:27

Synthesis and Characterization of Functionalized Metal-organic Frameworks

Published on: September 5, 2014

48.0K
Multiscale Structures Aggregated by Imprinted Nanofibers for Functional Surfaces
06:14

Multiscale Structures Aggregated by Imprinted Nanofibers for Functional Surfaces

Published on: September 11, 2018

6.5K

Related Experiment Videos

Last Updated: Jun 4, 2025

Author Spotlight: Characterizing Porous Materials for Aiding the Development of Robust Metal-Organic Frameworks with Adsorption Behavior
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
Synthesis and Characterization of Functionalized Metal-organic Frameworks
11:27

Synthesis and Characterization of Functionalized Metal-organic Frameworks

Published on: September 5, 2014

48.0K
Multiscale Structures Aggregated by Imprinted Nanofibers for Functional Surfaces
06:14

Multiscale Structures Aggregated by Imprinted Nanofibers for Functional Surfaces

Published on: September 11, 2018

6.5K

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.