English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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.

Matching a Trope Ontology to the Basic Formal Ontology