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.