Results for 'Basic Formal Ontology (BFO)'

24 found
Order:
  1. 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  
  2. Functions in Basic Formal Ontology.Andrew 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   3 citations  
  3. 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   4 citations  
  4. 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  
  5.  54
    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.  48
    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  
  7. 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   5 citations  
  8.  32
    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  
  9.  27
    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  
  10.  92
    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   1 citation  
  11. 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  
  12.  16
    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  
  13. 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  
  14.  24
    Dealing with Elements of Medical Encounters: An Approach Based on Ontological Realism.Farinelli Fernanda, Almeida Mauricio, Elkin Peter & Barry Smith - 2016 - Proceedings of the Joint International Conference on Biological Ontology and Biocreative 1747.
    Electronic health records (EHRs) serve as repositories of documented data collected in a health care encounter. An EHR records information about who receives, who provides the health care and about the place where the encounter happens. We also observe additional elements relating to social relations in which the healthcare consumer is involved. To provide a consensus representation of common data and to enhance interoperability between different EHR repositories we have created a solution grounded in formal ontology. Here, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15.  82
    The Planteome Database: An Integrated Resource for Reference Ontologies, Plant Genomics and Phenomics.Laurel Cooper, Austin Meier, Marie-Angélique Laporte, Justin L. Elser, Chris Mungall, Brandon T. Sinn, Dario Cavaliere, Seth Carbon, Nathan A. Dunn, Barry Smith, Botong Qu, Justin Preece, Eugene Zhang, Sinisa Todorovic, Georgios Gkoutos, John H. Doonan, Dennis W. Stevenson, Elizabeth Arnaud & Pankaj Jaiswal - 2018 - Nucleic Acids Research 46 (D1):D1168–D1180.
    The Planteome project provides a suite of reference and species-specific ontologies for plants and annotations to genes and phenotypes. Ontologies serve as common standards for semantic integration of a large and growing corpus of plant genomics, phenomics and genetics data. The reference ontologies include the Plant Ontology, Plant Trait Ontology, and the Plant Experimental Conditions Ontology developed by the Planteome project, along with the Gene Ontology, Chemical Entities of Biological Interest, Phenotype and Attribute Ontology, and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16.  37
    BFO and DOLCE: So Far, So Close….Nicola Guarino - 2017 - Cosmos + Taxis 4 (4):10-18.
    A survey of the similarities and differences between BFO and DOLCE, and of the mutual interactions between Nicola Guarino and Barry Smith.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  51
    Interdisciplinary Perspectives on the Development, Integration and Application of Cognitive Ontologies.Janna Hastings, Gwen Alexandra Frishkoff, Barry Smith, Mark Jensen, Russell Poldrack, Jessica Turner, Jane Lomax, Anita Bandrowski, Fahim Imam, Jessica A. Turner & Maryann E. Martone - 2014 - Frontiers in Neuroinformatics 8 (62):1-7.
    We discuss recent progress in the development of cognitive ontologies and summarize three challenges in the coordinated development and application of these resources. Challenge 1 is to adopt a standardized definition for cognitive processes. We describe three possibilities and recommend one that is consistent with the standard view in cognitive and biomedical sciences. Challenge 2 is harmonization. Gaps and conflicts in representation must be resolved so that these resources can be combined for mark-up and interpretation of multi-modal data. Finally, Challenge (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18.  92
    Permanent Generic Relatedness and Silent Change.Niels Grewe, Ludger Jansen & Barry Smith - 2016 - In Formal Ontology and Information Systems. CEUR, Vol. 1060. pp. 1-5.
    Given the assertion of a relation between two types, like: “Epidermis has part some Keratinocyte”, we define silent change as any kind of change of the instance-relata of the relation in question that does not change the truth-value of the respective type-level assertion. Such assertions are notoriously difficult to model in OWL 2. To address this problem, we distinguish different modes of type-level relatedness giving rise to this problem and describe a conservative extension to the BFO top-level ontology that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. Malaria Diagnosis and the Plasmodium Life Cycle: The BFO Perspective.Werner Ceusters & Barry Smith - 2010 - In Interdisciplinary Ontology. Proceedings of the Third Interdisciplinary Ontology Meeting. Tokyo: Keio University Press. pp. 25-34.
    Definitive diagnosis of malaria requires the demonstration through laboratory tests of the presence within the patient of malaria parasites or their components. Since malaria parasites can be present even in the absence of malaria manifestations, and since symptoms of malaria can be manifested even in the absence of malaria parasites, malaria diagnosis raises important issues for the adequate understanding of disease, etiology and diagnosis. One approach to the resolution of these issues adopts a realist view, according to which the needed (...)
    Download  
     
    Export citation  
     
    Bookmark  
  20.  53
    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  
  21.  33
    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  
  22. 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  
  23.  20
    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  
  24. Negative Findings in Electronic Health Records and Biomedical Ontologies: A Realist Approach.Werner Ceusters, Peter Elkin & Barry Smith - 2007 - International Journal of Medical Informatics 76 (3):S326-S333.
    PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations