Lecture 3 BFO: A Standard Upper Level Ontology. 2 The idea of ontological realism Before we build a...

40
Lecture 3 BFO: A Standard Upper Level Ontology

Transcript of Lecture 3 BFO: A Standard Upper Level Ontology. 2 The idea of ontological realism Before we build a...

Page 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.

Lecture 3BFO: A Standard Upper

Level Ontology

Page 2: 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.

2

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

Page 3: 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.

3

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

Page 4: 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.

located near

LatrineWell

‘VT 334 569’

Distance Measurement

Result

Village Name

‘Khanabad Village’

Village

is_a

instance_of

Geopolitical Entity

Spatial Region

GeographicCoordinates

Setdesignates

instance_of

located in

instance_of

has location designates

has location

instance_of

instance_of

’16 meters’

instance_of

measurement_of

4

Universals and Instances (from Bill Mandrick)

Page 5: 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.

5

For science, and thus for scientific ontologies,

it is generalizations that are of prime important = universals,

types, kinds, species

Page 6: 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.

6

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

Page 7: 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.

7

For scientific ontologiesthe 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

Page 8: 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.

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

8

Page 9: 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.

Three Fundamental Dichotomies

• Continuant vs. occurrent

• Dependent vs. independent

• Type vs. instance

http://ontology.buffalo.edu/bfo/ 9

Page 10: 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.

Continuant

thing, quality …

Occurrent

process, event

10

Page 11: 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.

depends_on

Continuant Occurrent

process, eventIndependentContinuant

thing

DependentContinuant

quality

quality dependson bearer

11

Page 12: 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.

depends_on

Continuant Occurrent

process, eventIndependentContinuant

thing

DependentContinuant

quality, … event dependson participant

12

Page 13: 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.

instance_of

Continuant Occurrent

process, eventIndependentContinuant

thing

DependentContinuant

quality

.... ..... .......

types

instances 13

Page 14: 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.

depends_on

Continuant Occurrent

process

IndependentContinuant

thing

DependentContinuant

quality

.... ..... .......temperature dependson bearer

14

Page 15: 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.

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

15

Page 16: 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.

Clark et al., 2005

part_of

is_a

Definitions of relations

16

Barry Smith, et al., “Relations in Biomedical Ontologies”, Genome Biology 2005, 6 (5), R46.

Page 17: 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.

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

17

Page 18: 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.

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

18

Page 19: 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.

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

19

Page 20: 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.

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)

20

Page 21: 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.

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)

21

Page 22: 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.

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

22

Page 23: 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.

– 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

23

Page 24: 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.

RELATION TO TIME

GRANULARITY

CONTINUANT OCCURRENT

INDEPENDENT DEPENDENT

ORGAN ANDORGANISM

Organism(NCBI

Taxonomy)

Anatomical Entity(FMA, CARO)

OrganFunction

(FMP, CPRO) Phenotypic

Quality(PaTO)

Biological Process

(GO)CELL AND CELLULAR

COMPONENT

Cell(CL)

Cellular Compone

nt(FMA, GO)

Cellular Function

(GO)

MOLECULEMolecule

(ChEBI, SO,RnaO, PrO)

Molecular Function(GO)

Molecular Process

(GO)

The Open Biomedical Ontologies (OBO) Foundry24

Page 25: 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.

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:

http://groups.google.com/group/bfo-discuss?

Page 26: 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.

inspired byAristotle

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

Page 27: 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.

Blinding Flash of the Obvious

Continuant Occurrent(Process, Event)

IndependentContinuant

DependentContinuant

How to create an ontology from the top down

27

Page 28: 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.

Specifically Dependent Continuant

Red color of my skin

You Me

Accidens non migrat de subjecto in subjectum.Accidents do not migrate from one substance to another

28

Red color of your skin

depends_on depends_on

Page 29: 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.

Continuant

IndependentContinuant

DependentContinuant

..... .....

Non-realizableDependentContinuant(quality)

Realizable DependentContinuant(function, role, disposition)

29

Page 30: 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.

Realizable dependent continuants

planfunctionroledispositioncapabilitytendency

continuants

30

Page 31: 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.

Their realizations

execution expression exercise realization applicationcourse

occurrents

31

Page 32: 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.

Continuant

IndependentContinuant

DependentContinuant

..... .....

Non-realizableDependentContinuant(quality)

Realizable DependentContinuant(function, role, disposition)

32

Page 33: 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.

realization depends_on realizable

Continuant Occurrent

IndependentContinuant

bearer

DependentContinuant

disposition

.... ..... .......Process of realization

33

Page 34: 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.

Specific Dependenceon 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.

34

Page 35: 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.

depends_on

Continuant Occurrent

process, eventIndependentContinuant

thing

DependentContinuant

quality

.... ..... .......temperature dependson bearer

35

Page 36: 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.

36

The (Aristotelian) Ontological Sextet

Substances Quality entities Processes

UniversalsSubstance-universals

Quality-universals

Process-universals

ParticularsIndividual

Substances

Quality-instances (Tropes…)

Process-instances

Page 37: 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.
Page 38: 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.

Benefits of coordination

No need to reinvent the wheel

Can profit from lessons learned through mistakes made by others

Can more easily reuse data collected by others

Can more easily resolve the silo problems created by multiple independent discipline-specific ontologies

38

Page 39: 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.

Why GO is so successful• Strategy of low hanging fruit• Lessons learned and disseminated as common

guidelines – all developers in a large community are doing it the same way

• Ontologies are built by domain experts• Ontologies based on real thinking (not for

example on automatic extraction of terms from text)

Page 40: 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.

Benefits of BFO

small, simple, rigorously tested

large community of users and maintainers

top-down development methodology has been shown to work in many different domains

humanly intelligible

compatible with top-level of DOLCE

a genuine top level

40