ADONIS: Automated diagnosis system based on sound and precise logical descriptions

Automated medical diagnosis systems based on knowledge-oriented descriptions have gained momentum with the emergence of Semantic Descriptions. However, soundness and efficiency of the underlying logics in these descriptions are critical to harness the potential of these systems. In this paper, we provide a well-structured ontology for automated diagnosis and a three-fold formalization based on Predicate Logic, Description Logic and Rules.

• Type: Conference
• Year: 2009
• Where: CBMS
• Authors: Alejandro Rodríguez González, José Emilio Labra Gayo, Giner Alor-Hernández, Juan Miguel Gómez, Rubén Posada-Gómez
• Keywords: CBMS 2009, Knowledge-oriented Descriptions, Medical Diagnosis Systems, Medical Imaging, Semantic Descriptions