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

fYear

2009

fDate

2-5 Aug. 2009

Firstpage

1

Lastpage

8

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer-Based Medical Systems, 2009. CBMS 2009. 22nd IEEE International Symposium on

Conference_Location

Albuquerque, NM

ISSN

1063-7125

Print_ISBN

978-1-4244-4879-1

Electronic_ISBN

1063-7125

Type

conf

DOI

10.1109/CBMS.2009.5255449

Filename

5255449