@inproceedings{cf5f98545d9d41cda2a59d45dda7ccd5,
title = "Setting the Scene to Link SNOMED CT to Realism-Based Ontologies",
abstract = "In a proof of concept study, we assessed the feasibility of designing a first-order logic (FOL) framework capable of translating SNOMED CT's terminological view on patient data as referencing concepts, into the realism-based view of the Basic Formal Ontology and the Ontology for General Medical Science according to which patient data represent instances of types. Because within the subject domain of this study, SNOMED CT's terminological coverage was excellent, and its EL++ axioms can be automatically translated into FOL as well as the antecedent part of bridging axioms between SNOMED CT and realism-based ontologies, we conclude that this is an area of R\&D that deserves further attention and that may lead to new ways of federating terminologies with ontologies.",
keywords = "Basic Formal Ontology, CLIF, SNOMED CT",
author = "Anuwat Pengput and Werner Ceusters",
note = "Publisher Copyright: {\textcopyright} 2024 International Medical Informatics Association (IMIA) and IOS Press.; 19th World Congress on Medical and Health Informatics, MedInfo 2023 ; Conference date: 08-07-2023 Through 12-07-2023",
year = "2024",
month = jan,
day = "25",
doi = "10.3233/SHTI230932",
language = "English",
series = "Studies in Health Technology and Informatics",
publisher = "IOS Press BV",
pages = "84--88",
editor = "Jen Bichel-Findlay and Paula Otero and Philip Scott and Elaine Huesing",
booktitle = "MEDINFO 2023 - The Future is Accessible",
address = "Netherlands",
}