Relational statements in OWL Recipe for Failure ? OWL.

Slides:



Advertisements
Similar presentations
The Important Thing About By. The Important Thing About ******** The important thing about ***** is *****. It is true s/he can *****, *****, and *****.
Advertisements

1 Institute of Medical Biometry und Medical Informatics, University Medical Center Freiburg, Germany 2 AVERBIS GmbH, Freiburg, Germany 3 Paediatric Hematology.
RDF using N3. Subject, Verb and Object All knowledge is just a set of statements. Everything is identified by URI Here a local URI but could point to.
+ OWL for annotators David Osumi-Sutherland. + What is OWL? Web Ontology Language Can express everything in OBO and more. Certified web standard Fast.
Catalina Martínez-Costa, Stefan Schulz: Ontology-based reinterpretation of the SNOMED CT context model Ontology-based reinterpretation of the SNOMED CT.
1 Ontology Language Comparisons doug foxvog 16 September 2004.
Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite : An Upper Level Ontology for the Life Sciences.
FADO: Family and Domain Ontology Building an ontology of protein domains and families to support GO classification
Chapter 9: Ontology Management Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.
© Michael Lacewing Omnipotence and other puzzles Michael Lacewing co.uk.
+ From OBO to OWL and back again – a tutorial David Osumi-Sutherland, Virtual Fly Brain/FlyBase Chris Mungall – GO/LBL.
Towards a Computational Paradigm for Biological Structure Stefan Schulz Department of Medical Informatics University Hospital Freiburg (Germany) Udo Hahn.
The Role of Foundational Relations in the Alignment of Biomedical Ontologies Barry Smith and Cornelius Rosse.
Basic Critical Thinking Skills Essentials of Clear Thinking: Claims and Issues.
Ontological Foundations for Biomedical Sciences Stefan Schulz, Kornél Markó, Udo Hahn Workshop on Ontologies and their Applications, September 28, 2004,
GO Ontology Editing Workshop: Using Protege and OWL Hinxton Jan 2012.
Ontologies: Making Computers Smarter to Deal with Data Kei Cheung, PhD Yale Center for Medical Informatics CBB752, February 9, 2015, Yale University.
Developing an OWL-DL Ontology for Research and Care of Intracranial Aneurysms – Challenges and Limitations Holger Stenzhorn, Martin Boeker, Stefan Schulz,
Domain and Family Ontology Building an ontology of protein domains and families to support GO classification
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.
1 Adam Pease Articulate Software apease at articulatesoftware dot com
OWL 2 Web Ontology Language. Topics Introduction to OWL Usage of OWL Problems with OWL 1 Solutions from OWL 2.
Japan and IEEE Ontology and Taxonomy Development for GEOSS as a part of AR-09-01: GEOSS Common Infrastructure (GCI)
Principles and Practice of Ontology Development: Making Definitions Computable Chris Mungall LBL.
Basic Critical Thinking Skills Essentials of Clear Thinking: Claims and Issues.
A CompuGroup Software GmbH, Koblenz, Germany b IMBI, University Medical Center Freiburg, Germany c Semfinder AG, Kreuzlingen, Switzerland d OntoMed Research.
How Science Works The following PowerPoint is aimed at enhancing skills learnt at GCSE when performing experiments. Pupils must commit the terminology.
Axioms & Templates: Distinctions & Transformations amongst Ontologies, Frames, & Information Models or OWL, UML, and Frames Axioms & Templates: Distinctions.
2 pt 3 pt 4 pt 5pt 1 pt 2 pt 3 pt 4 pt 5 pt 1 pt 2pt 3 pt 4pt 5 pt 1pt 2pt 3 pt 4 pt 5 pt 1 pt 2 pt 3 pt 4pt 5 pt 1pt Liver GB & Biliary Sys Renal & Thyroid.
Ontological Foundations of Biological Continuants Stefan Schulz, Udo Hahn Text Knowledge Engineering Lab University of Jena (Germany) Department of Medical.
Shortcut relations. Relations used hemo-CL uses – capable_of – lacks_part (Ceusters et al) – has_plasma_membrane_part (Masci et al) – lacks_plasma_membrane_part.
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.
PHILOSOPHY Notes. SOME DEFINITIONS:  Necessary: When A is a necessary condition for B, that means that condition A must be fulfilled before condition.
COMP 170 L2 L08: Quantifiers. COMP 170 L2 Outline l Quantifiers: Motivation and Concepts l Quantifiers: Notations and Meaning l Saying things with Quantified.
Types of Biliary Atresia
+ From OBO to OWL and back again – a tutorial David Osumi-Sutherland, Virtual Fly Brain/FlyBase Chris Mungall – GO/LBL.
CS344 Artificial Intelligence Prof. Pushpak Bhattacharya Class on 26 Mar 2007.
Learning Chaotic Dynamics from Time Series Data A Recurrent Support Vector Machine Approach Vinay Varadan.
1 Nov. 2, 2005 Design and Application of Rule Based Access Control Policies Huiying Li, Xiang Zhang, Honghan Wu & Yuzhong Qu Dept. Computer.
Pre- and Post-Coordination in Biomedical Ontologies Stefan Schulz Daniel Schober Djamila Raufie Martin Boeker Medical Informatics Research Group University.
Higgs bosons, mars missions, and unicorn delusions: How to deal with terms of dubious reference in scientific ontologies Stefan Schulz a,b Mathias Brochhausen.
Unintended models in OBO - OWL ontologies OWL Stefan Schulz Freiburg University Medical Center, Germany.
Using OWL 2 For Product Modeling David Leal Caesar Systems April 2009 Henson Graves Lockheed Martin Aeronautics.
POWERPOINT PRESENTATION Group Members- Labiba Sharmin Hossain ( ) Marvia Nabi Ratree ( )
Chapter 8A Semantic Web Primer 1 Chapter 8 Conclusion and Outlook Grigoris Antoniou Frank van Harmelen.
Making sense of Description Logics Paul Warren, Paul Mulholland, Trevor Collins, Enrico Motta Knowledge Media Institute, Open University, UK UK Ontology.
Evaluating Hypotheses
Stefan Schulz Medical Informatics Research Group
Omnipotence and other puzzles
Formal ontologies vs. triple based KR gap or convergence?
Biliary hamartoma = Biliary microhamartoma = von Meyenburg complex
Outline Motivation: data mining Ontologies and all-some relationships
Ontology authoring and assessment
Stefan Schulz1,2, Daniel Schober1, Ilinca Tudose1, Holger Stenzhorn3
Permanent Generic Relatedness
Ontology.
ro.owl and shortcut relations
Harmonizing SNOMED CT with BioTopLite
Precision and Accuracy
(A) Graph showing the changes in liver function tests over time for case 1, with a summary of systemic treatments given over time. (A) Graph showing the.
Ontology.
PREGNANCY AND ITS HORMONAL CONTROL.
Volume 135, Issue 2, Pages (August 2008)
Volume 128, Issue 2, (February 2005)
4.1 Inequalities and Their Graphs
Volume 23, Issue 4, Pages (April 2018)
Types of Errors And Error Analysis.
The Linux Command Line Chapter 27
Presentation transcript:

