Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

Description logic-based methods for auditing frame-based medical terminological systems.

Ronald Cornet1, Ameen Abu-Hanna

  • 1Academic Medical Center, Universiteit van Amsterdam, Department of Medical Informatics, PO Box 22700, 1100 DE Amsterdam, The Netherlands. r.cornet@amc.uva.nl

Artificial Intelligence in Medicine
|July 5, 2005
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Mapping the terminology of the early rescue chain to the Foundation of ICD-11: Registered report protocol.

PloS one·2026
Same author

Detecting Patients with Chronic Kidney Disease Using General Practitioner Electronic Health Records and Electronic Phenotypes.

Studies in health technology and informatics·2026
Same author

Current Data Collection Efforts in Neuromuscular Disease Research: A Scoping Review.

Studies in health technology and informatics·2026
Same author

Open Educational Resources on FAIR Data: Preliminary Results from a Systematic Review.

Studies in health technology and informatics·2026
Same author

Semantic Harmonization Workflow of Health Data: Application in the Post-COVID Network Netherlands.

Studies in health technology and informatics·2026
Same author

The association between hypoxic burden and bronchopulmonary dysplasia in preterm infants: a retrospective cohort study.

Pediatric research·2026
Same journal

Real-time EEG-based epileptic seizure prediction using artificial intelligence: A systematic review.

Artificial intelligence in medicine·2026
Same journal

R-peak detection and ECG data compression scheme based on empirical mode decomposition and wavelet transform.

Artificial intelligence in medicine·2026
Same journal

CastNet: A three-channel EEG-based deep learning model for cross-subject depression detection.

Artificial intelligence in medicine·2026
Same journal

State-of-the-art TinyML approaches for colorectal cancer detection: Current advances, challenges, and future directions.

Artificial intelligence in medicine·2026
Same journal

JRadiEvo: A Japanese radiology report generation model enhanced by evolutionary optimization of model merging.

Artificial intelligence in medicine·2026
Same journal

Causally-informed deep learning towards explainable and generalizable outcome prediction in critical care.

Artificial intelligence in medicine·2026
See all related articles

This study introduces a novel method using description logics (DLs) to audit medical terminological systems (TSs), ensuring logical consistency and correctness. The approach helps identify and resolve inconsistencies, enhancing the reliability of healthcare data.

Area of Science:

  • Medical Informatics
  • Formal Methods
  • Knowledge Representation

Background:

  • Medical terminological systems (TSs) are crucial for healthcare data management.
  • Growing complexity of TSs necessitates robust auditing methods for consistency and correctness.
  • Formal methods offer potential for TS auditing, but empirical evidence is limited.

Purpose of the Study:

  • To propose and evaluate a novel method for auditing medical terminological systems (TSs).
  • To enhance the logical consistency and semantic correctness of TS content.
  • To provide users with greater confidence in the reliability of medical terminological data.

Main Methods:

  • Developed a method based on description logics (DLs) for TS auditing.
  • Migrated medical TS from a frame-based to a DL-based representation.

Related Experiment Videos

  • Employed a process of making stringent assumptions about concept definitions to detect inconsistencies, followed by iterative refinement.

    • Main Results:

    • Demonstrated the method's utility through a real-world case study in the intensive care domain.
    • Successfully detected specific types of logical inconsistencies within a medical TS.
    • Validated the approach for identifying potential modeling issues in terminological systems.

    Conclusions:

    • The proposed DL-based method formally evaluates compliance with modeling principles.
    • It effectively reveals and aids in resolving potential modeling inconsistencies in medical TSs.
    • Contributes to improved accuracy and trustworthiness of healthcare terminological data.