Work

Fiat Surfaces in the Basic Formal Ontology

Year: 2024

Type: book-chapter

Abstract: The Basic Formal Ontology (BFO) class continuant fiat boundary and its subclasses, including fiat surface, are not heavily axiomatized; they have elucidations, not definitions; and the meanings of these elucidations are poorly captured by the relevant BFO axioms. This paper is an effort to make progress in these respects for fiat surface. We identify a range of desiderata for a BFO-conformant view of fiat surface, argue that the GitHub does not satisfy them, argue that the view of fiat surfaces in Arp et al. (2015) does a better job, and supplement that view in ways that do a still better job. Our discussion allows us to, inter alia, present a number of axioms relevant to our topic worthy of consideration for inclusion in BFO or dependent ontologies in specific domains and for specific purposes.

Source: Frontiers in artificial intelligence and applications

DOI: 10.3233/faia241313

Authors: Michael Rabenberg, Werner Ceusters

Institution: University at Buffalo, State University of New York

Language: English

Topic: Semantic Web and Ontologies

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: National Institutes of Health, U.S. National Library of Medicine, National Center for Advancing Translational Sciences

Awards: G5382207646, Buffalo Research Innovation in Genomic and Healthcare Technology Education (BRIGHT Education)