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
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)
  |  
PDF [215 KB, uploaded 18 July 2019]

Abstract

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
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited (CC BY 4.0).
SciFeed

Share & Cite This Article

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 Metrics

Article Access Statistics

1

Comments

[Return to top]
Philosophies EISSN 2409-9287 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top