Results for 'upper-level ontology'

936 found
Order:
  1. On Classifying Material Entities in Basic Formal Ontology.Barry Smith - 2010 - In Barry Smith, Riichiro Mizoguchi & Sumio Nakagawa (eds.), Interdisciplinary Ontology, Vol. 3: Proceedings of the Third Interdisciplinary Ontology Meeting. Tokyo: 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  
  2. (1 other version)GOL: A general ontological language.Wolfgang Degen, Barbara Heller, Heinrich Herre & Barry Smith - 2001 - In Barry Smith & Christopher Welty (eds.), Formal Ontology in Information Systems (FOIS). 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  
  3. Applying the Realism-Based Ontology-Versioning Method for Tracking Changes in the Basic Formal Ontology.Selja Seppälä, Barry Smith & Werner Ceusters - 2014 - In Paweł Garbacz & Oliver Kutz (eds.), Formal Ontology in Information Systems: Proceedings of the Eighth International Conference. 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  
  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. Against idiosyncrasy in ontology development.Barry Smith - 2001 - In Barry Smith & Christopher Welty (eds.), Formal Ontology in Information Systems (FOIS). ACM 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  
  6. 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  
  7. 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  
  8. 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  
  9. 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  
  10. 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  
  11. 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  
  12. 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  
  13. 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  
  14. 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   1 citation  
  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. 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  
  17. 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. New York, NY: 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  
  18. 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  
  19. Towards Interoperability of Biomedical Ontologies - Report Number 07132.Mark Musen, Michael Schroeder & Barry Smith - 2008 - In Musen Mark, A. Schroeder, Michael Smith & Barry (eds.), Towards Interoperability of Biomedical Ontologies. Schloss Dagstuhl: Leibniz-Zentrum für 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  
  20. 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   8 citations  
  21. 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  
  22. 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  
  23. 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  
  24. 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  
  25. (1 other version)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  
  26. (1 other version)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  
  27. 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  
  28. 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   5 citations  
  29. 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  
  30. Protein Ontology: A controlled structured network of protein entities.A. Natale Darren, N. Arighi Cecilia, A. Blake Judith, J. Bult Carol, R. Christie Karen, Cowart Julie, D’Eustachio Peter, D. Diehl Alexander, J. Drabkin Harold, Helfer Olivia, Barry Smith & Others - 2013 - Nucleic Acids Research 42 (1):D415-21..
    The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. 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  
  32. Formal ontology for biomedical knowledge systems integration.J. M. Fielding, J. Simon & Barry Smith - 2004 - Proceedings of Euromise:12-17.
    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 will greatly benefit software application ontologies. To this end LinKBase®, 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, we aim to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. 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  
  34. The Ontological Status of Species and The Dilemma of New Biological Essentialism.Huitong Zhou - manuscript
    Species is one of the most basic concepts for almost all branches of biology, and it is also one of the most controversial concepts. An important aspect of "the species problem" is the question of "what the ontological status of species is". Traditionally, the answer to the issue about "the ontological status of species" is biological essentialism. Biological essentialism claims that species is a "natural kind", which argues that all and only the members of a species have a common essence. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Ontology and geographic objects: An empirical study of cognitive categorization.David M. Mark, Barry Smith & Barbara Tversky - 1999 - In Freksa C. & Mark David M. (eds.), Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science (Lecture Notes in Computer Science 1661). pp. 283-298.
    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   12 citations  
  36. (2 other versions)Levels of Description and Levels of Reality: A General Framework.Christian List - forthcoming - In Alastair Wilson & Katie Robertson (eds.), Levels of Explanation. Oxford University Press.
    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  
  37. 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  
  38. The Industrial Ontologies Foundry (IOF) Core Ontology.Milos Drobnjakovic, Boonserm Kulvatunyou, Farhad Ameri, Chris Will, Barry Smith & Albert Jones - 2022 - FOMI 2022: 12th International Workshop on Formal Ontologies Meet Industry, September 12-15, 2022, Tarbes, France.
    The Industrial Ontologies Foundry (IOF) was formed to create a suite of interoperable ontologies. Ontologies that would serve as a foundation for data and information interoperability in all areas of manufacturing. To ensure that each ontology is developed in a structured and mutually coherent manner, the IOF has committed to the tiered architecture of ontology building based on the Basic Formal Ontology (BFO) as top level. One of the critical elements of a successful tiered architecture build (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. 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  
  40. Logic-Language-Ontology.Urszula B. Wybraniec-Skardowska - 2022 - Cham, Switzerland: Springer Nature, Birkhäuser, Studies in Universal Logic series.
    The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. 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  
  42. A method for re-engineering a thesaurus into an ontology.D. Kless, L. Jansen, J. Lindenthal & J. Wiebensohn - 2012 - In Maureen Donnelly & Giancarlo Guizzardi (eds.), Formal Ontology and Information Systems. IOS. pp. 133-146.
    The construction of complex ontologies can be facilitated by adapting existing vocabularies. There is little clarity and in fact little consensus as to what modifications of vocabularies are necessary in order to re-engineer them into ontologies. In this paper we present a method that provides clear steps to follow when re-engineering a thesaurus. The method makes use of top-level ontologies and was derived from the structural differences between thesauri and ontologies as well as from best practices in modeling, some (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  43. 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  
  44. 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  
  45. 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  
  46. (1 other version)Peer Review Report: Ontologies Relevant to Behaviour Change Interventions, version 1.Robert M. Kelly, David Limbaugh & Barry Smith - 2020 - Human Behaviour Change Project.
    In “Ontologies Relevant to behaviour change interventions: A Method for their Development” Wright, et al. outline a step by step process for building ontologies of behaviour modification – what the authors call the Refined Ontology Developmental Method (RODM) – and demonstrate its use in the development of the Behaviour Change Intervention Ontology (BCIO). RODM is based on the principles of good ontology building used by the Open Biomedical Ontology (OBO) Foundry in addition to those outlined in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. 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  
  48. 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  
  49. (1 other version)Classifying Processes: An Essay in Applied Ontology.Barry Smith - 2012 - Ratio 25 (4):463-488.
    We begin by describing recent developments in the burgeoning discipline of applied ontology, focusing especially on the ways ontologies are providing a means for the consistent representation of scientific data. We then introduce Basic Formal Ontology (BFO), a top-level ontology that is serving as domain-neutral framework for the development of lower level ontologies in many specialist disciplines, above all in biology and medicine. BFO is a bicategorial ontology, embracing both three-dimensionalist (continuant) and four-dimensionalist (occurrent) (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  50. Interoperability of disparate engineering domain ontologies using Basic Formal Ontology.Thomas J. Hagedorn, Barry Smith, Sundar Krishnamurty & Ian R. Grosse - 2019 - Journal of Engineering Design 31.
    As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and functionally difficult (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 936