publication venue for Automated Diagnosis Through Ontologies and Logical Descriptions: The ADONIS Approach. 3:21-39. 2011