MEDBOLI: Medical Diagnosis Based on Ontologies and Logical Inference | IEEE Conference Publication | IEEE Xplore