Automated Diagnosis Through Ontologies and Logical Descriptions | Publicación