1 Ontology as Master Discipline of Information Science Barry Smith

Slides:



Advertisements
Similar presentations
Upper Ontology Summit Tuesday March 14 The BFO perspective Barry Smith Department of Philosophy, University at Buffalo National Center.
Advertisements

Ontology Assessment – Proposed Framework and Methodology.
KR-2002 Panel/Debate Are Upper-Level Ontologies worth the effort? Chris Welty, IBM Research.
Ontological analysis of the semantic types Anand Kumar MBBS, PhD IFOMIS, University of Saarland, Germany. BIOMEDICALONTOLOGYBIOMEDICALONTOLOGY.
Post-Positivist Perspectives on Theory Development
Ontology From Wikipedia, the free encyclopedia In philosophy, ontology (from the Greek oν, genitive oντος: of being (part. of εiναι: to be) and –λογία:
Constraint Logic Programming Ryan Kinworthy. Overview Introduction Logic Programming LP as a constraint programming language Constraint Logic Programming.
The World as Database Barry Smith University at Buffalo Institute for Formal Ontology and Medical Information Science, University of Leipzig
1 Introduction to (Geo)Ontology Barry Smith
Ontology Good and Bad Barry Smith Department of Philosophy and NCGIA, Buffalo
1 Beyond Concepts Barry Smith
1 The Theory of Granular Partitions: A New Paradigm for Ontology Barry Smith Department of Philosophy University at Buffalo
VT. From Basic Formal Ontology to Medicine Barry Smith and Anand Kumar.
Sustainability Science. Sustainable Development or Sustainability.
1 VT 2 Ontology and Ontologies Barry Smith 3 IFOMIS Strategy get real ontology right first and then investigate ways in which this real ontology can.
Scientific method - 1 Scientific method is a body of techniques for investigating phenomena and acquiring new knowledge, as well as for correcting and.
Philosophy and Computer Science: New Perspectives of Collaboration
Ifomis.org 1 Biomedical Ontology in Saarbrücken Barry Smith
1 Formal Ontology and Information Systems Barry Smith
Part 4 Ontology: Philosophical and Computational.
1 How to test a philosophical theory empirically Barry Smith Institute for Formal Ontology and Medical Information Science sponsored by.
Qualitative research in psychology. A distinct research process Inquiries of knowledge that are outside the framework prescribed by the scientific method,
19 April, 2017 Knowledge and image processing algorithms for real-life applications. Dr. Maria Athelogou Principal Scientist & Scientific Liaison Manager.
CHAPTER 3 RESEARCH TRADITIONS.
Semantic Web Technologies Lecture # 2 Faculty of Computer Science, IBA.
Framework for K-12 Science Education
Chapter 6 System Engineering - Computer-based system - System engineering process - “Business process” engineering - Product engineering (Source: Pressman,
1 Introduction to Modeling Languages Striving for Engineering Precision in Information Systems Jim Carpenter Bureau of Labor Statistics, and President,
Knowledge representation
Of 39 lecture 2: ontology - basics. of 39 ontology a branch of metaphysics relating to the nature and relations of being a particular theory about the.
School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.
CHAPTER ONE The Scientific Method. Section 1: What is Science?  Science:  a way of learning more about the natural world.  questions about art, politics,
UNIVERSITÉ LAVAL Centre for Research in Geomatics, Université Laval, Cité universitaire, Quebec, QC Canada G1K 7P4 Semantic Interoperability of Geospatial.
Arash Rastegar Department of Math. Sciences Sharif University of Technology Arash Rastegar Department of Math. Sciences Sharif University of Technology.
The tasks of logic Why we need more versatile tools Philosophy and logic 2013 Kyiv 25 May
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Taken from Schulze-Kremer Steffen Ontologies - What, why and how? Cartic Ramakrishnan LSDIS lab University of Georgia.
The Next Generation Science Standards: 4. Science and Engineering Practices Professor Michael Wysession Department of Earth and Planetary Sciences Washington.
The ICPS: A taxonomy, a classification, an ontology or an information model? Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany.
Sharing Ontologies in the Biomedical Domain Alexa T. McCray National Library of Medicine National Institutes of Health Department of Health & Human Services.
Ontology: The Good, the Bad, and the Ugly Barry Smith Department of Philosophy (Buffalo) Institute for Formal Ontology and Medical Information Science.
Christoph F. Eick University of Houston Organization 1. What are Ontologies? 2. What are they good for? 3. Ontologies and.
Chapter 1 Introduction A Scientific approach to geography Chapter 1 Introduction A Scientific approach to geography.
OOP (Object Oriented Programming) Lecture 1. Why a new paradigm is needed? Complexity Five attributes of complex systems –Frequently, complexity takes.
1 An Introduction to Ontology for Scientists Barry Smith University at Buffalo
Methods of Scientific Inquiry Ch 1.3 Course Overview.
Achieving Semantic Interoperability at the World Bank Designing the Information Architecture and Programmatically Processing Information Denise Bedford.
1 URBDP 591 A Analysis, Interpretation, and Synthesis -Assumptions of Progressive Synthesis -Principles of Progressive Synthesis -Components and Methods.
Big Data that might benefit from ontology technology, but why this usually fails Barry Smith National Center for Ontological Research 1.
Ontologies, Conceptualizations, and Possible Worlds Revisiting “Formal Ontologies and Information Systems” 10 years later Nicola Guarino CNR Institute.
Background-assumptions in knowledge representation systems Center for Cultural Informatics, Institute of Computer Science Foundation for Research and Technology.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
1 Prepared by: Laila al-Hasan. 1. Definition of research 2. Characteristics of research 3. Types of research 4. Objectives 5. Inquiry mode 2 Prepared.
International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA SysML and Ontology in Biomedical Modeling Henson Graves Yvonne Bijan 30 January 2011.
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. Chapter 1 Lecture Slides.
Ontology I Cristian Cocos (CLIStFX). Background: What? What is “Ontology”? What is an Ontology? Traditional answer: Theory of Everything Several other.
Ontologies COMP6028 Semantic Web Technologies Dr Nicholas Gibbins
1 Standards and Ontology Barry Smith
Knowledge Representation Part I Ontology Jan Pettersen Nytun Knowledge Representation Part I, JPN, UiA1.
UNIFIED MEDICAL LANGUAGE SYSTEMS (UMLS)
Philosophy and Computer Science: New Perspectives of Collaboration
COMP6215 Semantic Web Technologies
NeurOn: Modeling Ontology for Neurosurgery
ece 627 intelligent web: ontology and beyond
Ontology From Wikipedia, the free encyclopedia
Philosophy of Mathematics 1: Geometry
Introduction to Applied and Theoretical Ontology Barry Smith
Ontological analysis of the semantic types
Ontology-Based Approaches to Data Integration
Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany
Presentation transcript:

1 Ontology as Master Discipline of Information Science Barry Smith

2 Ontology as Master Discipline of Information Science Barry Smith Real

3 Real Ontology is a branch of philosophy the science of what is the science of the kinds and structures of objects, properties, events, processes and relations in reality

4 Real ontology seeks to provide a definitive and exhaustive classification of entities in all spheres of being.

5 It seeks to answer questions like this: What categories of entities are needed for a complete description and explanation of all the goings- on in the universe?

6 Ontology is in many respects comparable to the theories produced by science … but it is radically more general than these

7 It can be regarded as a kind of generalized chemistry or zoology (Aristotle’s ontology grew out of biological classification) (Russell: Logic is a zoology of facts)

8 Aristotle First ontologist

9 First ontology ( from Porphyry’s Commentary on Aristotle’s Categories)

10 Linnaean Ontology

11 Ontologies are (very roughly) taxonomical trees

12 Ontology is distinguished from the special sciences it seeks to study all of the various types of entities existing at all levels of granularity

13 and to establish how they hang together to form a single whole (‘reality’ or ‘being’)

14 Unity achieved via a good theory of relations and via taxonomies at different levels of granularity (atomic, molecular, cellular, organismic, etc.)

15 Sources for ontological theorizing: thought experiments the study of ancient texts development of formal theories the results of natural science now also: working with computers

16 The existence of computers and of large databases allows us to express old philosophical problems in a new light

17 The problem of the unity of science The logical positivist solution to this problem addressed a world in which sciences are identified with printed texts What if sciences are identified with Large Databases ?

18 Each family of databases has its own idiosyncratic terms and concepts by means of which it represents the information it receives How to resolve the incompatibilities which result when databases need to be merged?

19 The Database Tower of Babel Problem

20

21 The term ‘ontology’ came to be used by information scientists to describe the construction of standardized taxonomies designed to make databases mutually compatible and thus to make data transportable from one environment to another

22 An ‘ontology’ is a dictionary of terms formulated in a canonical syntax and with commonly accepted definitions and axioms designed to yield a shared framework for use by different information systems communities.

23 An ontology is a concise and unambiguous description of the principal, relevant entities of an application domain and of their potential relations to each other

24 SO FAR SO GOOD

25 But how was this idea in fact realized? How did information systems engineers proceed to build ontologies? By looking at the world, surely Well, No They built ontologies by looking at what people think about the world

26

27 Quine

28 For Quineans Ontology studies, not reality, but scientific theories From ontology … to ontological commitment

29 Quine: each natural science has its own preferred repertoire of types of objects to the existence of which it is committed

30 Quineanism: ontology is the study of the ontological commitments or presuppositions embodied in the different natural sciences

31 Quine: only natural sciences can be taken ontologically seriously The way to do ontology is exclusively through the investigation of scientific theories

32 Thus it is reasonable to identify ontology – the search for answers to the question: what exists? – with the study of the ontological commitments of natural scientists All natural sciences are compatible with each other

33 PROBLEM The Quinean view of ontology becomes strikingly less defensible when the ontological commitments of various non-scientists are allowed into the mix

34 How, ontologically, are we to treat the commitments of astrologists, clairvoyants, believers in voodoo?

35 How, ontologically, are we to treat the commitments of patients who believe that their illness is caused by evil spirits or magic spells?

36 Growth of Quinean ontology outside philosophy: Psychologists and cognitive anthropologists have sought to elicit the ontological commitments (‘ontologies’, in the plural) of different cultures and groups.

37 This is not ontology Not all the things that people believe in are genuine objects of ontological investigation Only what exists is a genuine object of ontological investigation

38

39 Why, then, do information systems ontologists study peoples’ beliefs, thoughts, concepts rather than the objects themselves?

40 Arguments for Ontology as Conceptual Modeling Ontology is hard. Life is short. Let’s do conceptual modeling instead

41 programming real ontology into computers is hard therefore: we will simplify ontology and not care about reality at all

42 Painting the Emperor´s Palace is h a r d

43 therefore we will not try to paint the Palace at all... we will be satisfied instead with a grainy snapshot of some other building

44

45 Ontological engineers neglect the standard of truth to reality in favor of other, putatively more practical, standards: above all programmability

46 They turn to substitutes: to models, to conceptualizations because these are easier to handle (… they move from messy noumenal reality to neatly packaged “phenomena” …)

47 For an information system ontology there is no reality other than the one created through the system itself, so that the system is, by definition, correct

48 Only those objects exist which are represented in the system (constructivism)

49 Tom Gruber (1995): ‘For AI systems what “exists” is what can be represented’

50 Ontological engineering concerns itself with conceptualizations It does not care whether these are true of some independently existing reality.

51 In the world of information systems there are many surrogate world models and thus many ontologies

52 … and all ontologies, are equal both good and bad,

53 ATTEMPTS TO SOLVE THE TOWER OF BABEL PROBLEM VIA ONTOLOGIES AS “CONCEPTUAL MODELS” HAVE FAILED

54 HALF WAY THROUGH

55 Can Real Ontology do Better? Test Domain: Medical Terminology

56 Example 1: UMLS Universal Medical Language System Taxonomy system maintained by National Library of Medicine in Washington DC 134 semantic types 800,000 concepts 10 million inter-concept relationships

57 Example 2: SNOMED Systematized Nomenclature of Medicine Taxonomy system maintained by the College of American Pathologists 121,000 concepts 340,000 relationships

58 SNOMED designed to foster interoperability to serve as a “common reference point for comparison and aggregation of data throughout the entire healthcare process”

59 Problems with UMLS and SNOMED Each is a fusion of several source vocabularies They were fused without an ontological system being established first  They contain circularities, taxonomic gaps, unnatural ad hoc determinations … several billion dollars still being wasted in the making of retrospective fixes

60 Example 3: GALEN Two levels: ontologically powerful model of clinical information inside the computer plus a range of terminological services for clinical tasks involving different coding systems, including natural language

61 Problems with GALEN Ontology is ramshackle and has been subject to repeated fixes Its unnaturalness makes coding slow and expensive Coding thus far limited in extent (surgical processes)

62 Blood

63 Representation of Blood in UMLS Blood Tissue Entity Physical Object Anatomical Structure Fully Formed Anatomical Structure An aggregation of similarly specialized cells and the associated intercellular substance. Tissues are relatively non-localized in comparison to body parts, organs or organ components Body SubstanceBody FluidSoft Tissue Blood as tissue

64 Representation of Blood in SNOMED Blood Liquid Substance Substance categorized by physical state Body fluid Body Substance Substance Blood as fluid

65 Representation of Blood in GALEN Blood SoftTissue DomainCategory Phenomenon Blood as SoftTissue with two states: LiquidBlood and CoagulatedBlood Substance Tissue GeneralisedSubstanceSubstanceorPhysicalStructure

66 Plus attempts at Patients’ Ontology based on WordNet = online lexical reference system for the English language

67 Representation of Blood in WordNet Blood Humor the four fluids in the body whose balance was believed to determine our emotional and physical state along with phlegm, yellow and black bile Entity Physical Object Substance Body Substance Body Fluid Blood as humor

68 So what is the ontology of blood?

69 We cannot solve this problem just by looking at concepts

70 concept systems may be simply incommensurable

71 the problem can only be solved by taking the world itself into account

72 This implies a view of ontology not as a theory of concepts but as a theory of reality But how is this possible? How can we get beyond our concepts? answer: ontology must be maximally opportunistic

73 Maximally opportunistic means: look at concepts and beliefs critically and always in the context of a wider view which includes independent ways to access the objects themselves at different levels of granularity

74 Ontology must be maximally opportunistic This means: don’t just look at beliefs look at the objects themselves from every possible direction, formal and informal scientific and non-scientific …

75 Maximally opportunistic means: look at the same objects at different levels of granularity:

76 “ skritek ” objects are in the world not all concepts correspond to objects not all concepts are relevant to ontology concepts are in the head

77  problem of ‘merging’ ontologies “skritek” “blaznivy”

78 How to solve the Tower of Babel Problem? How to fuse these mutually incompatible ‘conceptual models’ of blood ? By drawing on the results of philosophical work in ontology carried out over the last 2000 years

79 First Step: A good medical domain ontology presupposes a good formal or top- level ontology

80 Formal part hole connected (spatially, causally) substance system state

81 Material organism tissue symptom circulatory system organ is the nose an organ? is the circulatory system an organ

82 Second step: select out the good conceptualizations these have a reasonable chance of being integrated together into a single ontological system based on tested principles robust conform to natural science

83 IFOMIS Institute for Formal Ontology and Medical Information Science University of Leipzig

84 PARTNERS Ontology Group, LADSEB-CNR, Padua/Trento Institute of Cognitive Sciences and Technologies (ISTC-CNR), Rome ONTEK Corporation Language and Computing, Belgium

85 Strategy: A Network of Domain Ontologies Material (Regional) Ontologies Basic Formal Ontology (BFO)

86 A Network of Domain Ontologies BFO

87 A Network of Domain Ontologies BFO B(Chem)O

88 A Network of Domain Ontologies BFO B(Chem)OB(Med)O

89 A Network of Domain Ontologies BFO B(Chem)OB(Med)OB(Cell)O

90 A Network of Domain Ontologies BFO B(Chem)OB(Med)OB(Cell)OB(Gen)O

91 A Network of Domain Ontologies BFO B(Chem)OB(Med)OB(Cell)OB(Gen)OB(Epidem)O

92 Ontology like cartography must work with maps at different scales and with maps picking out different dimensions of invariants

93

94 Thus ontology needs

95 Ontological Zooming

96 Universe/Periodic Table animal bird canary ostrich fish ontology of biological species ontology of DNA space

97 Universe/Periodic Table animal bird canary ostrich fish both are transparent partitions of one and the same reality

98 There are many compatible map-like partitions many maps at different scales, all transparent to the reality beyond the mistake arises when one supposes that only one of these partitions is a true map of what exists

99 Medical ontologies at different levels of granularity: cell ontology drug ontology * protein ontology gene ontology * anatomical ontology * epidemiological ontology

100 Medical ontologies disease ontology therapy ontology pathology ontology * and also physician’s ontology patient’s ontology

101 Medical ontologies and even hospital management (billing) ontology * * = already exists (but in a variety of mutually incompatible forms)

102 Partitions should be cuts through reality a good medical ontology should NOT be compatible with the conceptualization of disease as: caused by evil spirits and demons and cured by skritek

103 IFOMIS Tests Uniform top-level ontology for medicine applicable at distinct granularities Test-case development of partial medical domain ontologies applied to: Standardization of clinical trial protocols Clinical trial Merkmal-dictionary Processing of unstructured patient records (

104 Uniform top-level ontology for medicine ONE YEAR Applicable at distinct granularities (e.g. gene ontology) FOUR YEARS Standardization of clinical trial protocol TWO YEARS Clinical trial Merkmal-dictionary TWO YEARS Processing of unstructured patient records ( THREE YEARS

105 Uniform top-level ontology for medicine NO COMPETITOR applicable at distinct granularities NO COMPETITOR Standardization of clinical trial protocol NO SERIOUS COMPETITOR Clinical trial Merkmal-dictionary NO COMPETITOR Processing of unstructured patient records MANY COMPETITORS, BUT GOOD MEASURES OF EFFECTIVENESS

106 The End