Relational statements in OWL Recipe for Failure ? OWL

Naïve, semantic network style approach to relations Concept C1 Relation R Concept C2 Examples Hepatitis hasLocation Liver Hand hasPart Thumb Aspirin treats Headache

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis hasLocation Liver Hand hasPart Thumb Aspirin treats Headache

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis subClassOf hasLocation some Liver Hand hasPart Thumb Aspirin treats Headache

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis subClassOf hasLocation some Liver Hand subClassOf hasPart some Thumb Aspirin treats Headache

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis subClassOf hasLocation some Liver Hand subClassOf hasPart some Thumb Aspirin subClassOf treats some Headache

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis subClassOf hasLocation some Liver Hand subClassOf hasPart some Thumb Aspirin subClassOf treats some Headache Hand subClassOf hasPart only Thumb

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis subClassOf hasLocation some Liver Hand subClassOf hasPart some Thumb Aspirin subClassOf treats some Headache Thumb subClassOf partOf some Hand

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis subClassOf hasLocation some Liver Hand subClassOf hasPart some Thumb Aspirin subClassOf treats some Headache Aspirin subClassOf treats only Headache

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis subClassOf hasLocation some Liver Hand subClassOf hasPart some Thumb Aspirin subClassOf treats some Headache Headache subClassOf treatedBy some Aspirin

OWL-DL approach to relations: requires quantification Concept C1 Relation R Concept C2 some only =1 Examples Hepatitis subClassOf hasLocation some Liver Hand subClassOf hasPart some Thumb Aspirin subClassOf treats some Headache Headache subClassOf treatedBy only Aspirin

Typical errors Tonsillectomy planned SubClassOf rg some (associatedProcedure some Tonsillectomy) and… Skin_Squamous_Cell_Carcinoma_in_situ SubClassOf (diseaseMayHaveFinding some Erythema) and… Congenital absence of bile duct SubClassOf findingSite some BileDuctStructure … anti-Muellerian hormone isoform 1 unmodified form equivalentTo 'anti-Muellerian hormone isoform 1' and lacks_modification some 'post-translational protein modification' absent subClassOf reciprocal_of some 'lacking processual parts'

Conclusion The use of OWL requires a precise ontological commitment is a hand without a thumb still a hand what about a severed thumb Many important statements cannot be adequately represented OWL semantic enforces statements of the type „for all… some“ or „for all… only“ No way to express what is mostly or normally true