Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1....

51
Agenda Day 1 Agenda Day 1 Introduction: What is an ontology and Introduction: What is an ontology and what is it useful for? Basic Formal Ontology: An upper-level ontology to support scientific research Open Biomedical Ontologies (OBO) and the Web Ontology Language (OWL) The OBO Relation Ontology 81

Transcript of Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1....

Page 1: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Agenda • Day 1Agenda Day 1

Introduction: What is an ontology and• Introduction: What is an ontology and what is it useful for?

• Basic Formal Ontology: An upper-level ontology to support scientific research

• Open Biomedical Ontologies (OBO) and the Web Ontology Language (OWL)

• The OBO Relation Ontology

81

Page 2: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Ontology gy

the science of the kinds and structures of objects, properties, events, processes and relations in every domain of reality

82

Page 3: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

World‘s first ontology (from Porphyry’s Commentary on Aristotle’s Categories)

83

Page 4: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Linnaean Ontologygy

84

Page 5: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Contemporary top-levelContemporary top level ontologies

DOLCE = Domain Ontology for Linguistic and Cognitive Engineeringand Cognitive Engineering

SUMO = Suggested Upper Merged O t lOntology

BFO = Basic Formal Ontology

85

Page 6: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Each of these ontologies is not just a system of categoriesbut a formal theorybut a formal theory with definitions, axioms, theoremsdesigned to provide the resources fordesigned to provide the resources for

reference ontologies built to represent the entities in specific domainsentities in specific domains

of sufficient richness that terminological incompatibilities can be resolvedincompatibilities can be resolved intelligently rather than by brute force

86

Page 7: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

BFO is a very small ontology to y gysupport integration of scientific

research dataresearch dataSUMO contains many portions which areSUMO contains many portions which are

more properly conceived of as domain ontologies (airports bacteria )ontologies (airports, bacteria, ...)

