MEDBOLI: Medical Diagnosis Based on Ontologies and Logical Inference | Publicación