Switch to: References

Citations of:

A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology

In Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte, ”, Proceedings of the Joint Ontology Workshops (JOWO), Graz (2019)

Add citations

You must login to add citations.
  1. BFO: Basic Formal Ontology.J. Neil Otte, John Beverley & Alan Ruttenberg - 2022 - Applied ontology 17 (1):17-43.
    Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Capabilities: An ontology.John Beverley, David Limbaugh, Eric Merrell, Peter Koch & Barry Smith - 2024 - Arxiv.
    In our daily lives, as in science and in all other domains, we encounter huge numbers of dispositions (tendencies, potentials, powers) which are realized in processes such as sneezing, sweating, shedding, melting. Among this plethora of what we can think of as ‘mere dispositions’ is a subset of dispositions in whose realizations we have an interest – a car responding well when driven on ice, a rabbit’s lungs responding well when it is chased by a wolf, and so on. We (...)
    Download  
     
    Export citation  
     
    Bookmark