Stud Health Technol Inform
January 2024
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.
View Article and Find Full Text PDFAdequately representing kinship relations is crucial for a variety of medical and biomedical applications. Several kinship ontologies have been proposed but none of them have been designed thus far in line with the Basic Formal Ontology. In this paper, we propose a novel kinship ontology that exhibits the following characteristics: (1) it is fully axiomatized in First Order Logic following the rules governing predicate formation as proposed in BFO2020-FOL, (2) it is modularized in 6 separate files written in the Common Logic Interface Format (CLIF) each one of which can be imported based on specific needs, (3) it provides bridging axioms to and from SNOMED CT, and (4) it contains an extra module with axioms which would not be literally true when phrased naively but are crafted in such a way that they highlight the unusual kinship relations they represent and can be used to generate alerts on possible data entry mistakes.
View Article and Find Full Text PDFForm Ontol Inf Syst
January 2023
SNOMED CT is a large -based terminology designed according to epistemic, semantic and pragmatic principles relevant to clinicians. Its goal is structured clinical reporting in electronic healthcare records (EHRs). The Basic Formal Ontology (BFO) is an ontology designed on the basis of claimed to exist in reality based on a domain-independent ontological theory.
View Article and Find Full Text PDFTelemedicine is an effective means of delivering health care in Southeast Asian (SEA) countries. This systematic review explored the use of telemedicine systems for delivering health care services in SEA countries during the past 10 years. Literature searches were conducted in PubMed, Embase, Medline, Global Health, and CENTRAL (Cochrane Central Register of Controlled Trials).
View Article and Find Full Text PDFJ Infect Public Health
September 2020
Opisthorchis viverrini (O. viverrini) infection is the primary cause of cholangiocarcinoma (CCA) and a major public health challenge along the Mekong River in Thailand, Vietnam, Laos PDR, Cambodia, China and Myanmar. This systematic review appraised the risk factors for O.
View Article and Find Full Text PDF