{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,14]],"date-time":"2024-12-14T05:18:25Z","timestamp":1734153505665,"version":"3.30.2"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643685618","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T00:00:00Z","timestamp":1733875200000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024,12,11]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.3233\/faia241313","type":"book-chapter","created":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T10:21:40Z","timestamp":1734085300000},"source":"Crossref","is-referenced-by-count":0,"title":["Fiat Surfaces in the Basic Formal Ontology"],"prefix":"10.3233","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9004-5322","authenticated-orcid":false,"given":"Michael","family":"Rabenberg","sequence":"first","affiliation":[{"name":"University at Buffalo, 77 Goodell Street, Buffalo, NY 14203, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2676-8689","authenticated-orcid":false,"given":"Werner","family":"Ceusters","sequence":"additional","affiliation":[{"name":"University at Buffalo, 77 Goodell Street, Buffalo, NY 14203, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Formal Ontology in Information Systems"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA241313","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,13]],"date-time":"2024-12-13T10:21:40Z","timestamp":1734085300000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA241313"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,11]]},"ISBN":["9781643685618"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia241313","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12,11]]}}}