ODDIN: Ontology-driven differential diagnosis based on logical inference and probabilistic refinements | Publicación