Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite : An Upper Level Ontology for the Life Sciences.

Slides:



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

Upper Ontology Summit Wednesday March 15 The BFO perspective Barry Smith Department of Philosophy, University at Buffalo National.
1 Institute of Medical Biometry und Medical Informatics, University Medical Center Freiburg, Germany 2 AVERBIS GmbH, Freiburg, Germany 3 Paediatric Hematology.
Temporally qualified continuants for BFO 2 OWL A bottom-up view Stefan Schulz, Janna Hastings, Fabian Neuhaus May 20, 2013 (updated)
Temporally qualified continuants for BFO 2 OWL A bottom-up view Stefan Schulz, Janna Hastings, Fabian Neuhaus Freiburg, 10 Oct 2013.
Temporally qualified continuants for BFO 2 OWL A bottom-up view Stefan Schulz, Janna Hastings July 10, 2013.
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.
Records and situations. Integrating contextual aspects in clinical ontologies Stefan Schulz a,b Daniel Karlsson b a Institute for Medical Informatics,
Towards Interoperability of Biomedical Ontologies Workshop on Biological Upper Ontologies BioTop and Chemistry Ontology Stefan Schulz, Elena Beisswanger,
How to Organize the World of Ontologies Barry Smith 1.
Extracted from “Lmo-2 interacts with Elf-2” On the Meaning of Common Statements in Biomedical Literature Stefan Schulz Department of Medical Informatics,
Temporally qualified continuants for BFO 2 OWL A bottom-up view Stefan Schulz, Janna Hastings, Fabian Neuhaus July 10, 2013.
Stefan Schulz: How Ontologies can Improve Semantic Interoperability in Health Care How Ontologies can Improve Semantic Interoperability in Health Care.
Ontology-based Convergence of Medical Terminologies: SNOMED CT and ICD-11 Institute for Medical Informatics, Statistics and Documentation, Medical University.
Does Medical Image Simulation Require Formal Ontologies?
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)
Fred Freitas Informatics Center - Federal University of Pernambuco, Brazil KR & KM group - University of Mannheim, Germany Stefan Schulz.
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
Alignment of the UMLS Semantic Network with BioTop Methodology and Assessment Stefan Schulz University Medical Center, Freiburg, Germany Elena Beisswanger.
A Case Study of ICD-11 Anatomy Value Set Extraction from SNOMED CT Guoqian Jiang, PhD ©2011 MFMER | slide-1 Division of Biomedical Statistics & Informatics,
SNOMED CT's Condition / Situation approach related to OGMS Stefan Schulz Medical University of Graz (Austria) ICBO 2013 Montreal OGMS Meeting.
The ICPS process: Typology of a novel terminological system Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany Daniel KARLSSON Department.
The Ontology of Biological Taxa
The Chronious Ontology Suite: Methodology and Design Principles Luc Schneider[1], Mathias Brochhausen[1,2] [1] Institute for Formal Ontology and Medical.
A CompuGroup Software GmbH, Koblenz, Germany b IMBI, University Medical Center Freiburg, Germany c Semfinder AG, Kreuzlingen, Switzerland d OntoMed Research.
Temporally qualified continuants for BFO 2 OWL A bottom-up view Stefan Schulz, Janna Hastings, Fabian Neuhaus 25 Oct 2013.
Towards a Top-Level Ontology for Molecular Biology Stefan Schulz 1, Elena Beisswanger 2, Udo Hahn 2, Joachim Wermter 2, 1 Freiburg University Hospital,
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.
From GENIA to BioTop – Towards a Top-Level Ontology for Biology Stefan Schulz, Elena Beisswanger, Udo Hahn, Joachim Wermter, Anand Kumar, Holger Stenzhorn.
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.
The ICPS: A taxonomy, a classification, an ontology or an information model? Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany.
How to Distinguish Parthood from Location in Bio-Ontologies Stefan Schulz a,b, Philipp Daumke a, Barry Smith c,d, Udo Hahn e a Department of 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.
Introduction to BFO 2 OWL Implementation
Naïve Approach “ABCC5 ⊑  encodes.MRP5” Critique There may be ABCC5 (sensu nucleotide chain) instances that happen to never encode any instance of the.
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,
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.
Slide 1 IDO-WS 2010 Daniel Schober Daniel Schober on behalf of DebugIT Community Semantic integration of antibiotics resistance patterns.
Upper Ontology Summit The BFO perspective Barry Smith Department of Philosophy, University at Buffalo National Center for Ontological Research National.
International Workshop 28 Jan – 2 Feb 2011 Phoenix, AZ, USA SysML and Ontology in Biomedical Modeling Henson Graves Yvonne Bijan 30 January 2011.
New York State Center of Excellence in Bioinformatics & Life Sciences R T U New York State Center of Excellence in Bioinformatics & Life Sciences R T U.
Stefan Schulz, Martin Boeker, Holger Stenzhorn: How Granularity Issues Concern Biomedical Ontology Integration Stefan Schulz, Martin Boeker, Holger Stenzhorn.
1 Standards and Ontology Barry Smith
The “Common Ontology” between ICD 11 and SNOMED CT
Stefan Schulz Medical Informatics Research Group
Formal ontologies vs. triple based KR gap or convergence?
Towards a Computational Paradigm for Biological Structure
The BioTop Family of Upper Level Ontological Resources for Biomedicine
Can SNOMED CT be harmonized with an upper-level ontology?
DEVELOPING AN OWL-DL ONTOLOGY FOR RESEARCH AND CARE OF
Ontology authoring and assessment
Representing Natural Kinds by Spatial Inclusion and Containment
September 8, 2015 | Basel, Switzerland
Stefan Schulz1,2, Daniel Schober1, Ilinca Tudose1, Holger Stenzhorn3
ICD 11 FC and SNOMED CT – finding as Ontologies of Clinical Situations
Harmonizing SNOMED CT with BioTopLite
FOUST II – 2nd Workshop on Foundational Ontologies
Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany
Stefan Schulz – Medical University of Graz (Austria) with input from
Temporally qualified continuants for BFO 2 OWL A bottom-up view
ODLS 2016 Workshop on Ontologies and Data in Life Sciences, Sep 29-30, Halle (Saale), Germany Ontological interpretation of biomedical database annotations.
BFO meets critics Workshop organised by Barry Smith
Presentation transcript:

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite : An Upper Level Ontology for the Life Sciences Evolution, Design and Application Stefan Schulz 1,2, Martin Boeker 2 1 Institute for Medical Informatics, Statistics and Documentation, Medical University of Graz, Austria 2 Institute of Medical Biometry and Medical Informatics, University Medical Center, Freiburg, Germany Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013

