@inproceedings{64b3142997b94a198d1a27f9b29d58bb,
title = "Fiat Surfaces in the Basic Formal Ontology",
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.",
keywords = "Basic Formal Ontology, FOL axiomatization, surface",
author = "Michael Rabenberg and Werner Ceusters",
note = "Publisher Copyright: {\textcopyright} 2024 The Authors.; 14th International Conference on Formal Ontology in Information Systems, FOIS 2024 ; Conference date: 15-07-2024 Through 19-07-2024",
year = "2024",
doi = "10.3233/FAIA241313",
language = "English",
series = "Frontiers in Artificial Intelligence and Applications",
publisher = "IOS Press BV",
pages = "268--282",
editor = "Cassia Trojahn and Daniele Porello and Barcelos, \{Pedro Paulo Favato\} and Barcelos, \{Pedro Paulo Favato\}",
booktitle = "Formal Ontology in Information Systems - Proceedings of the 14th International Conference, FOIS 2024",
address = "Netherlands",
}