Subsumptive reflection in SNOMED CT: a large description logic-based terminology for diagnosis. - A. M. Mohan Rao (CoRR, 2015)