Subsumptive reflection in SNOMED CT: a large description logic-based terminology for diagnosis

A. M. Mohan Rao

Description logic (DL) based biomedical terminology (SNOMED CT) is used routinely in medical practice. However, diagnostic inference using such terminology is precluded by its comp…