animating the reference terminology – showing classifiers at work
DESCRIPTION
Animating the reference terminology – showing classifiers at work . Ed Cheetham, Principal Terminology Specialist. Introduction. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/1.jpg)
Animating the reference terminology – showing classifiers at work
Ed Cheetham, Principal Terminology Specialist
![Page 2: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/2.jpg)
Introduction
• In addition to being hand-curated, SNOMED CT’s content is also (re-)organised, and its development quality assured, by the use of a description logic (DL) classifier.
![Page 3: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/3.jpg)
What is description logic? [Spackman 2008]
•Mathematical viewpoint:A family of logics characterized by Formal set-theoretic semantics
Proofs of correctness and completeness of computationProofs of algorithmic complexity (PSpace, NP-complete,
NExpTime, etc)
•Knowledge representation viewpoint:A set of constructs for representing terminological knowledgeAlgorithms and their implementations for performing:
Subsumption (testing pairs of expressions to see whether one is a subtype of the other & vice versa)
Classification (structuring a set of expressions according to their subsumptionrelationships)
![Page 4: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/4.jpg)
DL-based classification – simply put...
• Agree ‘set of constructs’ [operators, roles]• Make certain properties of content formally explicit
‘Stated relationships
• Decide whether content is sufficiently defined in such terms
Fully defined/primitive• ‘Run’ classifier
Defined – what are kinds of ‘me’? What am I a kind of?Primitive – what am I a kind of?
Appendectomy Is_A Excision procedure ANDHas_method=Excision ANDHas_site=Appendix
AND, OR, NOT, Roles, Role hierarchies
Appendectomy Fully definedOperation GI tract Fully definedExcision, Appendix Primitive
Total Is A RoleStated 778435 525350 253085Inferred 1035196 611737 423459
![Page 5: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/5.jpg)
Protégé: http://protege.stanford.edu/Use does not indicate endorsement, but extremely valuable to illustrate points discussed
![Page 6: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/6.jpg)
![Page 7: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/7.jpg)
![Page 8: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/8.jpg)
![Page 9: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/9.jpg)
Gephi: http://gephi.org/Use does not indicate endorsement, but extremely valuable to illustrate points discussed
![Page 10: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/10.jpg)
![Page 11: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/11.jpg)
![Page 12: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/12.jpg)
![Page 13: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/13.jpg)
![Page 14: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/14.jpg)
Blue lines = stated and inferred
Red lines = stated (removed as redundant)
Green lines = inferred
![Page 15: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/15.jpg)
![Page 16: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/16.jpg)
![Page 17: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/17.jpg)
![Page 18: Animating the reference terminology – showing classifiers at work](https://reader035.vdocuments.mx/reader035/viewer/2022081604/568163f0550346895dd56dbb/html5/thumbnails/18.jpg)
Conclusions
•DL-based classification is an intrinsic part of SNOMED CT development
Necessary QA feature of large KR product•Based on ‘what it is told’ and the expressivity of the other ‘constructs’, content is ruthlessly reorganised
New ‘inferred’ knowledge (reclassification)Sometimes intended, sometimes unintended