Results for 'Basic Formal Ontology'

1000+ found
Order:
  1. 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 each of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  2. An Axiomatisation of Basic Formal Ontology with Projection Functions.Kerry Trentelman, Alan Ruttenberg & Barry Smith - 2010 - In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide. pp. 71-80.
    This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. 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   4 citations  
  4. 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   17 citations  
  5. Basic Formal Ontology for Bioinformatics.Barry Smith, Anand Kumar & Thomas Bittner - 2005 - IFOMIS Reports.
    Two senses of ‘ontology’ can be distinguished in the current literature. First is the sense favored by information scientists, who view ontologies as software implementations designed to capture in some formal way the consensus conceptualization shared by those working on information systems or databases in a given domain. [Gruber 1993] Second is the sense favored by philosophers, who regard ontologies as theories of different types of entities (objects, processes, relations, functions) [Smith 2003]. Where information systems ontologists seek to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Normalizing Medical Ontologies Using Basic Formal Ontology.Thomas Bittner & Barry Smith - 2004 - In K. Versorgung & V. Forschung (eds.), Ubiquitäre Information (Proceedings of GMDS 2004). Videel OHG. pp. 199-201.
    Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Basic Concepts of Formal Ontology.Barry Smith - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. IOS Press. pp. 19-28.
    The term ‘formal ontology’ was first used by the philosopher Edmund Husserl in his Logical Investigations to signify the study of those formal structures and relations – above all relations of part and whole – which are exemplified in the subject-matters of the different material sciences. We follow Husserl in presenting the basic concepts of formal ontology as falling into three groups: the theory of part and whole, the theory of dependence, and the theory (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  8. 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 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 upper (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. 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) and Evolutionary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11.  59
    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,. Ponta Grossa, Brazil: 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 and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. 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 to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  13.  87
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Biodynamic Ontology: Applying BFO in the Biomedical Domain.Barry Smith, Pierre Grenon & Louis Goldberg - 2004 - Studies in Health and Technology Informatics 102:20–38.
    Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  15. Ontology-Based Fusion of Sensor Data and Natural Language.Erik Thomsen & Barry Smith - 2018 - Applied Ontology 13 (4):295-333.
    We describe a prototype ontology-driven information system (ODIS) that exploits what we call Portion of Reality (POR) representations. The system takes both sensor data and natural language text as inputs and composes on this basis logically structured POR assertions. The goal of our prototype is to represent both natural language and sensor data within a single framework that is able to support both axiomatic reasoning and computation. In addition, the framework should be capable of discovering and representing new kinds (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. 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   10 citations  
  17. The Ontology for Biomedical Investigations.Anita Bandrowski, Ryan Brinkman, Mathias Brochhausen, Matthew H. Brush, Bill Bug, Marcus C. Chibucos, Kevin Clancy, Mélanie Courtot, Dirk Derom, Michel Dumontier, Liju Fan, Jennifer Fostel, Gilberto Fragoso, Frank Gibson, Alejandra Gonzalez-Beltran, Melissa A. Haendel, Yongqun He, Mervi Heiskanen, Tina Hernandez-Boussard, Mark Jensen, Yu Lin, Allyson L. Lister, Phillip Lord, James Malone, Elisabetta Manduchi, Monnie McGee, Norman Morrison, James A. Overton, Helen Parkinson, Bjoern Peters, Philippe Rocca-Serra, Alan Ruttenberg, Susanna-Assunta Sansone, Richard H. Scheuermann, Daniel Schober, Barry Smith, Larisa N. Soldatova, Christian J. Stoeckert, Chris F. Taylor, Carlo Torniai, Jessica A. Turner, Randi Vita, Patricia L. Whetzel & Jie Zheng - 2016 - PLoS ONE 11 (4):e0154556.
    The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  18. 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   46 citations  
  19. Foundation for a Realist Ontology of Cognitive Processes.David Kasmier, David Limbaugh & Barry Smith - 2019 - In 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 a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  44
    本体:广谱的知识集成工具.Barry Smith - 2020 - In 基于基本形式化本体的本体构建. Beijing: pp. 4-8.
    Ontology: Tool for Broad Spectrum Knowledge Integration (Foreword to Chinese translation of Building Ontologies with Basic Formal Ontology).
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  21. Foundations for a Realist Ontology of Mental Disease.Werner Ceusters & Barry Smith - 2010 - Journal of Biomedical Semantics 1 (10):1-23.
    While classifications of mental disorders have existed for over one hundred years, it still remains unspecified what terms such as 'mental disorder', 'disease' and 'illness' might actually denote. While ontologies have been called in aid to address this shortfall since the GALEN project of the early 1990s, most attempts thus far have sought to provide a formal description of the structure of some pre-existing terminology or classification, rather than of the corresponding structures and processes on the side of the (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  22. Ontology as Product-Service System: Lessons Learned From GO, BFO and DOLCE.Barry Smith - 2019 - In Proceedings of the 10th International Conference on Biomedical Ontology (ICBO), Buffalo, NY.
    This paper defends a view of the Gene Ontology (GO) and of Basic Formal Ontology (BFO) as examples of what the manufacturing industry calls product-service systems. This means that they are products (the ontologies) bundled with a range of ontology services such as updates, training, help desk, and permanent identifiers. The paper argues that GO and BFO are contrasted in this respect with DOLCE, which approximates more closely to a scientific theory or a scientific publication. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Ontology for the Intelligence Analyst.Barry Smith - 2012 - CrossTalk 14 (Nov/Dec):18-25.
    As available intelligence data and information expand in both quantity and variety, new techniques must be deployed for search and analytics. One technique involves the semantic enhancement of data through the creation of what are called ‘ontologies’ or ‘controlled vocabularies.’ When multiple different bodies of heterogeneous data are tagged by means of terms from common ontologies, then these data become linked together in ways which allow more effective retrieval and integration. We describe a simple case study to show how these (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  24. Development of a Manufacturing Ontology for Functionally Graded Materials.Francesco Furini, Rahul Rai, Barry Smith, Georgio Colombo & Venkat Krovi - 2016 - In Proceedings of International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC/CIE).
    The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovation. We believe that ontology applied to engineering (OE) represents a viable strategy for (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  91
    Dispositions and the Infectious Disease Ontology.Albert Goldfain, Barry Smith & Lindsay Cowell - 2010 - In Formal Ontology in Information Systems: Proceedings of the Sixth International Conference (FOIS). IOS Press. pp. 400-413.
    This paper addresses the use of dispositions in the Infectious Disease Ontology (IDO). IDO is an ontology constructed according to the principles of the Open Biomedical Ontology (OBO) Foundry and uses the Basic Formal Ontology (BFO) as an upper ontology. After providing a brief introduction to disposition types in BFO and IDO, we discuss three general techniques for representing combinations of dispositions under the headings blocking dispositions, complementary dispositions, and collective dispositions. Motivating examples (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  26.  88
    Semantics in Support of Biodiversity: An Introduction to the Biological Collections Ontology and Related Ontologies.Ramona L. Walls, John Deck, Robert Guralnik, Steve Baskauf, Reed Beaman, Stanley Blum, Shawn Bowers, Pier Luigi Buttigieg, Neil Davies, Dag Endresen, Maria Alejandra Gandolfo, Robert Hanner, Alyssa Janning, Barry Smith & Others - 2014 - PLoS ONE 9 (3):1-13.
    The study of biodiversity spans many disciplines and includes data pertaining to species distributions and abundances, genetic sequences, trait measurements, and ecological niches, complemented by information on collection and measurement protocols. A review of the current landscape of metadata standards and ontologies in biodiversity science suggests that existing standards such as the Darwin Core terminology are inadequate for describing biodiversity data in a semantically meaningful and computationally useful way. Existing ontologies, such as the Gene Ontology and others in the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  85
    VO: Vaccine Ontology.Yongqun He, Lindsay Cowell, Alexander D. Diehl, H. L. Mobley, Bjoern Peters, Alan Ruttenberg, Richard H. Scheuermann, Ryan R. Brinkman, Melanie Courtot, Chris Mungall, Barry Smith & Others - 2009 - In ICBO 2009: Proceedings of the First International Conference on Biomedical Ontology. Buffalo:
    Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. 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  
  29. Some Formal Moments of Truth.Barry Smith - 1982 - In Werner Leinfellner (ed.), Language and Ontology. Vienna: Hölder-Pichler-Tempsky / Reidel. pp. 186-90.
    A preliminary statement of the formal theory of the truthmaker relation advanced in the paper “Truth-makers” (Mulligan, Simons and Smith) in 1984. Correspondence theories of truth have. I give a brief account of some more or less obvious formal characteristics of this almost forgotten basic truthmaker relation. I then attempt to show how this account may be extended to provide elements of a theory of truth which is in keeping with the spirit of Wittgenstein’s Tractatus.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  30. An Evolutionary Approach to Realism-Based Adverse Event Representations.Werner Ceusters, Maria Capolupo, G. De Moor, J. Devlies & Barry Smith - 2011 - Methods of Information in Medicine 50 (1):62-73.
    One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Instantiation and Characterization: Problems in Lowe's Four-Category Ontology.Markku Keinänen - 2018 - In Timothy Tambassi (ed.), Studies in the Ontology of E.J. Lowe. Neunkirchen-Seelscheid: Editiones Scholasticae. pp. 109-124.
    According to Lowe’s Four-Category Ontology, the general nature of the entities belonging to the four fundamental categories is determined by the basic formal ontological relations (instantiation and characterization) that they bear to other entities. I argue that, in closer analysis, instead of one formal relation of characterization, this category system introduces two, one connecting particulars and another universals. With regard to the characterization relation connecting particulars, it remains an open issue whether it would need further analysis. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Kind Instantiation and Kind Change - A Problem for Four-Category Ontology.Markku Keinänen & Jani Hakkarainen - 2017 - Studia Neoaristotelica 14 (2):139-165.
    In Lowe’s Four-Category Ontology, instantiation is a basic formal ontological relation between particulars (objects, modes) and their kinds (kinds, attributes). Therefore, instantiation must be considered as a metaphysically necessary relation, which also rules out the metaphysical possibility of kind change. Nevertheless, according to Lowe, objects obtain their identity conditions in a more general level than specific natural kinds, which allows for kind change. There also seems to be actual examples of kind change. The advocate of Four-Category (...) is obliged to resolve the tension between these mutually incompatible claims. In this article, we argue that the only viable option for the advocate of Four-Category Ontology is to bite the bullet and stick to the necessity of each of the most specific natural kind to the object instantiating it. As a major drawback, the four-category ontologist does not have any credible means to allow for kind change or determination of the identity conditions in a more general level. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  33. Toward an Ontology of Commercial Exchange.Jonathan Vajda, Eric Merrell & Barry Smith - 2019 - In Proceedings of the Joint Ontology Workshops (JOWO), Graz.
    In this paper we propose an Ontology of Commercial Exchange (OCE) based on Basic Formal Ontology. OCE is designed for re-use in the Industrial Ontologies Foundry (IOF) and in other ontologies addressing different aspects of human social behavior involving purchasing, selling, marketing, and so forth. We first evaluate some of the design patterns used in the Financial Industry Business Ontology (FIBO) and Product Types Ontology (PTO). We then propose terms and definitions that we believe (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34.  58
    Ontobull and BFOConvert: Web-Based Programs to Support Automatic Ontology Conversion.Ong Edison: Xiang, Zheng Jie, Barry Smith & He Yongqun - 2016 - Proceedings of the Joint International Conference on Biological Ontology and Biocreative 1747.
    When a widely reused ontology appears in a new version which is not compatible with older versions, the ontologies reusing it need to be updated accordingly. Ontobull has been developed to automatically update ontologies with new term IRI(s) and associated metadata to take account of such version changes. To use the Ontobull web interface a user is required to (i) upload one or more ontology OWL source files; (ii) input an ontology term IRI mapping; and (where needed) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. 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 a way (...)
    Download  
     
    Export citation  
     
    Bookmark  
  36. LinkSuite™: Software Tools for Formally Robust Ontology-Based Data and Information Integration.Werner Ceusters, Barry Smith & James Matthew Fielding - 2004 - In Proceedings of DILS 2004 (Data Integration in the Life Sciences), (Lecture Notes in Bioinformatics, 2994). Springer. pp. 1-16.
    The integration of information resources in the life sciences is one of the most challenging problems facing bioinformatics today. We describe how Language and Computing nv, originally a developer of ontology-based natural language understanding systems for the healthcare domain, is developing a framework for the integration of structured data with unstructured information contained in natural language texts. L&C’s LinkSuite™ combines the flexibility of a modular software architecture with an ontology based on rigorous philosophical and logical principles that is (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  37.  24
    基于基本形式化本体的本体构建.Robert Arp, Barry Smith & Andrew D. Spear - 2020 - Beijing: 人民卫生出版社 (People's Medical Publishing House).
    In the era of “big data,” science is increasingly information driven, and the potential for computers to store, manage, and integrate massive amounts of data has given rise to such new disciplinary fields as biomedical informatics. Applied ontology offers a strategy for the organization of scientific information in computer-tractable form, drawing on concepts not only from computer and information science but also from linguistics, logic, and philosophy. This book provides an introduction to the field of applied ontology that (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38.  93
    Trouble Up at T’Ontological Mill: An Inconclusive Dialog.Peter Simons - 2017 - Cosmos + Taxis 4 (4):64-66.
    Grenon and Smith (2004) propose a framework for the ontology of things in space and time involving and invoking the distinction between continuants and occurrents, which has become a key element of Basic Formal Ontology (BFO). The terminology of SNAP (from “snapshot:” state of a continuant at a time) and SPAN (how an occurrent develops over an interval or timespan) occurs in that paper’s title. While any commonsense ontology will have a place for both continuants (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39.  86
    OHMI: The Ontology of Host-Microbiome Interactions.Yongqun He, Haihe Wang, Jie Zheng, Daniel P. Beiting, Anna Maria Masci, Hong Yu, Kaiyong Liu, Jianmin Wu, Jeffrey L. Curtis, Barry Smith, Alexander V. Alekseyenko & Jihad S. Obeid - 2019 - Journal of Biomedical Semantics 10 (1):1-14.
    Host-microbiome interactions (HMIs) are critical for the modulation of biological processes and are associated with several diseases, and extensive HMI studies have generated large amounts of data. We propose that the logical representation of the knowledge derived from these data and the standardized representation of experimental variables and processes can foster integration of data and reproducibility of experiments and thereby further HMI knowledge discovery. A community-based Ontology of Host-Microbiome Interactions (OHMI) was developed following the OBO Foundry principles. OHMI leverages (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Joint Doctrine Ontology: A Benchmark for Military Information Systems Interoperability.Peter Morosoff, Ron Rudnicki, Jason Bryant, Robert Farrell & Barry Smith - 2015 - In Semantic Technology for Intelligence, Defense and Security (STIDS). CEUR vol. 1325. pp. 2-9.
    When the U.S. conducts warfare, elements of a force are drawn from different services and work together as a single team to accomplish an assigned mission. To achieve such unified action, it is necessary that the doctrines governing the actions of members of specific services be both consistent with and subservient to joint Doctrine. Because warfighting today increasingly involves not only live forces but also automated systems, unified action requires that information technology that is used in joint warfare must be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41.  40
    An Evolutionary Approach to the Representation of Adverse Events.Werner Ceusters, Maria Capolupo, Barry Smith & Georges De Moor - 2009 - Studies in Health Technology and Informatics 150:537-541.
    One way to detect, monitor and prevent adverse events with the help of Information Technology is by using ontologies capable of representing three levels of reality: what is the case, what is believed about reality, and what is represented. We report on how Basic Formal Ontology and Referent Tracking exhibit this capability and how they are used to develop an adverse event ontology and related data annotation scheme for the European ReMINE project.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  42. Basic Problems of Mereotopology.Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. pp. 29–38.
    Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  43. A Visual Representation of Part-Whole Relationships in BFO-Conformant Ontologies.Jose M. Parente de Oliveira & Barry Smith - 2017 - In Á Rocha, A. M. Correia, H. Adeli, L. P. Reis & S. Costanzo (eds.), Recent Advances in Information Systems and Technologies (Advances in Intelligent Systems and Computing, 569). New York: Springer. pp. 184-194.
    In the visual representation of ontologies, in particular of part-whole relationships, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations, and we propose instead a new representation of part-whole structures for ontologies, and describe the results of experiments designed to show the effectiveness of this new proposal especially as concerns reduction of visual complexity. The proposal is developed to serve visualization of ontologies conformant to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  44. Formal Ontology, Common Sense, and Cognitive Science.Barry Smith - 1995 - International Journal of Human-Computer Studies 43 (5-6):641–667.
    Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  45. A Formal Ontology of Artefacts.Gilles Kassel - 2010 - Applied Ontology 5 (3):223-246.
    This article presents a formal ontology which accounts for the general nature of artefacts. The objective is to help structure application ontologies in areas where specific artefacts are present - in other words, virtually any area of activity. The conceptualization relies on recent philosophical and psychological research on artefacts, having resulted in a largely consensual theoretical basis. Furthermore, this ontology of artefacts extends the foundational DOLCE ontology and supplements its axiomatization. The conceptual primitives are as follows: (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  90
    Enriching the Functionally Graded Materials (FGM) Ontology for Digital Manufacturing.Munira Mohd Ali, Ruoyu Yang, Binbin Zhang, Francesco Furini, Rahul Rai, J. Neil Otte & Barry Smith - 2020 - International Journal of Production Research:1-18.
    Functionally graded materials (FGMs) have been used in many different kinds of applications in recent years and have attracted significant research attention. However, we do not yet have a commonly accepted way of representing the various aspects of FGMs. Lack of standardised vocabulary creates obstacles to the extraction of useful information relating to pertinent aspects of different applications. A standard resource is needed for describing various elements of FGMs, including existing applications, manufacturing techniques, and material characteristics. This motivated the creation (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Endurants and Perdurants in Directly Depicting Ontologies.Thomas Bittner, Maureen Donnelly & Barry Smith - 2004 - AI Communications 13 (4):247–258.
    We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  48. Framework for Formal Ontology.Barry Smith & Kevin Mulligan - 1983 - Topoi 2 (1):73-85.
    The discussions which follow rest on a distinction, first expounded by Husserl, between formal logic and formal ontology. The former concerns itself with (formal) meaning-structures; the latter with formal structures amongst objects and their parts. The paper attempts to show how, when formal ontological considerations are brought into play, contemporary extensionalist theories of part and whole, and above all the mereology of Leniewski, can be generalised to embrace not only relations between concrete objects and (...)
    Download  
     
    Export citation  
     
    Bookmark   49 citations  
  49.  54
    Ontology of Common Sense Geographic Phenomena: Foundations for Interoperable Multilingual Geospatial Databases.David M. Mark, Barry Smith & Berit Brogaard - 2000 - In 3rd AGILE Conference on Geographic Information Science. pp. 32-34.
    Information may be defined as the conceptual or communicable part of the content of mental acts. The content of mental acts includes sensory data as well as concepts, particular as well as general information. An information system is an external (non-mental) system designed to store such content. Information systems afford indirect transmission of content between people, some of whom may put information into the system and others who are among those who use the system. In order for communication to happen, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. Logic and Formal Ontology.Barry Smith - 2000 - Manuscrito 23 (2):275-323.
    Revised version of chapter in J. N. Mohanty and W. McKenna (eds.), Husserl’s Phenomenology: A Textbook, Lanham: University Press of America, 1989, 29–67. -/- Logic for Husserl is a science of science, a science of what all sciences have in common in their modes of validation. Thus logic deals with universal laws relating to truth, to deduction, to verification and falsification, and with laws relating to theory as such, and to what makes for theoretical unity, both on the side of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
1 — 50 / 1000