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

Logical support for terminological modeling.

Stefan Schlobach1, Ronald Cornet

  • 1Language and Inference Technology, Universiteit von Amsterdam, Nieuwe Achtergracht 166, 1018 WV Amsterdam, The Netherlands. schlobac@science.uva.nl

Studies in Health Technology and Informatics
|September 14, 2004
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 Ethics of Leveraging Routinely Collected Patient Data for AI Development: Mixed Methods Study.

Journal of medical Internet research·2026
Same journal

A GenAI Pipeline for Violinist Kinematic Data Management.

Studies in health technology and informatics·2026
Same journal

AMAL-For-Qatar: A Comprehensive AI Ecosystem for Fetal Ultrasound Analysis - Project Overview and Achievements.

Studies in health technology and informatics·2026
Same journal

Longitudinal Treatment-Aware Multimodal AI for Dermatology: A Scoping Review.

Studies in health technology and informatics·2026
Same journal

Predicting Postpartum Depression Using Imbalance-Aware Machine Learning.

Studies in health technology and informatics·2026
Same journal

Validation of Deep-Learning Models for Autosegmentation of Brain Metastases.

Studies in health technology and informatics·2026
Same journal

Delay-Dependent Gating in Modular RNNs.

Studies in health technology and informatics·2026
See all related articles

This study introduces logical reasoning services to aid medical terminological modeling. These services help create sound, complete, and concise medical terminologies by focusing on modeler needs.

Area of Science:

  • Medical Informatics
  • Computational Linguistics
  • Formal Logic

Background:

  • Terminological modeling, especially in medicine, is complex and increasingly important.
  • Logical reasoning offers potential but is often developed for theoretical, not practical, modeling needs.

Purpose of the Study:

  • To bridge the gap between logical tool development and the practical needs of terminological modelers.
  • To propose logical reasoning services tailored for constructing sound, complete, and concise medical terminologies.

Main Methods:

  • Discussing logical reasoning services specifically designed for terminology modeling.
  • Basing the support on formally defined semantics for logical rigor.

Main Results:

Related Experiment Videos

  • Identification and formal definition of several new reasoning tasks.
  • A systematic approach to applying logical reasoning in medical terminology construction.

    • Conclusions:

    • Logical reasoning services can significantly enhance the process of medical terminological modeling.
    • The proposed services address the practical needs of modelers, leading to improved terminology quality.