DOLCE is tilted towards objects of general thought and communication (fictionthought and communication (fiction, mythology, ...)

87

Page 8: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Basic Formal OntologyBasic Formal Ontology

• a true upper level ontology• a true upper level ontology• no interference with domain ontologies

i t f ith i f iti• no interference with issues of cognition• no negative entities• no putative fictions• a small subset of DOLCE but with more

adequate treatment of instances, universals, relations and qualities

http://www.ifomis.org/bfo/88

Page 9: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Groups and Organizations using BFO

AstraZeneca - Clinical Information Science BioPAX OBOBioPAX-OBO BIRN Ontology Task Force (BIRN OTF) Computer Task Group Inc. Duke University Laboratory of Computational Immunology Dumontier Lab INRIA Lorraine Research UnitINRIA Lorraine Research Unit Kobe University Graduate School of Medicine Language and Computing National Center for Multi Source Information FusionNational Center for Multi-Source Information Fusion Ontology Works Science Commons - Neurocommons University of Texas Southwestern Medical Center

89

Page 10: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Ontologies using BFOBioTop: A Biomedical Top-Domain Ontology Common Anatomy Reference Ontology (CARO) y gy ( )Foundational Model of Anatomy (FMA)Gene Ontology (GO) Infectious Disease OntologyInfectious Disease Ontology Ontology for Biomedical Investigations (OBIOntology for Clinical Investigations (OCI) Ph t i Q lit O t l (P TO)Phenotypic Quality Ontology (PaTO) Protein Ontology (PRO) RNA Ontology (RnaO) gy ( )Senselab OntologySequence Ontology (SO)Subcellular Anatomy Ontology (SAO)Subcellular Anatomy Ontology (SAO) Vaccine Ontology (VO)

90

Page 11: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Realist Perspectivalism: The hil hi l b i f BFOphilosophical basis of BFO

There is a multiplicity of ontologicalThere is a multiplicity of ontological perspectives on reality, all equally veridical i e transparent to realityveridical i.e. transparent to reality

Ontologies are windows on reality

91

Page 12: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

The Time Problem

The tumor developed in John’s lung overThe tumor developed in John s lung over 25 years

92

Page 13: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

The Problem

developed in over 25 years____ developed in _____ over 25 years

processprocessstate

93

Page 14: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

The Problem

The tumor developed in the lung over 25 years

substancesthingsobjectsobjectscontinuants

94

Page 15: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

The Problem

The tumor developed in the lung over 25 years

what is it that participates in this process of tumor development?

parthood here not determinatep

95

Page 16: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

The Problem

The tumor developed in the lung over 25 years

substancesprocess

gluing these two types of entities together yields ontological monstersontological monsters

96

Page 17: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

C ti t tContinuants vs occurrents

In preparing an inventory of reality we

substanceprocess

In preparing an inventory of reality we keep track of these two different kinds of entities in two different waysentities in two different ways

97

Page 18: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

BFO: the very topy p

OccurrentContinuant (always dependent

on one or more independentindependent continuants)

Independent DependentpContinuant

pContinuant

98

Page 19: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

An alternative approach: F di i liFourdimensionalism

l ( t ) i t– only processes (occurrents) exist– time is just another dimension,

analogous to the three spatial dimensions

– substances are analyzed away as worms/fibers within the four-dimensional plenum

– fourdimensionalism brings benefitsfourdimensionalism brings benefits especially for computational purposes

99

Page 20: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

There are no substances

Bill Clinton does not existBill Clinton does not existRather: there exists within the four-

dimensional plenum a continuousdimensional plenum a continuous succession of processes which are similar in a Billclintonizing waysimilar in a Billclintonizing way

100

Page 21: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

FourdimensionalismFourdimensionalism (“everything is flow”) is right in ( y g ) g

everything it says

B t it i i l tBut it is incomplete

101

Page 22: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Realist Perspectivalismp

There is a multiplicity of ontological perspectives on reality all equallyperspectives on reality, all equally veridical = transparent to reality

Fourdimensionalism is one veridical perspective among othersperspective among others

Cf. particle vs. wave ontologies used in quantum mechanics

102

Page 23: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Snapshot Videot l t lontology ontology

substanceprocess

103Continuants and Occurrents

Page 24: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Two Orthogonal, Complementary P tiPerspectivesstocks and flowsstocks and flows

commodities and servicesd t dproduct and process

anatomy and physiology

104

Page 25: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Continuant entities- have continuous existence in time- preserve their identity through change

exist in toto if they exist at all- exist in toto if they exist at allOccurrent entities

- have temporal parts- unfold themselves phase by phasep y p- exist only in their phases/stages

105

Page 26: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

You are a substance

Your life is a process

You are 3-dimensionalYou are 3-dimensionalYour life is 4-dimensionalYour life is 4 dimensional

106

Page 27: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Many SNAPshot Ontologiesy g

t33

t2

t1h ti i t t id th t lhere time exists outside the ontology, as an index or time-stamp 107

Page 28: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

mereology works without restriction (parthood is everywhere determinate) in(parthood is everywhere determinate) in

every SNAP ontology

Note that, while, the views are instantaneous, the objects viewed endureinstantaneous, the objects viewed endure

108

Page 29: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Three kinds of continuant entities

1. Substances (Independent)1. Substances (Independent)2. SNAP Dependent Entities3 Spatial regions contexts niches3. Spatial regions, contexts, niches,

environments, settings

109

Page 30: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

D d t ti tDependent continuants:one-place:

your temperature color heightyour temperature, color, heightmy knowledge of Frenchthe whiteness of this cheesethe whiteness of this cheese

110

Page 31: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

relational dependent continuantsrelational dependent continuants

stand in relations of one-sided dependence to a plurality of substances simultaneously

love

specific dependence

John Mary

111

Page 32: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Dependent continuantsDependent continuants

Functions, qualities, roles …dispositions plans shapes diseasesdispositions, plans, shapes, diseases ...

112

Page 33: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

The world of processesp

t i m e113

Page 34: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Occurrents

h ti i t t f thhere time exists as part of the domain of the ontology 114

Page 35: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

mereology works without restriction everywhere hereeverywhere here

and boundaries are mostly fiat

t i m e115

Page 36: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Processes, too, are dependent on b tsubstances

One-place vs. relational processesOne place vs. relational processes

One place processes:One-place processes:your getting warmeryour getting hungrier

116

Page 37: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Examples of relational processesExamples of relational processeskissings, thumpings, conversings, dancings, … j i th i i t th i t ll ti f tjoin their carriers together into collectives of greater

or lesser duration

dancingdancing

John MaryMary

117

Page 38: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Two kinds of occurrent entities

1. Processes (including events, beginnings,1. Processes (including events, beginnings, endings = process-boundaries)

2 Spatio-temporal regions2. Spatio-temporal regions

118

Page 39: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

How do you know whether an entity is aHow do you know whether an entity is a continuant or an occurrent?

119

Page 40: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

problem casesp

forest fireforest firethe Olympic flame

epidemicepidemichurricanetraffic jam

ocean waveocea a e

120

Page 41: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

forest fire

a processk f k j i f t t ta pack of monkeys jumping from tree to tree

and eating up the trees as they go(anthrax spores are little monkeys)

121

Page 42: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

The Epidemic (C ti t)(Continuant)

The Spread of an EpidemicThe Spread of an Epidemic (Occurrent)

122

Page 43: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Three dichotomies

• instance vs. universalinstance vs. universal• continuant vs. occurrent

dependent vs independent• dependent vs. independent

• universals exist in reality through their instances

123

Page 44: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

BFOBFO

Continuant Occurrent(Process)

Independent DependentContinuant

(molecule,

Continuant

(quality, FunctioningSide-Effect, Stochastic Process( ,

cell, organ,organism)

(q y,function,disease)

Process, ...

..... ..... .... .....124

Page 45: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

BFO

all terms included in the ontology are intended to designate universals in reality

in conformity with the basic principle of science-based ontologyscience based ontology

i b d t l i i dscience-based ontologies are windows on reality

125

Page 46: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Phenotype OntologyPhenotype Ontology

Continuant Occurrent(Process)

IndependentContinuant

(molecule,

PATO phenotypic quality Functioning

Side-Effect, Stochastic Process( ,

cell, organ,organism)

q yontology Process, ...

..... ..... .... .....126

Page 47: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

An example of a qualityp q y• The particular redness of the left eye of a

single individual fly– An instance of a quality universal

Th l ‘ d’• The color ‘red’– A quality universal

• Note: the eye does not instantiate ‘red’• Note: the eye does not instantiate red

• PATO represents quality universals: color, p q y ,temperature, texture, shape …

127

Page 48: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

Qualities are dependent entitiesQ p

• Qualities require (depend on) bearers, which are independent continuantswhich are independent continuantsExample:

A shape requires a physical object as its bearer– A shape requires a physical object as its bearer– If the physical object ceases to exist (e.g. it

decomposes) then the shape ceases to existdecomposes), then the shape ceases to exist

128

Page 49: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

h i l d the universal eyethe universal red the universal eye

instantiates instantiates

the particular case of redness (of a

an instance of an eye (in a particularhas_bearerof redness (of a

particular fly eye)eye (in a particular fly)

129

Page 50: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

What a quality is NOTWhat a quality is NOT• Qualities are not measurements

– Instances of qualities exist independently of their measurements

– Qualities can have zero or more measurements– Qualities can have zero or more measurements• These are not the names of qualities:

– percentagepercentage– process– abnormal– high

• Open problem: how relate qualities such as length to measurement values?

130

Page 51: Agenda • Day 1Day 1ontology.buffalo.edu/08/TrainingCourse/2-BasicFormalOntology.pdf · 1. Substances (Independent)Substances (Independent) 2. SNAP Dependent Entities 3. Spatial

131