Extracted from “Lmo-2 interacts with Elf-2” On the Meaning of Common Statements in Biomedical Literature Stefan Schulz Department of Medical Informatics,

Slides:



Advertisements
Similar presentations
Deductive Validity In this tutorial you will learn how to determine whether deductive arguments are valid or invalid. Go to next slide.
Advertisements

Design by Contract.
1 Institute of Medical Biometry und Medical Informatics, University Medical Center Freiburg, Germany 2 AVERBIS GmbH, Freiburg, Germany 3 Paediatric Hematology.
A Description Logics Approach to Clinical Guidelines and Protocols Stefan Schulz Department of Med. Informatics Freiburg University Hospital Germany Udo.
SNOMED CT’s Ontological Commitment Stefan Schulz University Medical Center, Freiburg, Germany Ronald Cornet Academic Medical Center, Amsterdam, The Netherlands.
Stefan Schulz Language and Information Engineering (JULIE) Lab, Jena University, Germany Representing Natural Kinds by Spatial Inclusion and Containment.
OASIS Reference Model for Service Oriented Architecture 1.0
Prepared By Jacques E. ZOO Bohm’s Philosophy of Nature David Bohm, Causality and Chance in Modern Physics (New York, 1957). From Feyerabend, P. K.
1 DISPOSITION AND DISEASE * * * * * * Neil E. Williams (University at Buffalo) DISEASE ONTOLOGY WORKSHOP November 6-7 th 2006.
Use of Ontologies in the Life Sciences: BioPax Graciela Gonzalez, PhD (some slides adapted from presentations available at
BIT-224 Audit Chapter-2 Muhammad Khurshid Khan. Auditing Standards GAAS—Generally accepted auditing standards ensure “uniformly high quality audit work”
Description Logics. Outline Knowledge Representation Knowledge Representation Ontology Language Ontology Language Description Logics Description Logics.
Basic probability Sample Space (S): set of all outcomes of an experiment Event (E): any collection of outcomes Probability of an event E, written as P(E)
The metaphysics of mind: an overview Michael Lacewing
Sabine Mendes Lima Moura Issues in Research Methodology PUC – November 2014.
Mind-Body Problem Unit 1: What Is A Person Mr. DeZilva Grade 11 Philsophy.
Chapter 5 Preview Section 1 Elements Section 2 Compounds
Developing an OWL-DL Ontology for Research and Care of Intracranial Aneurysms – Challenges and Limitations Holger Stenzhorn, Martin Boeker, Stefan Schulz,
Standardization of Anatomy Parts and Wholes – From Function to Location Stefan Schulz Department of Medical Informatics University Hospital Freiburg (Germany)
The Foundational Model of Anatomy and its Ontological Commitment(s) Stefan Schulz University Medical Center, Freiburg, Germany FMA in OWL meeting November.
Modeling & Simulation: An Introduction Some slides in this presentation have been copyrighted to Dr. Amr Elmougy.
Converting Macromolecular Regulatory Models from Deterministic to Stochastic Formulation Pengyuan Wang, Ranjit Randhawa, Clifford A. Shaffer, Yang Cao,
The ICPS process: Typology of a novel terminological system Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany Daniel KARLSSON Department.
Chapter 1 Logic Section 1-1 Statements Open your book to page 1 and read the section titled “To the Student” Now turn to page 3 where we will read the.
Scientific Processes Mrs. Parnell. What is Science? The goal of science is to investigate and understand the natural world, to explain events in the natural.
Sunday, July 22, 2012 Plan Areas of coverage: high-level neurological system process, inc. sensory perception, sensory processing, cognition transmission.
Ontological Foundations of Biological Continuants Stefan Schulz, Udo Hahn Text Knowledge Engineering Lab University of Jena (Germany) Department of Medical.
A Context Model based on Ontological Languages: a Proposal for Information Visualization School of Informatics Castilla-La Mancha University Ramón Hervás.
The ICPS: A taxonomy, a classification, an ontology or an information model? Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany.
1 Kyung Hee University Statecharts Spring Kyung Hee University Specifying Objects’ Behaviour  Interaction diagrams show message-passing behaviour.
April 28, 2003 Early Fault Detection and Failure Prediction in Large Software Systems Felix Salfner and Miroslaw Malek Department of Computer Science Humboldt.
CISB113 Fundamentals of Information Systems Data Management.
How much formality do we need ? Stefan Schulz MedInfo 2007 Workshop: MedSemWeb 2007 What Semantics Do We Need for A Semantic Web for Medicine? University.
What is an Ontology? A representation of knowledge in a domain In theory Thomas Gruber (1993) “An ontology is a formal, explicit specification of a shared.
Chapter 5: Mind and Body The Rejection of Dualism
Naïve Approach “ABCC5 ⊑  encodes.MRP5” Critique There may be ABCC5 (sensu nucleotide chain) instances that happen to never encode any instance of the.
Why do laws explain?. Laws are universal statements of the form “All a’s are b’s,” “Whenever an event of type C occurs, an event of type E occurs,” “If.
Some Thoughts to Consider 8 How difficult is it to get a group of people, or a group of companies, or a group of nations to agree on a particular ontology?
Towards a Top-Domain Ontology for Linking Biomedical Ontologies Holger Stenzhorn a,b Elena Beißwanger c Stefan Schulz a a Department of Medical Informatics,
MDA & RM-ODP. Why? Warehouses, factories, and supply chains are examples of distributed systems that can be thought of in terms of objects They are all.
The EPR Paradox, Bell’s inequalities, and its significance By: Miles H. Taylor.
Background-assumptions in knowledge representation systems Center for Cultural Informatics, Institute of Computer Science Foundation for Research and Technology.
+ Properties of Real Numbers. + Properties Relationships that are always true fro real numbers are called properties. Properties are rules used to rewrite.
1 Biomarkers in the Ontology for General Medical Science Medical Informatics Europe (MIE) 2015 May 28, 2015 – Madrid, Spain Werner CEUSTERS 2, MD and Barry.
Towards a Semantic Model for Java Wildcards Sophia Drossopoulou Mariangiola Dezani-Ciancaglini Imperial College London Università di Torino Italy Nicholas.
1-4 Properties How are real-life situations commutative?
Modelling & Simulation of Semiconductor Devices Lecture 1 & 2 Introduction to Modelling & Simulation.
The Bible Authorizes By Direct Statement Direct Statements are the explicitly “spelled-out” propositions which the Bible records. Direct Statements are.
An Inductive Calculus for Infinite Lottery Machines
Business System Development
Formal ontologies vs. triple based KR gap or convergence?
Fuzzy Inference Systems
DEVELOPING AN OWL-DL ONTOLOGY FOR RESEARCH AND CARE OF
Ontology authoring and assessment
Ontology From Wikipedia, the free encyclopedia
Representing Natural Kinds by Spatial Inclusion and Containment
Representing Dispositions
Structured Electronic Health Records and Patient Data Analysis: Pitfalls and Possibilities. January 7, 2013 Farber Hal G-26, University at Buffalo, South.
according to Stephen Toulmin
Chap 3: Fuzzy Rules and Fuzzy Reasoning
A Description Logics Approach to Clinical Guidelines and Protocols
Survey of Knowledge Base Content
Ethics: Theory and Practice
Scientific Inquiry Unit 0.3.
Single-Case Designs.
Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany
Entity-Relationship Diagram (ERD)
A Description Logics Approach to Clinical Guidelines and Protocols
Debate issues Sabine Mendes Lima Moura Issues in Research Methodology
ODLS 2016 Workshop on Ontologies and Data in Life Sciences, Sep 29-30, Halle (Saale), Germany Ontological interpretation of biomedical database annotations.
Presentation transcript:

extracted from “Lmo-2 interacts with Elf-2” On the Meaning of Common Statements in Biomedical Literature Stefan Schulz Department of Medical Informatics, Freiburg University Hospital, Germany Ludger Jansen Department of Philosophy, University of Rostock, Germany delivered at KR-MED 2006

Protein-Protein Interactions Interaction:  Binding  Upregulation  Downregulation  Activation  Inhibition  Phosphorylation  …

“Lmo-2 interacts with Elf-2”

Referents of Protein names “Lmo-2” may refer to  One single Lmo-2 molecule  Some amount of Lmo-2, e.g. in an experiment  The collection of all Lmo-2 molecules in the world  The mental representation of “Lmo-2”  The universal (type) “Lmo-2”

“Lmo-2 interacts with Elf-2”

“Lmo-2 interacts with Elf-2”: Existential interpretation of single events 1. There is one interaction event which involves one single Lmo-2 molecule and one single Elf- 2 molecule 2. There is one interaction event which involves an amount of Lmo-2 and an amount of Elf-2 3. There is one interaction event which involves one single Lmo-2 molecule and an amount of Elf-2 4. There is one interaction event which involves an amount of Lmo-2 and an single Elf-2 molecule

“Lmo-2 interacts with Elf-2”: Existential interpretation of collective events 1. There are multiple interactions which pairwise involve single Lmo-2 molecules single Elf-2 molecules 2. There are multiple interactions which involve amounts of Lmo-2 and amounts of Elf-2 3. There are multiple interactions each of which involves one single Lmo-2 molecule and an amount of Elf-2 4. There are multiple interactions each of which involves an amount of Lmo-2 and one single Elf-2 molecule

Generic Interpretations

“Lmo-2 interacts with Elf-2”: Generic interpretation of events 1. All Lmo-2 molecules interact with some Elf-2 molecule 2. All amounts of Lmo-2 interact with some amount of Elf-2 3. All Lmo-2 molecules interact with some amount of Elf-2 4. All amounts of Lmo-2 interact with some Elf-2 molecule

1. All instances of Lmo-2/Elf-2 Interaction have one Lmo-2 and one Elf-2 molecule as participants 2. All instances of Lmo-2/Elf-2 Interaction ’ have one amount of Lmo-2 and one amount of Elf-2 as participants 3. (…) “Lmo-2 interacts with Elf-2”: Generic interpretations by introducing new event types

… but this does not further describe generic behaviour of the proteins involved either

So far… Valid existential statements on  instances of molecules  instances of amounts of molecules  instances of events Valid universal statements on  subtypes of events Invalid universal statements on  molecules  amounts of molecules

Are there universally true properties of molecules or amounts of molecules regarding interaction ?

Dispositional Reading Authors of “Lmo-2 interacts with Elf-2” possibly do not want to refer to accidental occurrences They may want to express a disposition (the capability of an entity of doing sth.) “Lmo-2 molecules have the disposition to interact with Elf-2 molecules”

Canonical (wild type) interactions

Ambiguities dispositional readings 1. Which event is it exactly that the property in question is meant to cause? A: Single events / Collective events 2. What is thought to be the bearer of this property A: Single molecules / Collectives of molecules 3. Which kind of property is in fact intended to be ascribed? …

Surefire dispositions (tendencies) Dispositions to react invariably in a certain way under specific circumstances Problem: Which are the circumstances for the realization of a disposition?  Under “all” circumstances: already discarded  Under “some” circumstances: considering extreme circumstances, (nearly) any interaction is possible  How to define “normal circumstances” ? (range of normality wrt concentration, pressure, temperature, pH etc.)

Probabilistic Dispositions (propensities) Dispositions which get realized with a certain probability under given circumstances Two patterns  Real stochastic behavior, e.g. low concentrations of one reagent  Hidden distinguishing characteristics, e.g. different subtypes of molecules: wildtype interacts, mutant does not

“Lmo-2 interacts with Elf-2”: Generic dispositions 1. All single Lmo-2 molecules have the disposition to react with some single Elf-2 molecule 2. All amounts of Lmo-2 have the disposition to react with some amount of Elf-2 3. All single Lmo-2 molecules have the disposition to react with some amount of Elf-2 molecules 4. All amounts of Lmo-2 have the disposition to react with some single Elf-2 molecule

Finally… Valid existential statements on  instances of molecules  instances of amounts of molecules  instances of events Valid universal statements on  subtypes of events Valid universal statements about dispositions of  molecules  amounts of molecules

Ontology in Practice = Biologists’ Nightmare ?

Simplifying matters and maintaining ontological correctness

Referents of Protein names “Lmo-2” may refer to  One single Lmo-2 molecule  Some amount of Lmo-2 molecules, e.g. in an experiment  The universal (type) “Lmo-2”

Referents of Protein names Proposal: “Lmo-2” refers to  The universal (type) Lmo-2 molecule Or  An undefined number (n>0) of instances of Lmo-2

Referents of Interaction Assertions Proposal: “Interacts” refers to  A plurality of interaction events Reason: Unique interaction events cannot be detected and are irrelevant

Introducing Dispositions Disposition taxonomies: Disposition Disposition to Interact Disposition to Interact with Elf-2 is-a

Conclusion: “Lmo-2 interacts with Elf-2” has the following two readings: 1.There are a plurality of interaction events each of them has one or many Lmo-2 molecules and one or many Elf-2 molecules as participants 2.Every single Lmo-2 molecule or plurality thereof has the disposition to interact with one or many Elf-2 molecules