Good reasons for highly constrained upper-level ontologies (ULOs) Guidance of ontology engineering process Standardization of ontology artefacts Decrease degrees of freedom  increase in interoperability Prevention of design errors Enforcement of a coherent upper-level view on the world Example: division continuants – occurrents information entities – real entities

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Existing ULOs have shortcomings for use in the biomedical domain DOLCE: focussed on cognitive science, atemporal models BFO, current version 1.1 has no relations, unintuitive labels, version 2.0 under development, controversial issues GFO-Bio: difficult to understand UMLS Semantic network, GALEN upper level, Semanticscience Integrated Ontology: overly pragmatic, no principled criteria for upper-level divisions, more language-oriented than philosophy-oriented

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Evolution of BioTop since 2006 I(I)I Inspired by GENIA ontology: fixing of issues and broadening of scope Design characteristics OWL-DL Mutually exclusive upper-level categories Limited set of relations Highly constrained Understandable naming Focus on cell biology and biomolecules

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Evolution of BioTop since 2006 (II)I Use for ontology building in large EU (neurology, neurosurgery) DebugIT (nosocomial infections) Need for increased performance Separation of many biochemistry related classes  ChemTop (no further maintained, due to evolution of ChEBI) Alignment with UMLS Semantic Network Addition of medicine-related classes External criterion for scoping Alignment with upper-level ontologies BFO, RO, DOLCE

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Evolution of BioTop since 2006 (III) Creation of "lite" version BTL Testing in ontology tutorials Basis for Guideline for "Good ontology design" Use in experimental ontologies in the SNOMED CT development process New requirements, e.g. Causation Inherent ambiguity of medical terms, e.g. "Fracture" structure or process "Allergy" process or disposition Condition equivalentTo MaterialObject or Disposition or Process

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite -> BioTopLite2 Main principles Pragmatic realist view Agnostic stance with regard to the existence of universals Compulsive use of top-level: domain classes must be placed under them Flat hierarchy, no top-level classes like Continuant, Occurrent Intuitive naming of classes and relations ('has locus' -> 'is Included in') Information object as toplevel class Set of relations (object properties) considered as closed. Relational predicates to be reified form process subclasses Further reduction of object properties ('processual part of' -> 'part of') All instances are considered to be temporally qualified (since ternary relations like 'part of' (a, b, t) not possible)

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite2 : Characteristics MetricsCount Classes53 Object properties37 Logical axioms240 - Subclass axioms172 - Equivalence axioms5 - Disjointness axioms14 - CGI14 - SubObjectProperty axioms25 - Property chains2

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite2: Classes

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite2: Classes

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite2: Object Properties

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite2: Object Properties

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BTL2 example: Axioms for "material object"

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Temporally qualified entities (I) Problem: relations between continuant (endurant) objects are time- dependent, e.g. part-of (Heart#1234, John, ) part-of (Heart#1234, Jack, ) OWL object properties are only binary Proposed solution (implemented in BTL2, currently under discussion for BFO2): Instances of continuant entities are considered to be temporally qualified, such as rdf:Type Heart rdf:Type Heart

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Temporally qualified entities (II) Consequences of temporally qualified continuants at the class (Tbox) level: Class Entity at some useful as a means to enforce that instances of time-dependent classes be placed in a temporal context 'Material object' subClassOf 'is included in' only 'Entity at some time' Advantage: expression of temporary relatedness: 'Structured biological entity' subClassOf 'at some time' some ('is part of' some Organism) 'at some time' relates a temporally qualified continuant with any of its temporally qualified "siblings"

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Current use of BTL / BTL2 SemanticHealthNet EU Network of Excellence: Upper level for information model and clinical terminology (SNOMED CT) CELDA: ontology of cell types, in vitro as well as in vivo, based on species, anatomy, subcellular structures, developmental stages and origin International Health Terminology Standards Development Organization: in several experimental ontologies (event, condition, episode; observables)

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Access to BioTop and BioTopLite Website: Mailing list: Feedback welcome!

Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 Acknowledgements People who contributed to the development of BioTop or provided important ideas: Elena Beisswanger, Edward Cheetham, Bruce Goldberg, Udo Hahn, Robert Hoehndorf, Ludger Jansen, Catalina Martínez-Costa, Alan Rector, Daniel Schober, Kent Spackman, Holger Stenzhorn