Next Article in Journal
Conversational Systems in Machine Learning from the Point of View of the Philosophy of Science—Using Alime Chat and Related Studies
Next Article in Special Issue
De Libero Arbitrio—A Thought-Experiment about the Freedom of Human Will
Previous Article in Journal
Embodied AI beyond Embodied Cognition and Enactivism
Previous Article in Special Issue
Philosophy in Reality: Scientific Discovery and Logical Recovery
Open AccessArticle

Matching a Trope Ontology to the Basic Formal Ontology

The Hunt Lab for Intelligence Research, The University of Melbourne, Parkville, VIC 3010, Australia
Philosophies 2019, 4(3), 40; https://doi.org/10.3390/philosophies4030040
Received: 19 May 2019 / Revised: 15 July 2019 / Accepted: 15 July 2019 / Published: 18 July 2019
(This article belongs to the Special Issue Contemporary Natural Philosophy and Philosophies - Part 2)
Applied ontology, at the foundational level, is as much philosophy as engineering and as such provides a different aspect of contemporary natural philosophy. A prominent foundational ontology in this field is the Basic Formal Ontology (BFO). It is important for lesser known ontologies, like the trope ontology of interest here, to match to BFO because BFO acts like the glue between many disparate ontologies. Moreover, such matchings provide philosophical insight into ontologies. As such, the core research question here is how we can match a trope ontology to BFO (which is based on universals) and what insights such a matching provides for foundational ontology. This article provides a logical matching, starting with BFO’s top entities (continuants and occurrences) and identifies key ontological issues that arise, such as whether universals and mereological sums are equivalent. This article concludes with general observations about the matching, including that matching to universals is generally straightforward, but not so much the matching between relations. In particular, the treatment of occurrences as causal chains is different in the trope ontology, compared to BFO’s use of time arguments. View Full-Text
Keywords: ontology; BFO; tropes; applied philosophy ontology; BFO; tropes; applied philosophy
MDPI and ACS Style

de Rozario, R. Matching a Trope Ontology to the Basic Formal Ontology. Philosophies 2019, 4, 40.

Show more citation formats Show less citations formats

Article Access Map by Country/Region

1
Back to TopTop