A CompuGroup Software GmbH, Koblenz, Germany b IMBI, University Medical Center Freiburg, Germany c Semfinder AG, Kreuzlingen, Switzerland d OntoMed Research.

Slides:



Advertisements
Similar presentations
Semantic Interoperability in Health Informatics: Lessons Learned 10 January 2008Semantic Interoperability in Health Informatics: Lessons Learned 1 Medical.
Advertisements

KR-2002 Panel/Debate Are Upper-Level Ontologies worth the effort? Chris Welty, IBM Research.
Consistent and standardized common model to support large-scale vocabulary use and adoption Robust, scalable, and common API to reduce variation in clinical.
1 Institute of Medical Biometry und Medical Informatics, University Medical Center Freiburg, Germany 2 AVERBIS GmbH, Freiburg, Germany 3 Paediatric Hematology.
Relations in Anatomy and Image Ontologies Dirk Marwede Institute for Formal Ontology and Medical Information Science, Saarland University, Saarbruecken,
Anatomical boundaries and immaterial objects Stefan Schulz Department of Medical Informatics University Hospital Freiburg (Germany)
Catalina Martínez-Costa, Stefan Schulz: Ontology-based reinterpretation of the SNOMED CT context model Ontology-based reinterpretation of the SNOMED CT.
Higgs bosons, mars missions, and unicorn delusions: How to deal with terms of dubious reference in scientific ontologies Stefan Schulz a,b Mathias Brochhausen.
So What Does it All Mean? Geospatial Semantics and Ontologies Dr Kristin Stock.
Ontologies - Design principles Cartic Ramakrishnan LSDIS Lab University of Georgia.
SNOMED CT’s Ontological Commitment Stefan Schulz University Medical Center, Freiburg, Germany Ronald Cornet Academic Medical Center, Amsterdam, The Netherlands.
Ontology Notes are from:
PR-OWL: A Framework for Probabilistic Ontologies by Paulo C. G. COSTA, Kathryn B. LASKEY George Mason University presented by Thomas Packer 1PR-OWL.
FMA: a domain reference ontology Comments on Cornelius Rosse’s talk Anita Burgun WG6 meeting, Rome 29 Apr- 2 May 2005.
Four Dark Corners of Requirements Engineering
Software Requirements
Ontological Model for Colon Carcinoma: A Case Study for Knowledge Representation in Clinical Bioinformatics Kumar A 1,2, Yip L 3, Jaremek M 2, Scheib H.
What is an Ontology? AmphibiaTree 2006 Workshop Saturday 8:45–9:15 A. Maglia.
Some comments on Granularity Scale & Collectivity by Rector & Rogers Thomas Bittner IFOMIS Saarbruecken.
Copyright © 2001 College of American Pathologists Sample Hierarchy for Hepatitis Chronic viral hepatitis Chronic viral hepatitis C About SNOMED Relationships.
GO Ontology Editing Workshop: Using Protege and OWL Hinxton Jan 2012.
10 December, 2013 Katrin Heinze, Bundesbank CEN/WS XBRL CWA1: DPM Meta model CWA1Page 1.
TDT 4242 Inah Omoronyia and Tor Stålhane Guided Natural Language and Requirement Boilerplates TDT 4242 Institutt for datateknikk og informasjonsvitenskap.
Developing an OWL-DL Ontology for Research and Care of Intracranial Aneurysms – Challenges and Limitations Holger Stenzhorn, Martin Boeker, Stefan Schulz,
Semantic Relations in the Environmental Domain Gerhard Budin.
The Foundational Model of Anatomy and its Ontological Commitment(s) Stefan Schulz University Medical Center, Freiburg, Germany FMA in OWL meeting November.
Stefan Schulz Medical Informatics Research Group
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.
Concept Model for observables, investigations, and observation results For the IHTSDO Observables Project Group and LOINC Coordination Project Revision.
Alignment of the UMLS Semantic Network with BioTop Methodology and Assessment Stefan Schulz University Medical Center, Freiburg, Germany Elena Beisswanger.
School of Computing FACULTY OF ENGINEERING Developing a methodology for building small scale domain ontologies: HISO case study Ilaria Corda PhD student.
TDT 4242 Inah Omoronyia and Tor Stålhane Guided Natural Language and Requirement Boilerplates TDT 4242 Institutt for datateknikk og informasjonsvitenskap.
MPEG-7 Interoperability Use Case. Motivation MPEG-7: set of standardized tools for describing multimedia content at different abstraction levels Implemented.
The Ontology of Biological Taxa
Scalable representations of diseases in biomedical ontologies and in SNOMED CT Stefan Schulz Institute of Medical Biometry und Medical Informatics University.
+ CARO 2.0 & FUNCARO David Osumi-Sutherland. + Review of CARO (v1) Many definitions are complicated and opaque: ‘anatomical group: “[An] anatomical structure.
American Medical Informatics Association Annual Symposium 2001 The Role of Definitions in Biomedical Concept Representation Joshua Michael, José L. V.
A School of Information Science, Federal University of Minas Gerais, Brazil b Medical University of Graz, Austria, c University Medical Center Freiburg,
WHO – IHTSDO: SNOMED CT – ICD-11 coordination: Conditions vs. Situations Stefan Schulz IHTSDO conference Copenhagen, Apr 24, 2012.
Ontological Foundations of Biological Continuants Stefan Schulz, Udo Hahn Text Knowledge Engineering Lab University of Jena (Germany) Department of Medical.
The ICPS: A taxonomy, a classification, an ontology or an information model? Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany.
Scalable representations of diseases in biomedical ontologies Stefan Schulz, Djamila Raufie, Martin Boeker Institute of Medical Biometry und Medical Informatics.
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.
Of 33 lecture 1: introduction. of 33 the semantic web vision today’s web (1) web content – for human consumption (no structural information) people search.
2004 Hawaii Inter Conf Comp Sci1 Specifying and Proving Object- Oriented Programs Arthur C. Fleck Computer Science Department University of Iowa.
© University of Manchester Creative Commons Attribution-NonCommercial 3.0 unported 3.0 license Lexically Suggest, Logically Define: QA of Qualifiers &
Approach to building ontologies A high-level view Chris Wroe.
Pre- and Post-Coordination in Biomedical Ontologies Stefan Schulz Daniel Schober Djamila Raufie Martin Boeker Medical Informatics Research Group University.
Detection of underspecifications in SNOMED CT concept definitions using language processing 1 Federal Technical University of Paraná (UTFPR), Curitiba,
Higgs bosons, mars missions, and unicorn delusions: How to deal with terms of dubious reference in scientific ontologies Stefan Schulz a,b Mathias Brochhausen.
Software Engineering, COMP201 Slide 1 Software Requirements BY M D ACHARYA Dept of Computer Science.
Unintended models in OBO - OWL ontologies OWL Stefan Schulz Freiburg University Medical Center, Germany.
Background-assumptions in knowledge representation systems Center for Cultural Informatics, Institute of Computer Science Foundation for Research and Technology.
Ontology III Cristian Cocos (CLIStFX). Recap What Why (interoperability, “Tower of Babel,” the problem of “human idiosyncrasy”) Upper-Level Ontology,
1 Software Requirements Descriptions and specifications of a system.
Oncology in SNOMED CT NCI Workshop The Role of Ontology in Big Cancer Data Session 3: Cancer big data and the Ontology of Disease Bethesda, Maryland May.
I&C Lab Seminar Procedure for the Software Requirements Specification for Safety Critical Systems Seo Ryong Koo Korea Advanced Institute Science.
Knowledge Representation Part I Ontology Jan Pettersen Nytun Knowledge Representation Part I, JPN, UiA1.
Stefan Schulz Medical Informatics Research Group
SNOMED CT Logic Profile Enhancement Yongsheng Gao, 2017/07/11
Software Requirements
Formal ontologies vs. triple based KR gap or convergence?
ece 627 intelligent web: ontology and beyond
Can SNOMED CT be harmonized with an upper-level ontology?
Ontology authoring and assessment
Ontology.
Architecture for ICD 11 and SNOMED CT Harmonization
Harmonizing SNOMED CT with BioTopLite
Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany
The Foundational Model of Anatomy
Presentation transcript:

