Year: 2024
Type: book-chapter
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.
DOI: 10.3233/shti230932
Authors: Anuwat Pengput, Werner Ceusters
Institution: University at Buffalo, State University of New York
Language: English
Subfield: Health Informatics
Field: Medicine
Domain: Health Sciences
Open Access status: hybrid
OpenAlex ID: W4391229194