Results for 'upper-level ontology'

1000+ found
Order:
  1. GOL: Toward an axiomatized upper-level ontology. IMISE Report.Wolfgang Degen, Barbary Haller, Heinrich Herre & Barry Smith - 2001 - In IMISE Report. Leipzig: IMISE.
    Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, and we outline an associated knowledge modelling language called GOL – for: General Ontological Language. It turns out that the upper-level ontology underlying well-known standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. On Classifying Material Entities in Basic Formal Ontology.Barry Smith - 2012 - In Interdisciplinary Ontology: Proceedings of the Third Interdisciplinary Ontology Meeting. Keio University Press. pp. 1-13.
    Basic Formal Ontology was created in 2002 as an upper-level ontology to support the creation of consistent lower-level ontologies, initially in the subdomains of biomedical research, now also in other areas, including defense and security. BFO is currently undergoing revisions in preparation for the release of BFO version 2.0. We summarize some of the proposed revisions in what follows, focusing on BFO’s treatment of material entities, and specifically of the category object.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  3. GOL: A general ontological language.Wolfgang Degen, Barbara Heller, Heinrich Herre & Barry Smith - 2001 - In Chris Welty & Barry Smith (eds.), Formal Ontology in Information Systems (FOIS). New York: ACM Press. pp. 34-46.
    Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  4. ARGO: Arguments Ontology.John Beverley, Neil Otte, Francesco Franda, Brian Donohue, Alan Ruttenberg, Jean-Baptiste Guillion & Yonatan Schreiber - manuscript
    Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Representing Mental Functioning: Ontologies for Mental Health and Disease.Janna Hastings, Werner Ceusters, Mark Jensen, Kevin Mulligan & Barry Smith - 2012 - In Janna Hastings, Werner Ceusters, Mark Jensen, Kevin Mulligan & Barry Smith (eds.), Towards an Ontology of Mental Functioning (ICBO Workshop). CEUR.
    Mental and behavioral disorders represent a significant portion of the public health burden in all countries. The human cost of these disorders is immense, yet treatment options for sufferers are currently limited, with many patients failing to respond sufficiently to available interventions and drugs. High quality ontologies facilitate data aggregation and comparison across different disciplines, and may therefore speed up the translation of primary research into novel therapeutics. Realism-based ontologies describe entities in reality and the relationships between them in such (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  6. Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppälä, Barry Smith & Werner Ceusters - 2014 - In P. Garbacz & O. Kutz (eds.), Formal Ontology in Information Systems (FOIS 2014). IOS Press. pp. 227-240.
    Changes in an upper level ontology have obvious conse-quences for the domain ontologies that use it at lower levels. It is therefore crucial to document the changes made between successive versions of ontologies of this kind. We describe and apply a method for tracking, explaining and measuring changes between successive versions of upper level ontologies such as the Basic Formal Ontology (BFO). The proposed change-tracking method extends earlier work on Realism-Based Ontology Versioning (RBOV) (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. A First-Order Logic Formalization of the Industrial Ontology Foundry Signature Using Basic Formal Ontology.Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte - 2019 - In Barry Smith, Farhad Ameri, Hyunmin Cheong, Dimitris Kiritsis, Dusan Sormaz, Chris Will & J. Neil Otte (eds.), ”, Proceedings of the Joint Ontology Workshops (JOWO), Graz.
    Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF (...) ontology descending from BFO. The axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Against idiosyncrasy in ontology development.Barry Smith - 2006 - In B. Bennett & C. Fellbaum (eds.), Formal Ontology in Information Systems (FOIS). Amsterdam: IOS Press. pp. 15-26.
    The world of ontology development is full of mysteries. Recently, ISO Standard 15926 (“Lifecycle Integration of Process Plant Data Including Oil and Gas Production Facilities”), a data model initially designed to support the integration and handover of large engineering artefacts, has been proposed by its principal custodian for general use as an upper level ontology. As we shall discover, ISO 15926 is, when examined in light of this proposal, marked by a series of quite astonishing defects, (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  9. SNOMED CT standard ontology based on the ontology for general medical science.Shaker El-Sappagh, Francesco Franda, Ali Farman & Kyung-Sup Kwak - 2018 - BMC Medical Informatics and Decision Making 76 (18):1-19.
    Background: Systematized Nomenclature of Medicine—Clinical Terms (SNOMED CT, hereafter abbreviated SCT) is acomprehensive medical terminology used for standardizing the storage, retrieval, and exchange of electronic healthdata. Some efforts have been made to capture the contents of SCT as Web Ontology Language (OWL), but theseefforts have been hampered by the size and complexity of SCT. Method: Our proposal here is to develop an upper-level ontology and to use it as the basis for defining the termsin SCT in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. SNAP and SPAN: Towards dynamic spatial ontology.Pierre Grenon & Barry Smith - 2004 - Spatial Cognition and Computation 4 (1):69–103.
    We propose a modular ontology of the dynamic features of reality. This amounts, on the one hand, to a purely spatial ontology supporting snapshot views of the world at successive instants of time and, on the other hand, to a purely spatiotemporal ontology of change and process. We argue that dynamic spatial ontology must combine these two distinct types of inventory of the entities and relationships in reality, and we provide characterizations of spatiotemporal reasoning in the (...)
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  11. Function, role and disposition in Basic Formal Ontology.Robert Arp & Barry Smith - 2008 - Proceedings of Bio-Ontologies Workshop, Intelligent Systems for Molecular Biology (ISMB), Toronto.
    Numerous research groups are now utilizing Basic Formal Ontology as an upper-level framework to assist in the organization and integration of biomedical information. This paper provides elucidation of the three existing BFO subcategories of realizable entity, namely function, role, and disposition. It proposes one further sub-category of tendency, and considers the merits of recognizing two sub-categories of function for domain ontologies, namely, artifactual and biological function. The motivation is to help advance the coherent ontological treatment of functions, (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  12. An Overview of the BFO - Basic Formal Ontology - and Its Applicability for Satellite Systems.Adolfo Americano Brandão & Geilson Loureiro - 2020 - In Franciele Braga Machado Tullio & Lucio Mauro Braga Machado (eds.), Ampliação e Aprofundamento de Conhecimentos nas Áreas das Engenharias,. Atena Editora. pp. 30-38.
    This work aims to present an overview of the top-level ontology BFO - Basic Formal Ontology - and its applicability for Satellite Systems. As an upper level ontology, the BFO was designed to be extended, providing the basis for the specification of detailed representational artifacts about scientific information domains. These aspects and the challenges of satellite systems complexity and large size compose a suitable scenario for the creation of a specialized dialect to improve efficiency (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  93
    Coordinating virus research: The Virus Infectious Disease Ontology.John Beverley, Shane Babcock, Gustavo Carvalho, Lindsay G. Cowell, Sebastian Duesing, Yongqun He, Regina Hurley, Eric Merrell, Richard H. Scheuermann & Barry Smith - 2024 - PLoS ONE 1.
    The COVID-19 pandemic prompted immense work on the investigation of the SARS-CoV-2 virus. Rapid, accurate, and consistent interpretation of generated data is thereby of fundamental concern. Ontologies––structured, controlled, vocabularies––are designed to support consistency of interpretation, and thereby to prevent the development of data silos. This paper describes how ontologies are serving this purpose in the COVID-19 research domain, by following principles of the Open Biological and Biomedical Ontology (OBO) Foundry and by reusing existing ontologies such as the Infectious Disease (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Archeology of Consciousness ↔ The Ontological Basification of Mathematics (Knowledge) ↔ The Nature of Consciousness. [REVIEW]Vladimir Rogozhin - manuscript
    A condensed summary of the adventures of ideas (1990-2020). Methodology of evolutionary-phenomenological constitution of Consciousness. Vector (BeVector) of Consciousness. Consciousness is a qualitative vector quantity. Vector of Consciousness as a synthesizing category, eidos-prototecton, intentional meta-observer. The development of the ideas of Pierre Teilhard de Chardin, Brentano, Husserl, Bergson, Florensky, Losev, Mamardashvili, Nalimov. Dialectic of Eidos and Logos. "Curve line" of the Consciousness Vector from space and time. The lower and upper sides of the "abyss of being". The existential tension (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Bridging mainstream and formal ontology: A causality-based upper ontology in Dietrich of Freiberg.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (2):35.
    Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  16. Levels of Ontology and Natural Language: the Case of the Ontology of Parts and Wholes.Friederike Moltmann - 2021 - In James Miller (ed.), The Language of Ontology. Oxford: Oxford University Press.
    It is common in contemporary metaphysics to distinguish two levels of ontology: the ontology of ordinary objects and the ontology of fundamental reality. This papers argues that natural language reflects not only the ontology of ordinary objects, but also a language-driven ontology, which is involved in the mass-count distinction and part-structure-sensitive semantic selection, as well as perhaps the light ontology of pleonastic entities. The paper recasts my older theory of situated part structures without situations, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  17. Levels: Descriptive, Explanatory, and Ontological.Christian List - 2019 - Noûs 53 (4):852-883.
    Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at the bottom? (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  18. Two Forms of Functional Reductionism in Physics.Lorenzo Lorenzetti - 2024 - Synthese 203 (2).
    Functional reductionism characterises inter-theoretic reduction as the recovery of the upper-level behaviour described by the reduced theory in terms of the lower-level reducing theory. For instance, finding a statistical mechanical realiser that plays the functional role of thermodynamic entropy allows for establishing a reductive link between thermodynamics and statistical mechanics. This view constitutes a unique approach to reduction that enjoys a number of positive features, but has received limited attention in the philosophy of science. -/- This paper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Causality as a partitioning principle for upper ontologies.Jobst Landgrebe - 2021 - Journal of Knowledge Structures and Systems 2 (2):36-40.
    In his “Bridging mainstream and formal ontology”, Augusto (2021) gives an excellent analysis of Dietrich von Freiberg’s idea of using causality as a partitioning principle for upper ontologies. For this Dietrich’s notion of extrinsic principles is crucial. The question whether causation can and indeed should be used as a partitioning principle for ontologies is discussed using mathematics and physics as examples.
    Download  
     
    Export citation  
     
    Bookmark  
  20. The 2006 Upper Ontology Summit Joint Communiqué.Leo Obrst, Patrick Cassidy, Steve Ray, Barry Smith, Dagobert Soergel, Matthew West & Peter Yim - 2006 - Applied ontology 1 (2):203-211.
    On March 14-15, 2006, at the US National Institute of Standards and Technology (NIST) in Gaithersburg, MD there took place the first Upper Ontology Summit (UOS). This was a convening of custodians of several prominent upper ontologies, key technology participants, and interested other parties, with the purpose of finding a means to relate the different ontologies to each other. The result is reflected in a joint communiqué, directed to the larger ontology community and the general public, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. Ontological theory for ontological engineering: Biomedical systems information integration.James M. Fielding, Jonathan Simon, Werner Ceusters & Barry Smith - 2004 - In Fielding James M., Simon Jonathan, Ceusters Werner & Smith Barry (eds.), Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), Whistler, BC, 2-5 June 2004. pp. 114–120.
    Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  22. DOLCE: A descriptive ontology for linguistic and cognitive engineering1.Stefano Borgo, Roberta Ferrario, Aldo Gangemi, Nicola Guarino, Claudio Masolo, Daniele Porello, Emilio M. Sanfilippo & Laure Vieu - 2022 - Applied ontology 17 (1):45-69.
    dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  23. Foundation for a Realist Ontology of Cognitive Processes.David Kasmier, David Limbaugh & Barry Smith - 2019 - In David Kasmier, David Limbaugh & Barry Smith (eds.), Proceedings of the International Conference on Biomedical Ontology (ICBO), University at Buffalo, NY.
    What follows is a first step towards an ontology of conscious mental processes. We provide a theoretical foundation and characterization of conscious mental processes based on a realist theory of intentionality and using BFO as our top-level ontology. We distinguish three components of intentional mental process: character, directedness, and objective referent, and describe several features of the process character and directedness significant to defining and classifying mental processes. We arrive at the definition of representational mental process as (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. The Ontology of Technology Beyond Anthropocentrism and Determinism: The Role of Technologies in the Constitution of the (post)Anthropocene World.Vincent Blok - 2022 - Foundations of Science 1:1-19.
    Because climate change can be seen as the blind spot of contemporary philosophy of technology, while the destructive side effects of technological progress are no longer deniable, this article reflects on the role of technologies in the constitution of the (post)Anthropocene world. Our first hypothesis is that humanity is not the primary agent involved in world-production, but concrete technologies. Our second hypothesis is that technological inventions at an ontic level have an ontological impact and constitutes world. As we object (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. Formal ontologies of space and time. IFOMIS Report.Thomas Bittner & Barry Smith - 2003 - In Thomas Bittner & Barry Smith (eds.), IFOMIS Report.
    We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes (occurrents) and the enduring entities (continuants) that participate in such processes. For this purpose we distinguish between meta-ontology and token ontologies. Token ontologies fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and result in distinct though compatible systems of categories. The meta-ontological level then describes the relationships between the different token (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Ontologies for the study of neurological disease.Alexander P. Cox, Mark Jensen, William Duncan, Bianca Weinstock-Guttman, Kinga Szigeti, Alan Ruttenberg, Barry Smith & Alexander D. Diehl - 2012 - In Alexander P. Cox, Mark Jensen, William Duncan, Bianca Weinstock-Guttman, Kinga Szigeti, Alan Ruttenberg, Barry Smith & Alexander D. Diehl (eds.), Towards an Ontology of Mental Functioning (ICBO Workshop), Third International Conference on Biomedical Ontology. Graz:
    We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27. The ontology of creation: towards a philosophical account of the creation of World in innovation processes.Vincent Blok - 2024 - Foundations of Science 29 (2):503-520.
    The starting point of this article is the observation that the emergence of the Anthropocene rehabilitates the need for philosophical reflections on the ontology of technology. In particular, if technological innovations on an ontic level of beings in the world are created, but these innovations at the same time _create_ the Anthropocene World at an ontological level, this raises the question how World creation has to be understood. We first identify four problems with the traditional concept of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Levels of the world. Limits and extensions of Nicolai hartmann’s and Werner heisenberg’s conceptions of levels.Gregor Schiemann - 2019 - HORIZON. Studies in Phenomenology 8 (1):103-122.
    The conception that the world can be represented as a system of levels of being can be traced back to the beginnings of European philosophy and has lost little of its plausibility in the meantime. One of the important modern conceptions of levels was developed by Nicolai Hartmann. It exhibits remarkable similarities and contrasts with the classification of the real developed by Werner Heisenberg in his paper Ordnung der Wirklichkeit (Order of Reality). In my contribution I will introduce these two (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. An Ontological Approach to Representing the Product Life Cycle.J. Neil Otte, Dimitris Kiritsi, Munira Mohd Ali, Ruoyu Yang, Binbin Zhang, Ron Rudnicki, Rahul Rai & Barry Smith - 2019 - Applied ontology 14 (2):1-19.
    The ability to access and share data is key to optimizing and streamlining any industrial production process. Unfortunately, the manufacturing industry is stymied by a lack of interoperability among the systems by which data are produced and managed, and this is true both within and across organizations. In this paper, we describe our work to address this problem through the creation of a suite of modular ontologies representing the product life cycle and its successive phases, from design to end of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  30. Towards Interoperability of Biomedical Ontologies - Report Number 07132.Mark Musen, Michael Schroeder & Barry Smith - 2008 - In Towards Interoperability of Biomedical Ontologies. Schloss Dagstuhl-Leibniz-Zentrum Fuer Informatik.
    The meeting focused on uses of ontologies, with a special focus on spatial ontologies, in addressing the ever increasing needs faced by biology and medicine to cope with ever expanding quantities of data. To provide effective solutions computers need to integrate data deriving from myriad heterogeneous sources by bringing the data together within a single framework. The meeting brought together leaders in the field of what are called "top-level ontologies" to address this issue, and to establish strategies among leaders (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Levels of Fundamentality in the Metaphysics of Physics.Karen Crowther - manuscript
    Within physics there are two ways of establishing the relative fundamentality of one theory compared to another, via two senses of reduction: "inter-level" and "intra-level" (Crowther, 2018). The former is standardly recognised as roughly correlating with the chain of ontological dependence (i.e., the phenomena described by theories of macro-physics are typically supposed to be ontologically dependent on the entities/behaviour described by theories of micro-physics), and thus has been of interest to naturalised metaphysics. The latter, though, has not been (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. Ontology-based integration of medical coding systems and electronic patient records.W. Ceusters, Barry Smith & G. De Moor - 2004 - IFOMIS Reports.
    In the last two decades we have witnessed considerable efforts directed towards making electronic healthcare records comparable and interoperable through advances in record architectures and (bio)medical terminologies and coding systems. Deep semantic issues in general, and ontology in particular, have received some interest from the research communities. However, with the exception of work on so-called ‘controlled vocabularies’, ontology has thus far played little role in work on standardization. The prime focus has been rather the rapid population of terminologies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Two Approaches to Ontology Aggregation Based on Axiom Weakening.Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani - 2018 - In Daniele Porello, Nicolaas Troquard, Oliver Kutz, Rafael Penaloza, Roberto Confalonieri & Pietro Galliani (eds.), Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden. pp. 1942--1948.
    Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  34. From Ontology of Interaction to Semiotics of Education.Eetu Pikkarainen - 2013 - In Kirsi Tirri & Elina Kuusisto (eds.), Interaction in Educational Domains. Sense Publishers. pp. 51-62.
    In this article I try to show that the most deep level ontology can have rich meaning for our understanding of such practical and everyday phenomena as education and interaction. With this deep level ontology I mean the problem of universals. Starting from famous traditional stances of realism and nominalism, which both are for the modern theories of growth and Bildung, I continue to the third and more recently developed ontological theory, trope theory according to which (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  35. Primitive Ontology and the Classical World.Valia Allori - 2016 - In R. Kastner, J. Jeknic-Dugic & G. Jaroszkiewicz (eds.), Quantum Structural Studies: Classical Emergence from the Quantum Level. World Scientific. pp. 175-199.
    In this paper I present the common structure of quantum theories with a primitive ontology, and discuss in what sense the classical world emerges from quantum theories as understood in this framework. In addition, I argue that the primitive ontology approach is better at answering this question than the rival wave function ontology approach or any other approach in which the classical world is nonreductively ‘emergent:’ even if the classical limit within this framework needs to be fully (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. Functions in Basic Formal Ontology.Andrew D. Spear, Werner Ceusters & Barry Smith - 2016 - Applied ontology 11 (2):103-128.
    The notion of function is indispensable to our understanding of distinctions such as that between being broken and being in working order (for artifacts) and between being diseased and being healthy (for organisms). A clear account of the ontology of functions and functioning is thus an important desideratum for any top-level ontology intended for application to domains such as engineering or medicine. The benefit of using top-level ontologies in applied ontology can only be realized when (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  37. Ontology of plays for autonomous teaming and collaboration.David Kasmier, Eric Merrell, Robert Kelly, Barry Smith, Curtis Heisey, Donald Evan Maki, Marc Brittain, Ronald Ankner & Kevin Bush - 2021 - Proceedings of the 14Th Seminar on Ontology Research in Brazil (Ontobras 2021), Ceur 3050, 9-22.
    We propose a domain-level ontology of plays for the facilitation of play-based collaborative autonomy among unmanned and manned-unmanned aircraft teams in the Army’s Unmanned Aircraft System (UAS) mission domain. We define a play as a type of plan that prescribes some pattern of intentional acts that are intended to reliably result in some goal in some competitive context, and which specifies one or more roles that are realized by those prescribed intentional acts. The ontology is well suited (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. Towards a Reference Terminology for Ontology Research and Development in the Biomedical Domain.Barry Smith, Waclaw Kusnierczyk, Daniel Schober, & Werner Ceusters - 2006 - In Barry Smith, Waclaw Kusnierczyk, Schober & Werner Ceusters (eds.), Proceedings of KR-MED, CEUR, vol. 222. pp. 57-65.
    Ontology is a burgeoning field, involving researchers from the computer science, philosophy, data and software engineering, logic, linguistics, and terminology domains. Many ontology-related terms with precise meanings in one of these domains have different meanings in others. Our purpose here is to initiate a path towards disambiguation of such terms. We draw primarily on the literature of biomedical informatics, not least because the problems caused by unclear or ambiguous use of terms have been there most thoroughly addressed. We (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  39. Ontological priority, fundamentality and monism.Matteo Morganti - 2009 - Dialectica 63 (3):271-288.
    In recent work, the interrelated questions of whether there is a fundamental level to reality, whether ontological dependence must have an ultimate ground, and whether the monist thesis should be endorsed that the whole universe is ontologically prior to its parts have been explored with renewed interest. Jonathan Schaffer has provided arguments in favour of 'priority monism' in a series of articles (2003, 2004, 2007a, 2007b, forthcoming). In this paper, these arguments are analysed, and it is claimed that they (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  40. Ontology of sentential moods.Berislav Žarnić - 2016 - In Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. pp. 323-339.
    In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Ontology of the False State: On the Relation Between Critical Theory, Social Philosophy, and Social Ontology.Italo Testa - 2015 - Journal of Social Ontology 1 (2):271-300.
    In this paper I will argue that critical theory needs to make its socio-ontological commitments explicit, whilst on the other hand I will posit that contemporary social ontology needs to amend its formalistic approach by embodying a critical theory perspective. In the first part of my paper I will discuss how the question was posed in Horkheimer’s essays of the 1930s, which leave open two options: (1) a constructive inclusion of social ontology within social philosophy, or else (2) (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Biomedical Terminologies and Ontologies: Enabling Biomedical Semantic Interoperability and Standards in Europe.Bernard de Bono, Mathias Brochhausen, Sybo Dijkstra, Dipak Kalra, Stephan Keifer & Barry Smith - 2009 - In Bernard de Bono, Mathias Brochhausen, Sybo Dijkstra, Dipak Kalra, Stephan Keifer & Barry Smith (eds.), European Large-Scale Action on Electronic Health.
    In the management of biomedical data, vocabularies such as ontologies and terminologies (O/Ts) are used for (i) domain knowledge representation and (ii) interoperability. The knowledge representation role supports the automated reasoning on, and analysis of, data annotated with O/Ts. At an interoperability level, the use of a communal vocabulary standard for a particular domain is essential for large data repositories and information management systems to communicate consistently with one other. Consequently, the interoperability benefit of selecting a particular O/T as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Ontological Foundations of Competition.Tiago Prince Sales, Daniele Porello, Nicola Guarino, Giancarlo Guizzardi & John Mylopoulos - 2018 - In Stefano Borgo, Pascal Hitzler & Oliver Kutz (eds.), Formal Ontology in Information Systems: Proceedings of the 10th International Conference (FOIS 2018). IOS Press. pp. 96-112.
    It is widely recognized that accurately identifying and classifying competitors is a challenge for many companies and entrepreneurs. Nonetheless, it is a paramount activity which provide valuable insights that affect a wide range of strategic decisions. One of the main challenges in competitor identification lies in the complex nature of the competitive relationships that arise in business envi- ronments. These have been extensively investigate over the years, which lead to a plethora of competition theories and frameworks. Still, the concept of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  45. Levels of Description and Levels of Reality: A General Framework.Christian List - manuscript
    This expository paper presents a general framework for representing levels and inter-level relations. The framework is intended to capture both epistemic and ontological notions of levels and to clarify the sense in which levels of explanation might or might not be related to a levelled ontology. The framework also allows us to study and compare different kinds of inter-level relations, especially supervenience and reduction but also grounding and mereological constitution. This, in turn, enables us to explore questions (...)
    Download  
     
    Export citation  
     
    Bookmark  
  46. The Ontology of Biological and Clinical Statistics (OBCS) for standardized and reproducible statistical analysis.Jie Zheng, Marcelline R. Harris, Anna Maria Masci, Lin Yu, Alfred Hero, Barry Smith & Yongqun He - 2016 - Journal of Biomedical Semantics 7 (53).
    Statistics play a critical role in biological and clinical research. However, most reports of scientific results in the published literature make it difficult for the reader to reproduce the statistical analyses performed in achieving those results because they provide inadequate documentation of the statistical tests and algorithms applied. The Ontology of Biological and Clinical Statistics (OBCS) is put forward here as a step towards solving this problem. Terms in OBCS, including ‘data collection’, ‘data transformation in statistics’, ‘data visualization’, ‘statistical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Formal Ontology for Natural Language Processing and the Integration of Biomedical Databases.Jonathan Simon, James M. Fielding, Mariana C. Dos Santos & Barry Smith - 2005 - International Journal of Medical Informatics 75 (3-4):224-231.
    The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  48. Ontological physicalism and property pluralism: Why they are incompatible.Robert Francescotti - 2000 - Pacific Philosophical Quarterly 81 (4):349-362.
    To earn the title “ontological physicalist,” one must endorse an entailment thesis of the following sort: the physical properties that are had, together with the causal laws, determine which higher-level properties are had. I argue that if this thesis is to capture all that is essential to physicalist intuitions, the relevant set of causal laws must be restricted to purely physical laws. But then it follows that higher-level properties are physical properties. The conclusion is that one cannot consistently (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Ontology and Geographic Kinds.Barry Smith & David M. Mark - 1998 - In T. Poiker & N. Chrisman (eds.), Proceedings of the 8th International Symposium on Spatial Data Handling. International Geographic Union. pp. 308-320.
    Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories to be similar to their non-geographic counterparts in (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  50. Social Space and the Ontology of Recognition.Italo Testa - 2011 - In Heikki Ikaheimo & Arto Laitinen (eds.), Recognition and Social Ontology. Leiden: Brill.
    In this paper recognition is taken to be a question of social ontology, regarding the very constitution of the social space of interaction. I concentrate on the question of whether certain aspects of the theory of recognition can be translated into the terms of a socio-ontological paradigm: to do so, I make reference to some conceptual tools derived from John Searle's social ontology and Robert Brandom's normative pragmatics. My strategy consists in showing that recognitive phenomena cannot be isolated (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 1000