Title :
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
Author :
Rodríguez, Alejandro ; Labra, José Emilio ; Alor-Hernandez, Giner ; Gómez, Juan Miguel ; Posada-Gomez, Rubén
Author_Institution :
Comput. Sci. Dept., Univ. Carlos III de Madrid, Leganes, Spain
Abstract :
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.
Keywords :
formal logic; medical diagnostic computing; ontologies (artificial intelligence); semantic Web; ADONIS; automated medical diagnosis system; description logic; knowledge-oriented description; ontology; predicate logic; semantic description; three-fold formalization; Computer science; Concrete; Containers; Laboratories; Logic; Medical diagnosis; Medical diagnostic imaging; Ontologies; Parasitic diseases; System testing;
Conference_Titel :
Computer-Based Medical Systems, 2009. CBMS 2009. 22nd IEEE International Symposium on
Conference_Location :
Albuquerque, NM
Print_ISBN :
978-1-4244-4879-1
Electronic_ISBN :
1063-7125
DOI :
10.1109/CBMS.2009.5255449
