Login / Signup
Achieving Logical Equivalence between SNOMED CT and ICD-10-PCS Surgical Procedures.
Kin Wah Fung
Julia Xu
Filip Ameye
Arturo Romero-Gutiérrez
Arabella D'Havé
Published in:
AMIA (2017)
Keyphrases
</>
surgical procedures
snomed ct
minimally invasive
description logics
imaging modalities
logical equivalence
minimally invasive surgery
intraoperative
np complete
knowledge representation
medical images
proof theory
data exchange
databases
schema mappings
x ray
image segmentation
machine learning