BFO meets critics Workshop organised by Barry Smith

Slides:



Advertisements
Similar presentations
KR-2002 Panel/Debate Are Upper-Level Ontologies worth the effort? Chris Welty, IBM Research.
Advertisements

Upper Ontology Summit Wednesday March 15 The BFO perspective Barry Smith Department of Philosophy, University at Buffalo National.
Catalina Martínez-Costa, Stefan Schulz: Ontology-based reinterpretation of the SNOMED CT context model Ontology-based reinterpretation of the SNOMED CT.
Species-Neutral vs. Multi-Species Ontologies Barry Smith.
Higgs bosons, mars missions, and unicorn delusions: How to deal with terms of dubious reference in scientific ontologies Stefan Schulz a,b Mathias Brochhausen.
Schulz S, Boeker M – BioTopLite – An Upper Level Ontology for the Life Sciences – ODLS 2013 BioTopLite : An Upper Level Ontology for the Life Sciences.
A Description Logics Approach to Clinical Guidelines and Protocols Stefan Schulz Department of Med. Informatics Freiburg University Hospital Germany Udo.
Records and situations. Integrating contextual aspects in clinical ontologies Stefan Schulz a,b Daniel Karlsson b a Institute for Medical Informatics,
Ontologies for the Study of Neurological Disease Mark Jensen ICBO 2012—Workshop on Mental Functioning July 22, Graz, Austria.
Ontology Notes are from:
1 Introduction to (Geo)Ontology Barry Smith
FMA: a domain reference ontology Comments on Cornelius Rosse’s talk Anita Burgun WG6 meeting, Rome 29 Apr- 2 May 2005.
Extracted from “Lmo-2 interacts with Elf-2” On the Meaning of Common Statements in Biomedical Literature Stefan Schulz Department of Medical Informatics,
Ifomis.org 1 Biomedical Ontology in Saarbrücken Barry Smith
HL7 RIM Exegesis and Critique Regenstrief Institute, November 8, 2005 Barry Smith Director National Center for Ontological Research.
Ontology-based Convergence of Medical Terminologies: SNOMED CT and ICD-11 Institute for Medical Informatics, Statistics and Documentation, Medical University.
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.
Ontology Development in the Sciences Some Fundamental Considerations Ontolytics LLC Topics:  Possible uses of ontologies  Ontologies vs. terminologies.
10th Intl. Protégé Conference - July 15-18, Budapest, Hungary Do ontologies work? Barriers and Possibilities to Implement Ontologies in (Health)
The New Zealand Institute for Plant & Food Research Limited Matthew Laurenson Ontologies.
SNOMED CT's Condition / Situation approach related to OGMS Stefan Schulz Medical University of Graz (Austria) ICBO 2013 Montreal OGMS Meeting.
Ontology for General Medical Science Overview and OBO Foundry Criteria Albert Goldfain Blue Highway / University at Buffalo ICBO.
Scalable representations of diseases in biomedical ontologies and in SNOMED CT Stefan Schulz Institute of Medical Biometry und Medical Informatics University.
Schema Interoperability Liam Magee Global Cities Institute RMIT University Melbourne, Australia.
Temporal Reasoning and Planning in Medicine Frame-Based Representations and Description Logics Yuval Shahar, M.D., Ph.D.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
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.
SSO: THE SYNDROMIC SURVEILLANCE ONTOLOGY Okhmatovskaia A, Chapman WW, Collier N, Espino J, Conway M, Buckeridge DL Ontology Description The SSO was developed.
From Allesandro Lenci. Linguistic Ontologies Mikrokosmos (Nirenburg, Mahesh et al.) Generalized Upper Model (Bateman et al.)Generalized Upper Model WordNet.
Scalable representations of diseases in biomedical ontologies Stefan Schulz, Djamila Raufie, Martin Boeker Institute of Medical Biometry und Medical Informatics.
Mental Functioning Ontology and the ICF Barry Smith October 1, 2012.
1 Introduction to Allergy Ontology Barry Smith Rho, Chapel Hill, October 10, 2013.
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.
Higgs bosons, mars missions, and unicorn delusions: How to deal with terms of dubious reference in scientific ontologies Stefan Schulz a,b Mathias Brochhausen.
© University of Manchester Creative Commons Attribution-NonCommercial 3.0 unported 3.0 license Quality Assurance, Ontology Engineering, and Semantic Interoperability.
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.
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.
© University of Manchester Creative Commons Attribution-NonCommercial 3.0 unported 3.0 license Quality Assurance, Ontology Engineering, and Semantic Interoperability.
National center for ontological research.
1 Standards and Ontology Barry Smith
Knowledge Representation Part I Ontology Jan Pettersen Nytun Knowledge Representation Part I, JPN, UiA1.
CPR Ontology: Issues Encountered Using BFO Chimezie Ogbuji.
n-ary relations OWL modeling problem when n≥3
Representation of Hypersensitivity and Allergy in SNOMED CT
The “Common Ontology” between ICD 11 and SNOMED CT
Department of Psychiatry, University at Buffalo, NY, USA
Stefan Schulz Medical Informatics Research Group
Formal ontologies vs. triple based KR gap or convergence?
Ontology Framework: Results of Ontology Summit 2007
Knowledge Representation Part I Ontology
The BioTop Family of Upper Level Ontological Resources for Biomedicine
Can SNOMED CT be harmonized with an upper-level ontology?
February 17, 2017 Bruce Goldberg, MD, PhD
DEVELOPING AN OWL-DL ONTOLOGY FOR RESEARCH AND CARE OF
September 8, 2015 | Basel, Switzerland
Representing Dispositions
Kenneth Baclawski et. al. PSB /11/7 Sa-Im Shin
LEXICAL RELATIONS IN DISCOURSE
Hypersensitivity dispositions as clinical findings
A Description Logics Approach to Clinical Guidelines and Protocols
Harmonizing SNOMED CT with BioTopLite
Lexical ambiguity in SNOMED CT
CA COST Action CA15205 Gene Regulation Ensemble Effort for the Knowledge Commons From GRO (Gene regulation ontology) to GRAO (Gene regulation application.
Stefan SCHULZ IMBI, University Medical Center, Freiburg, Germany
Depts of Biomedical Informatics and Psychiatry
A Description Logics Approach to Clinical Guidelines and Protocols
The Classical Approach to Categorization
Presentation transcript:

BFO meets critics Workshop organised by Barry Smith Stefan Schulz Medical University of Graz (Austria) purl.org/steschu Pragmatic issues of representation of diseases in BFO BFO meets critics Workshop organised by Barry Smith

Ontological vs. linguistic semantics The "clean" world of BFO BFO represent universals (types) in reality All entities are either continuants or occurrents Ontologies are not primarily intended to represent the meaning of human language terms

Ontological vs. linguistic semantics The "clean" world of BFO BFO represent universals (types) in reality All entities are either continuants or occurrents Ontologies are not primarily intended to represent the meaning of human language terms The "dirty" world of medical documentation Use of polysemous terms "Clean" inferences "Classical" reasoning pattern Allergic rhinitis is located in the Nasal mucosa Nasal mucosa is part of Nose Allergic rhinitis is located in the Nose Horrocks I, Rector AL, Goble CA. A Description Logic Based Schema for the Classification of Medical Data. KRDB. Vol. 96. 1996.

Polysemic patterns "Dot types" Medical examples Ontological dependency PROCESS  OBJECT DISPOSITION  PROCESS Medical examples Malignant growth process  Malignant tumour Inflammation process  Inflammatory structure Allergic disposition  Allergic reaction Ontological dependency every tumour is the result of some growth process every allergic reaction is the realisation of some allergic disposition INSTITUTION  BUILDING  PEOPLE 1. The university specializes in humanities 2. The university is in the city centre 3. The university is on strike J. Pustejovsky: The generative lexicon, MIT Press, 1995. A. Arapinis, L. Vieu: Complex categories in ontologies, FOIS 2014 Workshop on ontology and linguistics

Disease, disorder, sickness, illness, maladie, Krankheit, Störung, enfermedad, disturbio.. … no clear-cut ontological category or categories OGMS, based on BFO, distinguishes ogms:Disorder is-a bfo:Object ogms:Disease is-a bfo:Disposition ogms:Disease course is-a bfo:Process In medical discourse and documentation: current use of e.g. "tumour", "inflammation", "sclerosis": no clear commitment to either process or material object In current clinical vocabularies: no consequent distinction (partly between disposition and manifestation, e.g. allergy) Ontology for General Medical Science (OGMS) https://code.google.com/p/ogms/

Clinical condition as defined class? On the side of BFO: lack of commitment -> disjunctions? Clinical condition =def Clinical process  Clinical material object  Clinical disposition How to formalise this "classical" reasoning pattern? c instance-of Clinical condition at all times m1 instance-of Anatomical object at all times m2 instance-of Anatomical object at all times c located-in m1 at t m1 part-of m2 at t c located-in m2 at t Schulz S et al. Scalable representations of diseases in biomedical ontologies. J Biomed Semantics. 2011 May 17;2 Suppl 2:S6.

Wanted for BFO: general inclusion relation Valid for dispositions, objects and processes Disposition d has material basis m at t  d is included in m at t Disposition d inheres in n at t  d is included in n at t Material or immaterial object o is located in m at t  o is included in m at t Material or immaterial object o is continuant part of q at t  o is included in w at t Process p is located in q at t  p is included in q at t Would harmonise lexical polysemy with ontological rigor Would support classical DL reasoning patterns