a CompuGroup Software GmbH, Koblenz, Germany b IMBI, University Medical Center Freiburg, Germany c Semfinder AG, Kreuzlingen, Switzerland d OntoMed Research Group, University of Leipzig, Germany Can a hole be inflamed? On the handling of anatomical cavities in SNOMED CT © J.Niggemann a, S.Schulz b, H.R.Straub c, H.Herre d The world of human reasoning sinusitis Sinus is a cavity which is lined by a mucous membrane Only tissues (e.g. submucous tissue) can be inflamed Sinusitis means inflammation of sinus Hidden Knowledge: Humans „just understand it right“ Representational principle: „Domain Adequacy“: Terminology concepts shall reflect human understanding The world of machine reasoning Colloquial expressions precise expressions explicit knowledge strict logic reasoning: and Sinus is a Cavity and only Tissues can be inflamed Sinusitis means Inflammation of Sinus contradiction Machines need everything right Representational principle: „Logical Consistency“ Ontology classes are defined by logical axioms Can SNOMED CT bridge the worlds? Example of anatomical cavities to illustrate the steps to be taken => Current SNOMED CT definition of „maxillary sinusitis“ Necessary formal adjustments Result Maxillary sinusitis equivalentTo associated_morphology some Inflammation and finding_site some Maxillary sinus structure SNOMED CT concepts should be related to a principled top level ontology This will define basic categories like „Material structure“ and „Immaterial structure“, and axioms such as „a Material structure can be located_in an Immaterial structure, but not be part_of an Immaterial structure“ The upper ontology GFO contains a precise description of cavities. From these the following can be derived: 1. Holes have a host, they are dependent entities 2. The host is not part of the hole 3. Holes can contain a material structure 4. Their contents are not part of the hole, but the host of the hole can (but doesn’t need to) have the containees as part. In SNOMED CT the relations "has_participant" and "has_location" substitute the (ambiguous) relation has_finding_site SNOMED CT should basically distinguish 1. Body part, which is a material object and is in the range of "has_participant" 2. Body region, which is a spatial region and in the range of "has_location" 3. Body cavity, which is a hole and is also in the range of "has_location" The example then looks like this: Maxillary sinusitis equivalentTo Pathological process and has_participant some (Mucous membrane and bearer_of some Inflammatory Quality) and has_location some Maxillary sinus SNOMED CT should distinguish between localization and participation A process (such as Maxillary sinusitis) has material structures as participants. Both processes and material structures are located in material or immaterial structures. These are not necessarily participants. SNOMED CT should clarify the ontological nature of morphologic abnormalities Most material correlates of pathological processes can be described as altered body parts (e.g. inflamed tissue). Alternatively one can ascribe them qualities, e.g. tissue which is inflamed. Using process nouns for describing morphology is misleading. SNOMED CT relations should conform to a relation ontology, e.g. the OBO RO. Rules for the concatenation of relations should be established, e.g. the transitivity of part_of and has_location, or the right identity: part_of has_location  has_location Abnormal morphologies are described in terms of qualities Body parts are related to their inherent qualities by the relation "bearer_of“ (using OWL-DL in Manchester Syntax) Allow nesting of expressions