Automated Diagnosis through Ontologies and Logical Descriptions | Publicación