Academic Journal
Fiat Surfaces in the Basic Formal Ontology.
| العنوان: | Fiat Surfaces in the Basic Formal Ontology. |
|---|---|
| المؤلفون: | Rabenberg, Michael, Ceusters, Werner |
| المصدر: | Form Ontol Inf Syst ; Volume:394 |
| سنة النشر: | 2024 |
| المجموعة: | PubMed Central (PMC) |
| مصطلحات موضوعية: | Basic Formal Ontology, FOL axiomatization, surface |
| الوصف: | 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. |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| Relation: | https://doi.org/10.3233/FAIA241313; https://pubmed.ncbi.nlm.nih.gov/39703929; https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11656323/ |
| DOI: | 10.3233/FAIA241313 |
| الاتاحة: | https://doi.org/10.3233/FAIA241313 https://pubmed.ncbi.nlm.nih.gov/39703929 https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11656323/ |
| رقم الانضمام: | edsbas.118D51CB |
| قاعدة البيانات: | BASE |
| DOI: | 10.3233/FAIA241313 |
|---|