1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals...

25
1 ANATOMY AND TIME Barry Smith
  • date post

    19-Dec-2015
  • Category

    Documents

  • view

    218
  • download

    1

Transcript of 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals...

Page 1: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

1

ANATOMY AND TIME

Barry Smith

Page 2: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

2

SNAP AND SPAN

Page 3: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

3

To understand relations between universals

Reference to times and instances are important

A derives from B

concept A derives from concept B

Page 4: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

4

Official OBO definition

term: derived_from

definition: Any kind of temporal relationship,

such as derived_from, translated_from

Page 5: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

5

Better Definition

A derives from B

for any instance x of A there is some instance y of B such that x exists earlier than y and

Page 6: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

6

What is an anatomy standardization for?

Anatomy:across species (human, mouse) (SAEL)across time (development, growth, aging)

from generic (normal + abnormal)to instance-based)

Tied to: genomicclinical (disease pathways)

Page 7: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

7

FMA = (AT, ASA, ATA, Mk)

AT = Anatomy Taxonomy

ASA = Anatomical Structural Abstraction

Mk = Metaknowledge

Page 8: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

8

FMA = (AT, ASA, ATA, Mk)

ATA, or Anatomical Transformation Abstraction describes the time-dependent morphological transformations of the concepts represented in the taxonomy during the human life cycle, which includes prenatal development, postnatal growth and aging;

Page 9: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

9

FMA = (AT, ASA, ATA, Mk)

ATA, or Anatomical Transformation Abstraction describes the time-dependent morphological transformations of the concepts represented in the taxonomy during the human life cycle, which includes prenatal development, postnatal growth and aging;

Page 10: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

10

single-cell zygote

multi-cell zygote

morula

early blastocyst

gastrula

new born

infant

adolescent

young adult

Page 11: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

11

A sequence of SNAP ontologies

Page 12: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

12

together with SPAN ontologies for processes/transformations

t i m et i m ephysiological processes

t i m

e

t i m

e

development processest i m

e

t i m

e

aging processest i m et i m egrowth processes

SNAP

Page 13: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

13

each of these at a plurality of levels of granularity

t i m et i m e

physiological processes

SNAP

t i m et i m e

t i m et i m e

t i m et i m e

t i m et i m e

t i m et i m e

molecular

subcellular

cellular

Page 14: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

14

SNAP

time

Page 15: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

15

time

canonical vs. instantiated

Page 16: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

16

timeunde

form

ed

d

efor

med

Page 17: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

17

timeunde

form

ed

d

efor

med

these are not instances

Page 18: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

18

timeunde

form

ed

d

efor

med

WINDOWS ON REALITY

Page 19: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

19

timeunde

form

ed

d

efor

med

SYMBIOSIS OF KNOWLEDGE ABOUT UNIVERSALS AND INSTANCES

Page 20: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

20

timeunde

form

ed

d

efor

med

Page 21: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

21

timeunde

form

ed

d

efor

med

hum

an c

him

panz

ee m

ouse

fly

ye

ast

bact

eria

Page 22: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

22

timeunde

form

ed

d

efor

med

hum

an c

him

panz

ee m

ouse

fly

ye

ast

bact

eria

Page 23: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

23

A Proposed Standardization

relations

Page 24: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

24

A Proposed Standardization

OBO Relations Ontology

Page 25: 1 ANATOMY AND TIME Barry Smith. 2 SNAP AND SPAN 3 To understand relations between universals Reference to times and instances are important A derives.

25

A Proposed Standardization

OBO Relations Ontologyis part ofis member of (a collection)is location of -- is contained in …is connected to

is later than – is simultaneous with …is bearer ofis function ofcausesis functioning of