vt. 2 ontology, the semantic web and the unification of medical knowledge barry smith
Post on 20-Dec-2015
213 views
TRANSCRIPT
![Page 1: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/1.jpg)
VT
![Page 2: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/2.jpg)
2
Ontology, the Semantic Web and the Unification of Medical
Knowledge
Barry Smith
![Page 3: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/3.jpg)
3
IFOMIS
Institute for Formal Ontology
and Medical Information Science
http://ifomis.de
![Page 4: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/4.jpg)
4
The problem
Different communities of medical researchers use different and often incompatible category systems in expressing the results of their work
![Page 5: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/5.jpg)
5
Example: Medical Nomenclature
UMLS:
blood is a tissueMeSH:
blood is a body fluid
![Page 6: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/6.jpg)
6
The solution
“ONTOLOGY!”
But what does “ontology” mean?
![Page 7: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/7.jpg)
7
Two alternative readings
Ontologies are special sorts of terminology systems = currently popular IT conception, with roots in KR
Ontologies are special sorts of theories about entities in reality = traditional philosophical conception, embraced by IFOMIS
![Page 8: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/8.jpg)
8
Example: The Gene Ontology (GO)
hormone ; GO:0005179 %digestive hormone ; GO:0046659 %peptide hormone ; GO:0005180 %adrenocorticotropin ; GO:0017043 %glycopeptide hormone ; GO:0005181 %follicle-stimulating hormone ; GO:0016913
% = subsumption (lower term is_a higher term)
![Page 9: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/9.jpg)
9
as tree
hormone
digestive hormone peptide hormone
adrenocorticotropin glycopeptide hormone
follicle-stimulating hormone
![Page 10: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/10.jpg)
10
GO
is very useful for purposes of standardization in the reporting of genetic information
but it is not much more than a telephone directory of standardized designations organized into hierarchies
![Page 11: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/11.jpg)
11
GO
can in practice be used only by trained biologists
whether a GO-term stands in the subsumption relationship depends on the context in which the term is used
(for example on the type of organism)
![Page 12: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/12.jpg)
12
A still more important problem:
GDB Genome Database of Human Genome
Project
GenBankNational Center for Biotechnology
Information, Washington DC
etc.
![Page 13: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/13.jpg)
13
What is a gene?
GDB: a gene is a DNA fragment that can be transcribed and translated into a protein
GenBank: a gene is a DNA region of biological interest with a name and that carries a genetic trait or phenotype
GO uses ‘gene’ in its term hierarchy,but it does not tell us which of these definitions is correct
![Page 14: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/14.jpg)
14
GO
has no robust formal organization
no capability to be aligned with systems which would have the power to use it to reason with genetic information
![Page 15: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/15.jpg)
15
GO deals with basic ontological notions very haphazardly
GO’s three main term-hierarchies are:component, function and process
But GO confuses functions with structures, and also with executions of functions
and has no clear account of the relation between functions and processes
![Page 16: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/16.jpg)
16
IFOMIS:
Get basic ontological organization right
and problems of formalization (consistency, portability) will become easier to solve later
![Page 17: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/17.jpg)
17
Current orthodoxy
focuses instead on issues of
representation (XML)
and reasoning (Description logics)
![Page 18: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/18.jpg)
18
Description logics
• decidable logics, thus expressively weaker than first-order predicate logic
• used for ensuring consistency of definitions of terms and for computing relations of subsumption
• ontologically neutral(i.e. neutral as between good ontology and ontological nonsense)
![Page 19: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/19.jpg)
19
SNOMED RT (2000)
already has description logic definitions
but it also has some bad coding, which derives from failure to pay attention to ontological principles:
e.g.
both testes is_a testis
![Page 20: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/20.jpg)
20
See Workshop:
CEUSTERS Werner, SMITH Barry Ontology for the Medical Domain Room E Today: 16.00-17.30
![Page 21: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/21.jpg)
21
DL is supposed to is supposed to allow future SNOMED
to reason from data formulated in a structured way
to handle multiple relationship types, in addition to is_a
to take account of context-sensitivity in use of terms
![Page 22: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/22.jpg)
22
The long march of Description Logic
Today SNOMED
Tomorrow THE WORLD
![Page 23: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/23.jpg)
23
The Semantic Web Initiative
The Web is a vast edifice of heterogeneous data sources
Needs the ability to query and integrate across different conceptual systems
![Page 24: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/24.jpg)
24
How resolve such incompatibilities?
enforce terminological compatibility via standardized term hierarchies, with standardized definitions of terms, which
1. satisfy the constraints of a description logic (DL)
2. are applied as meta-tags to websites
![Page 25: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/25.jpg)
25
Metadata: the new Silver Bullet
agree on a metadata standard for washing machines as concerns size, price, etc.create machine-readable databases and put them on the net consumers can query multiple sites simultaneously and search for highly specific, reliable, context-sensitive results
![Page 26: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/26.jpg)
26
A world of exhaustive, reliable metadata would be a utopia.
![Page 27: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/27.jpg)
27
PLAN
General problems with the Semantic Web initiative
(Partial) solutions to these general problems in the medical domain
Problems specific to the medical domain
![Page 28: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/28.jpg)
28
The Semantic Web
General problems with the Semantic Web initiative
(Partial) solutions to these general problems in the medical domain
Problems specific to the medical domain
![Page 29: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/29.jpg)
29
Problem 1: People lie
Meta-utopia is a world of reliable metadata. But poisoning the well can confer benefits to the poisoners
Metadata exists in a competitive world.Some people are crooks. Some people are cranks.
![Page 30: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/30.jpg)
30
Problem 2: People are lazy
Half the pages on Geocities are called “Please title this page”
![Page 31: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/31.jpg)
31
Problem 3: People are stupid
The vast majority of the Internet's users (even those who are native speakers of English)cannot spell or punctuate Will internet users learn to accurately tag their information with whatever DL-hierarchy they're supposed to be using?
![Page 32: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/32.jpg)
32
Problem 4: Multiple descriptions
“Requiring everyone to use the same vocabulary denudes the cognitive landscape, enforces homogeneity in ideas.”(Cary Doctorow)
![Page 33: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/33.jpg)
33
Problem 5: Ontology Impedance
= semantic mismatch between ontologies being merged
This problem recognized in Semantic Web literature:
http://ontoweb.aifb.uni-karlsruhe.de
/About/Deliverables/ontoweb-del-7.6-swws1.pdf
![Page 34: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/34.jpg)
34
Solution 1:treat it as (inevitable) ‘impedance’
and learn to find ways to cope with the disturbance which it brings
Suggested here:
http://ontoweb.aifb.uni-karls-ruhe.de/Ab-out/Deliverables/ontoweb-del-7.6-swws1.pdf
![Page 35: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/35.jpg)
35
Solution 2: resolve the impedance problem on a case-by-case basis
Suppose two databases are put on the web.
Someone notices that "where" in the friends table and "zip" in the places table mean the same thing.
http://www.w3.org/DesignIssues/Semantic.html
![Page 36: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/36.jpg)
36
Both solutions fail
1. treating mismatches as ‘impedance’ ignores the problem of error propagation
(and is inappropriate in an area like medicine)
2. resolving impedance on a case-by-case basis defeats the very purpose of the Semantic Web
![Page 37: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/37.jpg)
37
The Semantic Web
General problems with the Semantic Web initiative
(Partial) solutions to these general problems in the medical domain
Problems specific to the medical domain
![Page 38: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/38.jpg)
38
Solutions in the medical domain
Problem 1: People lie
Problem 2: People are lazy
Problem 3: People are stupid
None of these is true in the world of medical informatics
![Page 39: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/39.jpg)
39
Solutions in the medical domain
Problem 1: People lie
Problem 2: People are lazy
Problem 3: People are stupid
Achieve quality control via division of labour
![Page 40: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/40.jpg)
40
Division of Labour
1. Clinical activities
2. Structured data representation
3. Software coding (e.g. for NLP)
![Page 41: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/41.jpg)
41
Division of Labour
1. Clinical activities
2. Structured data representation
3. Software coding
4. Ontology building
Use 4. to constrain 2. and 3.
to achieve better data processing via quality control
![Page 42: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/42.jpg)
42
DL-Division of Labour
1. Clinical activities
2. Structured data representation
3. Software coding
4. Ontology building
For DL 4. is a special case of 3.
![Page 43: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/43.jpg)
43
For DL
Ontologies are software tools
thus limited
in their expressive power
and in their effectiveness as quality controls
![Page 44: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/44.jpg)
44
IFOMIS idea:
distinguish two separate tasks:
- the task of developing computer applications capable of running in real time
- the task of developing an expressively rich ontology of a sort which will allow sophisticated quality control
![Page 45: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/45.jpg)
45
The Semantic Web
General problems with the Semantic Web initiative
(Partial) solutions to these general problems in the medical domain
Problems specific to, or made more acute within, the medical domain
![Page 46: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/46.jpg)
46
Problem 4: Multiple descriptions
Requiring everyone to use the same vocabulary to describe their material is not always medically practicable
![Page 47: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/47.jpg)
47
Clinicians
often do not use category systems at all – they use unstructured text
from which usable data has to be extracted in a further step
Why?
Because every case is different, much patient data is context-dependent
![Page 48: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/48.jpg)
48
Problem 5: Ontology Impedance
= semantic mismatch between ontologies
‘gene’ used in websites issued by
biotech companies involved in gene patenting
medical researchers interested in role of genes in predisposition to smoking
insurance companies
![Page 49: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/49.jpg)
49
Other problems with DL-based ontologies
DL poor when dealing with context-dependent information/usages of terms
DL poor when it comes to dealing with information about instances (rather than concepts or classes)
also DL poor when it comes to dealing with time
![Page 50: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/50.jpg)
50
SARS
is NOT
Severe Acute Respiratory Syndrome
it is THIS collection of instances of
Severe Acute Respiratory Syndrome
associated with THIS coronavirus and ITS mutations
![Page 51: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/51.jpg)
51
different terminology systems
![Page 52: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/52.jpg)
52
need not interconnect at all
for example they may relate to entities of different granularity
![Page 53: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/53.jpg)
53
we cannot make incompatible terminology-systems interconnect
just by looking at concepts, or knowledge or language
![Page 54: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/54.jpg)
54
to decide which of a plurality of competing definitions to accept
we need some tertium quid
![Page 55: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/55.jpg)
55
we need, in other words,
to take the world itself into account
![Page 56: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/56.jpg)
56
BFO= basic formal ontology
![Page 57: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/57.jpg)
57
BFO
ontology not the ‘standardization’ or ‘specification’ of concepts
(not a branch of knowledge or concept engineering)
but an inventory of the types of entities existing in reality
![Page 58: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/58.jpg)
58
BFO goal:
to remove ontological impedance by constraining terminology systems with good ontology
![Page 59: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/59.jpg)
59
BFO not a computer application
but a reference ontology
(not a (not a reference terminologyreference terminology
in the sense of SNOMED)in the sense of SNOMED)
![Page 60: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/60.jpg)
60
Recall:
GDB: a gene is a DNA fragment that can be transcribed and translated into a protein
Genbank: a gene is a DNA region of biological interest with a name and that carries a genetic trait or phenotype
![Page 61: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/61.jpg)
61
Ontology
‘fragment’, ‘region’, ‘name’, ‘carry’, ‘trait’, ‘type’
... ‘part’, ‘whole’, ‘function’, ‘inhere’, ‘substance’ …
are ontological terms in the sense of traditional (philosophical) ontology
![Page 62: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/62.jpg)
62
UMLS has ontological problems, tooIdea or Concept
Functional ConceptQualitative ConceptQuantitative ConceptSpatial Concept
Body Location or RegionBody Space or JunctionGeographic AreaMolecular Sequence
Amino Acid SequenceCarbohydrate SequenceNucleotide Sequence
![Page 63: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/63.jpg)
63
UMLS has ontological problems, tooIdea or Concept
Functional ConceptQualitative ConceptQuantitative ConceptSpatial Concept
Body Location or RegionBody Space or JunctionGeographic AreaMolecular Sequence
Amino Acid SequenceCarbohydrate SequenceNucleotide Sequence
![Page 64: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/64.jpg)
64
St. Malo
is an Idea or Concept
![Page 65: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/65.jpg)
65
UMLS has ontological problems, tooIdea or Concept
Functional ConceptQualitative ConceptQuantitative ConceptSpatial Concept
Body Location or RegionBody Space or JunctionGeographic AreaMolecular Sequence
Amino Acid SequenceCarbohydrate SequenceNucleotide Sequence
![Page 66: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/66.jpg)
66
The Reference Ontology Community
IFOMIS (Leipzig) Laboratories for Applied Ontology
(Trento/Rome, Turin)Foundational Ontology Project (Leeds)Ontology Works (Baltimore)Ontek Corporation (Buffalo/Leeds)Language and Computing (L&C)
(Belgium/Philadelphia)
![Page 67: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/67.jpg)
67
Domains of Current Work
IFOMIS Leipzig: Medicine, Bioinformatics
Laboratories for Applied Ontology
Trento/Rome: Ontology of Cognition/Language
Turin: Law
Foundational Ontology Project: Space, Physics
Ontology Works: Genetics, Molecular Biology
Ontek Corporation: Biological Systematics
Language and Computing: Natural Language Understanding
![Page 68: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/68.jpg)
68
Two basic BFO oppositions
Granularity
(of molecules, genes, cells, organs, organisms ...)
SNAP vs. SPAN
getting time right of crucial importance for medical informatics
![Page 69: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/69.jpg)
69
SNAP vs. SPAN
Two different ways of existing in time:
continuing to exist (of organisms, their qualities, roles, functions, conditions)
occurring (of processes)
SNAP vs. SPAN = Anatomy vs. Physiology
![Page 70: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/70.jpg)
SNAP: Entities existing in toto at a time
![Page 71: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/71.jpg)
71
Three kinds of SNAP entities
1. SNAP Independent: Substances, Objects, Things
2. SNAP Dependent: Qualities, Functions, Conditions, Roles
3. SNAP Spatial regions
![Page 72: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/72.jpg)
SNAP-Independent
![Page 73: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/73.jpg)
SNAP Dependent
![Page 74: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/74.jpg)
SNAP-Spatial Region
![Page 75: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/75.jpg)
75
SPAN: Entities occurring in time
SPANEntity extended in time
Portion of Spacetime
Fiat part of process *First phase of a clinical trial
Spacetime worm of 3 + Tdimensions
occupied by life of organism
Temporal interval *projection of organism’s life
onto temporal dimension
Aggregate of processes *Clinical trial
Process[±Relational]
Circulation of blood,secretion of hormones,course of disease, life
Processual Entity[Exists in space and time, unfolds
in time phase by phase]
Temporal boundary ofprocess *
onset of disease, death
![Page 76: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/76.jpg)
76
SPAN Dependent (Processes)
![Page 77: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/77.jpg)
77
SPAN Spatiotemporal Regions
![Page 78: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/78.jpg)
78
Realization (SNAP SPAN)
the execution of a plan
the expression of a function
the exercise of a role
the realization of a disposition
the course of a disease
the application of a therapy
![Page 79: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/79.jpg)
79
SNAP dependent entities and their SPAN realizations
plan
function
role
disposition
disease
therapy
SNAP
![Page 80: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/80.jpg)
80
SNAP dependent entities and their SPAN realizations
execution
expression
exercise
realization
course
application
SPAN
![Page 81: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/81.jpg)
81
More examples:
performance of a symphonyprojection of a filmexpression of an emotionutterance of a sentenceincrease of body temperaturespreading of an epidemicextinguishing of a forest firemovement of a tornado
![Page 82: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/82.jpg)
82
BFO = SNAP/SPAN + Theory of Granular Partitions +
theory of universals and instances
theory of part and whole
theory of boundaries
theory of functions, powers, qualities, roles
theory of environments
theory of spatial and spatiotemporal regions
![Page 83: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/83.jpg)
83
MedO: medical domain ontologyuniversals and instances and normativity
theory of part and whole and absence
theory of boundaries/membranes
theory of functions, powers, qualities, roles, (mal)functions, bodily systems
theory of environments: inside and outside the organism
theory of spatial and spatiotemporal regions: anatomical mereotopology
![Page 84: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/84.jpg)
84
MedO: medical domain ontologytheory of granularity relations
between
molecule ontology
gene ontology
cell ontology
anatomical ontology
etc.
![Page 85: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/85.jpg)
85
Theory of Granular Partitions
See Workshop:
Ontology for the Medical Domain Room E: 16.00-17.30
![Page 86: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/86.jpg)
86
Testing the BFO/MedO approach
collaboration with
Language and Computing nv (www.landcglobal.be)
![Page 87: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/87.jpg)
87
The Project
collaborate with L&C to show how an ontology constructed on the basis of philosophical principles can help in overhauling and validating the large terminology-based medical ontology LinkBase® used by L&C for NLP
![Page 88: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/88.jpg)
88
L&C
LinKBase®: world’s largest terminology-based ontology
with mappings to UMLS, SNOMED, etc.
+ LinKFactory®: suite for developing and managing large terminology-based ontologies
![Page 89: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/89.jpg)
89
LinKBase
BFO and MedO designed to add better reasoning capacity
• by tagging LinKBase domain-entities with corresponding BFO/MedO categories
• by constraining links within LinKBase according to the theory of granular partitions
![Page 90: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/90.jpg)
90
L&C’s long-term goal
Transform the mass of unstructured patient records into a gigantic medical experiment
![Page 91: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/91.jpg)
91
IFOMIS’s long-term goal
Build a robust high-level BFO-MedO framework
THE WORLD’S FIRST INDUSTRIAL-STRENGTH PHILOSOPHY
which can serve as the basis for an ontologically coherent unification of medical knowledge and terminology
![Page 93: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/93.jpg)
93
Description Logics allow specifying a terminological hierarchy using a restricted set of first order formulas.They usually have nice computational properties (often decidable and tractable) but the inference services are restricted to classification and subsumption. That means, given formulae describing classes, the classifier associated with a certain description logic will place them inside a hierarchy, and given an instance description, the classifier will determine the most specific classes to which the particular instance belongs.
![Page 94: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/94.jpg)
94
Good metadata
Google exploits metadata in the form of: number of links pointing at a page – a measure of reliability
Observational metadata vs. good human-created metadata vs. marketing hype
![Page 95: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/95.jpg)
95
Two super-categories in DL
Concepts (e.g. blood)
Definitions (term strings associated with concepts)
Relationships (e.g. is_a)
E.g. fetal blood stands in the relation is_a to blood
![Page 96: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/96.jpg)
96
DL thus goes hand in hand with the assumption that ontology deals with ‘simplified models’
Tom Gruber (1993): An ontology should make as few claims as possible about the world being modeled … specifying the weakest theory (allowing the most models) and defining only those terms that are essential to the communication of knowledge consistent with that theory.
![Page 97: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/97.jpg)
97
Semantic Web effort
thus far devoted primarily to developing systems for standardized representation of web pages and web processes
(= ontology of web typography)
not to the harder task of developing of ontologies (term hierarchies) for the content of such web pages
![Page 98: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/98.jpg)
98
BFO vs. KRIn the knowledge engineering world in which
information systems ontology has its home
terms and definitions come first,
– the job is to validate them and reason with them
In the BFO world robust ontology (with all its reasoning power) comes first
and terms and term-hierarchies must be subjected to the constraints of ontological coherence
![Page 99: VT. 2 Ontology, the Semantic Web and the Unification of Medical Knowledge Barry Smith](https://reader031.vdocuments.us/reader031/viewer/2022032800/56649d4b5503460f94a28d31/html5/thumbnails/99.jpg)
99
Problem 4: Metrics influence results
Example: software which scores well on convenience scores badly on security
Every player in a metadata standards body will want to emphasize their high-scoring axes