Ontological Engineering Barry Smith Computers and Information in Engineering Conference, Buffalo August 19, 2014 1.

Slides:



Advertisements
Similar presentations
Lecture 2 Ontology and Logic. Aristotelian realism vs. Kantian constructivism Two grand metaphysical theories 20th-century analytic metaphysics dominated.
Advertisements

Species-Neutral vs. Multi-Species Ontologies Barry Smith.
Lecture 7 Towards a Standard Upper Level Ontology.
On the Future of the NeuroBehavior Ontology and Its Relation to the Mental Functioning Ontology Barry Smith
Goal and Status of the OBO Foundry Barry Smith. 2 Semantic Web, Moby, wikis, crowd sourcing, NLP, etc.  let a million flowers (and weeds) bloom  to.
Towards an Ontological Treatment of Disease and Diagnosis Barry Smith New York State Center of Excellence in Bioinformatics and Life Sciences University.
1 Introduction to Biomedical Ontology Barry Smith University at Buffalo
Welcome to the Second Annual Infectious Disease Ontology Workshop Generously supported by.
1 The OBO Foundry Towards Gold Standard Terminology Resources in the Biomedical Domain Thomas Bittner (based on a presentation by Barry Smith)
1 How Ontologies Create Research Communities Barry Smith
What is an ontology and Why should you care? Barry Smith with thanks to Jane Lomax, Gene Ontology Consortium 1.
Function, Role, and Disposition in Basic Formal Ontology Robert Arp and Barry Smith Ontology Research Group (ORG) National Center for.
1 The OBO Foundry 2 A prospective standard designed to guarantee interoperability of ontologies from the very start (contrast.
The Problem of Reusability of Biomedical Data OBO Foundry & HL7 RIM Barry Smith.
Underlying Ontologies for Biomedical work - The Relation Ontology (RO) and Basic Formal Ontology (BFO) Thomas Bittner SUNY Buffalo
Using Ontologies to Represent Immunological Networks Lindsay G. Cowell, Anne Lieberman, Anna Maria Masci Duke University Center for Computational Immunology.
1 Logical Tools and Theories in Contemporary Bioinformatics Barry Smith
The Future of Ontology in Buffalo Barry Smith 1.
AN INTRODUCTION TO BIOMEDICAL ONTOLOGY Barry Smith University at Buffalo 1.
VT. From Basic Formal Ontology to Medicine Barry Smith and Anand Kumar.
Room for Lunch: Arlington Room Room for Evening Reception: Grand Prairie Room.
New York State Center of Excellence in Bioinformatics & Life Sciences Biomedical Ontology in Buffalo Part I: The Gene Ontology Barry Smith and Werner Ceusters.
Why a Credit Card Number is Not a Number Barry Smith 1.
Building a Suite of Biomedical Ontologies Barry Smith 1.
The RNA Ontology RNAO Colin Batchelor Neocles Leontis May 2009 Eckart, Colin and Jane In Cambridge.
1 BIOLOGICAL DOMAIN ONTOLOGIES & BASIC FORMAL ONTOLOGY Barry Smith.
CoE Ontology Research Group (ORG) Barry Smith Center of Excellence in Bioinformatics and Life Sciences Ontology Research Group Department of Philosophy.
How to Organize the World of Ontologies Barry Smith 1.
New York State Center of Excellence in Bioinformatics & Life Sciences Biomedical Ontology in Buffalo Part I: The Gene Ontology Barry Smith and Werner Ceusters.
BFO and Disease Barry Smith Milan, September 4,
Infectious Disease Ontology Lindsay Cowell Department of Biostatistics and Bioinformatics Duke University Medical Center.
Building the Ontology Landscape for Cancer Big Data Research Barry Smith May 12, 2015.
UCore SL Training Event March 17, 2010 Presenters Barry Smith, , Lowell Vizenor, ,
Limning the CTS Ontology Landscape Barry Smith 1.
Stefan Schulz Medical Informatics Research Group
Ontology of Sensors: Some Examples from Biology
Ontological realism as a strategy for integrating ontologies Ontology Summit February 7, 2013 Barry Smith 1.
Lecture 3 BFO: A Standard Upper Level Ontology. 2 BFO als standard upper-level Ontologie Introduces Basic Formal Ontology (BFO) Shows how BFO is extended.
BFO, SNOMED and Disease Barry Smith IHTSDO, Bethesda, October 8,
Intelligence Ontology A Strategy for the Future Barry Smith University at Buffalo
Basic Building Blocks for Biomedical Ontologies Barry Smith 1.
BFO and Ontology Design Principles Barry Smith 1.
Brian Donohue, J. Neil Otte, and Barry Smith University at Buffalo November 2014.
Building Ontologies with Basic Formal Ontology Barry Smith May 27, 2015.
What is an ontology? Barry Smith 1.
Ontology of Disease and the OBO Foundry Chris Mungall NCBO GO Nov 2006.
Alan Ruttenberg PONS R&D Task force Alan Ruttenberg Science Commons.
BFO 2.0 Tutorial, Graz, July 23, 2012 Barry Smith and Alan Ruttenberg 1.
Introduction to Biomedical Ontology for Imaging Informatics Barry Smith, PhD, FACMI University at Buffalo May 11, 2015.
Towards an Ontology of Military Plans and Planning Barry Smith National Center for Ontological Research, Buffalo.
Biomedical Ontologies: The State of the Art Barry Smith and Werner Ceusters MIE, Sarajevo, August 30 1.
How to integrate data Barry Smith. The problem: many, many silos DoD spends more than $6B annually developing a portfolio of more than 2,000 business.
2 3 where in the body ? where in the cell ?
Ontology and the Semantic Web Barry Smith August 26,
Need for common standard upper ontology
What developers need to know about ontologies? Barry Smith 1.
Lecture 3 BFO: A Standard Upper Level Ontology. 2 The idea of ontological realism Before we build a data model we need to look at the reality we are trying.
New Foundations for Social Ontology Barry Smith 1.
Introduction to Biomedical Ontology for Imaging Informatics Barry Smith, PhD, FACMI University at Buffalo May 11, 2015.
1 An Introduction to Ontology for Scientists Barry Smith University at Buffalo
Information Artifact Ontology Barry Smith 1.
Immunology Ontology Rho Meeting October 10, 2013.
OBO Foundry Principles BFO RO Barry Smith 1. OBO Foundry Principles  open  common formal language (OBO Format, OWL DL, CL)  commitment to collaboration.
Basic Formal Ontology Barry Smith August 26, 2013.
Building Ontologies with Basic Formal Ontology Barry Smith May 27, 2015.
New York State Center of Excellence in Bioinformatics & Life Sciences R T U Buffalo Blue Cloud Health Information Center: the vision Werner Ceusters, MD.
1 Standards and Ontology Barry Smith
Why do we need upper ontologies? What are their purported benefits?
OBO Foundry Update: April 2010
Presentation transcript:

Ontological Engineering Barry Smith Computers and Information in Engineering Conference, Buffalo August 19,

GO is amazingly successful in overcoming problems of balkanization, especially for retrieval of data but it covers only generic biological entities of three sorts: – cellular components – molecular functions – biological processes and it does not provide representations of diseases, symptoms, anatomy, pathways, … 3

RELATION TO TIME GRANULARITY CONTINUANTOCCURRENT INDEPENDENTDEPENDENT ORGAN AND ORGANISM Organism (NCBI Taxonomy) Anatomical Entity (FMA, CARO) Organ Function (FMP, CPRO) Phenotypic Quality (PaTO) Biological Process (GO) CELL AND CELLULAR COMPONENT Cell (CL) Cellular Component (FMA, GO) Cellular Function (GO) MOLECULE Molecule (ChEBI, SO, RnaO, PrO) Molecular Function (GO) Molecular Process (GO) Original OBO Foundry ontologies (Gene Ontology in yellow) 4

RELATION TO TIME GRANULARITY CONTINUANTOCCURRENT INDEPENDENTDEPENDENT ORGAN AND ORGANISM Organism (NCBI Taxonomy) Anatomical Entity (FMA, CARO) Organ Function (FMP, CPRO) Phenotypic Quality (PaTO) Biological Process (GO) CELL AND CELLULAR COMPONENT Cell (CL) Cellular Component (FMA, GO) Cellular Function (GO) MOLECULE Molecule (ChEBI, SO, RnaO, PrO) Molecular Function (GO) Molecular Process (GO) Environment Ontology (EnvO) Environments 5

Anatomy Ontology (FMA*, CARO) Environment Ontology (ENVO) Infectious Disease Ontology (IDO*) Biological Process Ontology (GO*) Cell Ontology (CL) Cellular Component Ontology (FMA*, GO*) Phenotypic Quality Ontology (PATO) Subcellular Anatomy Ontology (SAO) Sequence Ontology (SO*) Molecular Function (GO*) Protein Ontology (PRO*) top level mid-level domain level Information Artifact Ontology (IAO) Ontology for Biomedical Investigations (OBI) Spatial Ontology (BSPO) Basic Formal Ontology (BFO) domain ontologies created by specialization from BFO

Basic Formal Ontology (BFO) core nodes domain ontologies created by specialization from BFO Independent continuants Dependent continuants Occurrents Classes Object types Attribute types Process types Particulars Individual objects Individual attributes Individual processes

BFO 2.0 8

– CHEBI: Chemical Entities of Biological Interest – GO: Gene Ontology – OBI: Ontology for Biomedical Investigations – PATO: Phenotypic Quality Ontology – PO: Plant Ontology – PATO: Phenotypic Quality Ontology – PRO: Protein Ontology – XAO: Xenopus Anatomy Ontology – ZFA: Zebrafish Anatomy Ontology 9

10

OBO Foundry approach extended into other domains 11 NIF StandardNeuroscience Information Framework IDO ConsortiumInfectious Disease Ontology cROPCommon Reference Ontologies for Plants MilPortal.orgMilitary Ontology AIRS Ontology SuiteActionable Intelligence Retrieval System

12

MilPortal 13

14

How classify this? 15

or this? 16

17 The Emotion Ontology

need link to a physiology ontology 18 ‘physiological response to emotion’

19 ‘emotion process’

20

21 BFO als standard upper-level Ontologie Wie Ontologien die wissenschaftliche Forschung unterstützen Warum wissenschaftliche Ontologien zusammenarbeiten müssen Basic Formal Ontology (BFO): die Vorteil der Koordination Benützer von BFO Kontinuanten, Okkurrenten, Realisierungen Arten der Abhängigkeit

22 The idea of ontological realism Before we build a data model we need to look at the reality we are trying to represent (= let’s look at the best scientific theory we have of this reality) Let’s constrain our data models so that our databases are veridical representations of the world outside

23 Scientific ontologies have special features Every term in a scientific ontology must be such that the developers of the ontology believe it to refer to some entity* in reality on the basis of the best current evidence *in first approximation: instances of a type

located near Latrine Well ‘VT ’ Distance Measurement Result Village Name ‘Khanabad Village’ Village is_a instance_ of Geopolitical Entity Spatial Region Geographic Coordinates Set designates instance_of located in instance_of has location designates has location instance_of ’16 meters’ instance_of measurement_of 24 Universals and Instances (from Bill Mandrick)

25 For science, and thus for scientific ontologies, it is generalizations that are of prime important = universals, types, kinds, species

26 For scientific ontologies reusability, openness is crucial intelligibility to humans is crucial revisability is crucial there is always an open world assumption testability is crucial compatibility with neighboring scientific ontologies is crucial  it should not be too easy to add new terms to an ontology

27 For scientific ontologies the issue of how the ontology will be used is not a factor relevant for determining how entities are treated by the ontology If this decision is made to reflect specific, local practical needs, this will thwart reusability of the data the ontology is used to annotate

BFO A simple top-level ontology to support information integration in scientific research Defining a framework that will help to ensure consistency and non-redundancy of the ontologies created in its terms 28

Three Fundamental Dichotomies Continuant vs. occurrent Dependent vs. independent Type vs. instance 29

Continuant thing, quality … Occurrent process, event 30

depends_on Continuant Occurrent process, event Independent Continuant thing Dependent Continuant quality quality depends on bearer 31

depends_on Continuant Occurrent process, event Independent Continuant thing Dependent Continuant quality, … event depends on participant 32

instance_of Continuant Occurrent process, event Independent Continuant thing Dependent Continuant quality types instances 33

depends_on Continuant Occurrent process Independent Continuant thing Dependent Continuant quality temperature depends on bearer 34

3 kinds of (binary) relations Between types human is_a mammal human heart part_of human Between an instance and a type this human instance_of the type human this human allergic_to the type tamiflu Between instances Mary’s heart part_of Mary Mary’s aorta connected_to Mary’s heart 35

Clark et al., 2005 part_of is_a Definitions of relations 36 Barry Smith, et al., “Relations in Biomedical Ontologies”, Genome Biology 2005, 6 (5), R46.

Type-level relations presuppose the underlying instance-level relations A part_of B =def. All instances of A are instance-level-parts-of some instance of B e.g. human heart part_of human A has_participant B =def. All instances of A have an instance of B as instance-level participant e.g. cell binding has_participant cell 37

Blinding Flash of the Obvious Continuant Occurrent (Process, Event) Independent Continuant Dependent Continuant How to create an ontology from the top down 38

Example: The Cell Ontology

Benefits of coordination No need to reinvent the wheel Can profit from lessons learned through mistakes made by others Can more easily reuse what is made by others Can more easily inspect and criticize results of others’ work (PATO) Leads to innovations (e.g. Mireot) in strategies for combining ontologies 40

Users of BFO PharmaOntology (W3C HCLS SIG) MediCognos / Microsoft Healthvault Cleveland Clinic Semantic Database in Cardiothoracic Surgery Major Histocompatibility Complex (MHC) Ontology (NIAID) Neuroscience Information Framework Standard (NIFSTD) and Constituent Ontologies 41

Users of BFO Interdisciplinary Prostate Ontology (IPO) Nanoparticle Ontology (NPO): Ontology for Cancer Nanotechnology Research Neural Electromagnetic Ontologies (NEMO) ChemAxiom – Ontology for Chemistry Ontology for Risks Against Patient Safety (RAPS/REMINE) (EU FP7) IDO Infectious Disease Ontology (NIAID) 42

Users of BFO National Cancer Institute Biomedical Grid Terminology (BiomedGT) US Army Universal Core Semantic Layer (UCore SL) US Army Biometrics Ontology US Army Command and Control Ontology Ontology for General Medical Science (OGMS) 43

Infectious Disease Ontology Consortium MITRE, Mount Sinai, UTSouthwestern – Influenza IMBB/VectorBase – Vector borne diseases (A. gambiae, A. aegypti, I. scapularis, C. pipiens, P. humanus) Colorado State University – Dengue Fever Duke University – Tuberculosis, Staph. aureus, HIV Case Western Reserve – Infective Endocarditis University of Michigan – Brucilosis 44

– GO Gene Ontology – CL Cell Ontology – SO Sequence Ontology – ChEBI Chemical Ontology – PATO Phenotype (Quality) Ontology – FMA Foundational Model of Anatomy – ChEBI Chemical Entities of Biological Interest – PRO Protein Ontology – Plant Ontology – Environment Ontology – Ontology for Biomedical Investigations – RNA Ontology OBO Open Biomedical Ontologies 45

RELATION TO TIME GRANULARITY CONTINUANTOCCURRENT INDEPENDENTDEPENDENT ORGAN AND ORGANISM Organism (NCBI Taxonomy) Anatomical Entity (FMA, CARO) Organ Function (FMP, CPRO) Phenotypic Quality (PaTO) Biological Process (GO) CELL AND CELLULAR COMPONENT Cell (CL) Cellular Component (FMA, GO) Cellular Function (GO) MOLECULE Molecule (ChEBI, SO, RnaO, PrO) Molecular Function (GO) Molecular Process (GO) The Open Biomedical Ontologies (OBO) Foundry 46

maintained by Werner Ceusters, Buffalo Pierre Grenon, Open University Chris Mungall, Berkeley Fabian Neuhaus, NIST Holger Stenzhorn, IFOMIS, Saarland University Alan Ruttenberg, Science Commons plus 103 other members of BFO Discussion Group:

inspired by Aristotle Husserl Roman Ingarden Ingvar Johansson Kevin Mulligan, University of Geneva Cornelius Rosse Peter Simons, Trinity College, Dublin Wittgenstein’s Tractatus (picture theory of language) Wolfgang Degen, Nicola Guarino, Patrick Hayes

Blinding Flash of the Obvious Continuant Occurrent (Process, Event) Independent Continuant Dependent Continuant How to create an ontology from the top down 49

Specifically Dependent Continuant Red color of my skin YouMe Accidens non migrat de subjecto in subjectum. Accidents do not migrate from one substance to another 50 Red color of your skin depends_on

Continuant Independent Continuant Dependent Continuant Non-realizable Dependent Continuant (quality) Realizable Dependent Continuant (function, role, disposition) 51

Realizable dependent continuants plan function role disposition capability tendency continuants 52

Their realizations execution expression exercise realization application course occurrents 53

Continuant Independent Continuant Dependent Continuant Non-realizable Dependent Continuant (quality) Realizable Dependent Continuant (function, role, disposition) 54

realization depends_on realizable Continuant Occurrent Independent Continuant bearer Dependent Continuant disposition Process of realization 55

Specific Dependence on the instance level a depends_on b =def. a is necessarily such that if b ceases to exist than a ceases to exist on the type level A specifically_depends_on B =def. for every instance a of A, there is some instance b of B such that a depends_on b. 56

depends_on Continuant Occurrent process, event Independent Continuant thing Dependent Continuant quality temperature depends on bearer 57

58 The (Aristotelian) Ontological Sextet SubstancesQuality entitiesProcesses Universals Substance- universals Quality- universals Process- universals Particulars Individual Substances Quality- instances (Tropes…) Process- instances

Specifically dependent continuants the quality of whiteness of this cheese your role as lecturer the disposition of this patient to experience diarrhea 60

the particular case of redness (of a particular fly eye) the universal red instantiates an instance of an eye (in a particular fly) the universal eye instantiates depends on 61

the particular case of redness (of a particular fly eye) red instantiates an instance of an eye (in a particular fly) eye instantiates depends on coloranatomical structure is_a 62

depends_on Continuant Occurrent process Independent Continuant thing Dependent Continuant quality temperature depends on bearer 63

Specifically Dependent Continuants Specifically Dependent Continuant Quality, Pattern Realizable Dependent Continuant if the bearer ceases to exist, then its quality, function, role ceases to exist the color of my skin the function of my heart to pump blood my weight 64

RELATION TO TIME GRANULARITY CONTINUANTOCCURRENT INDEPENDENTDEPENDENT ORGAN AND ORGANISM Organism (NCBI Taxonomy) Anatomical Entity (FMA, CARO) Organ Function (FMP, CPRO) Phenotypic Quality (PaTO) Biological Process (GO) CELL AND CELLULAR COMPONENT Cell (CL) Cellular Component (FMA, GO) Cellular Function (GO) MOLECULE Molecule (ChEBI, SO, RnaO, PrO) Molecular Function (GO) Molecular Process (GO) The Open Biomedical Ontologies (OBO) Foundry 65

CONTINUANTOCCURRENT INDEPENDENTDEPENDENT ORGAN AND ORGANISM Organism (NCBI Taxonomy) Anatomical Entity (FMA, CARO) Organ Function (FMP, CPRO) Phenotypic Quality (PaTO) Organism-Level Process (GO) CELL AND CELLULAR COMPONENT Cell (CL) Cellular Component (FMA, GO) Cellular Function (GO) Cellular Process (GO) MOLECULE Molecule (ChEBI, SO, RNAO, PRO) Molecular Function (GO) Molecular Process (GO) rationale of OBO Foundry coverage GRANULARITY RELATION TO TIME 66

Continuant Independent Continuant Specifically Dependent Continuant Quality Realizable Dependent Continuant (function, role, disposition) 67

Specific Dependence on the instance level a depends_on b =def. a is necessarily such that if b ceases to exist than a ceases to exist on the type level A specifically_depends_on B =def. for every instance a of A, there is some instance b of B such that a depends_on b. 68

Generically Dependent Continuants Generically Dependent Continuant Information Object Gene Sequence if one bearer ceases to exist, then the entity can survive, because there are other bearers (copyability) the pdf file on my laptop the DNA (sequence) in this chromosome 69

Continuant Independent Continuant Specifically Dependent Continuant Quality Realizable Dependent Continuant (function, role, disposition) 70

Realizable dependent continuants plan function role disposition capability tendency continuants 71

Their realizations execution expression exercise realization application course occurrents 72

Continuant Occurrent Independent Continuant Specifically Dependent Continuant Quality Disposition Functioning Function Generically Dependent Continuant Realizable Role Information Artifact Sequence…

IAO IAO: The Information Artifact Ontology, developed by scientific researchers as a vehicle for annotating data about measurement results, publications, protocols, databases, consent forms, licenses in a way that will allow discovery, integration and analysis Two kinds of data about data: – 1. what are the data about  Domain Ontologies – 2. how the data are packaged (collected, presented, formatted, stored)  IAO Ontologies