Title
ADONIS: Automated diagnosis system based on sound and precise logical descriptions
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.
Year
DOI
Venue
2009
10.1109/CBMS.2009.5255449
Albuquerque, NM
Keywords
Field
DocType
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
Ontology (information science),Data mining,Ontology,Computer science,Semantic Web,Description logic,Artificial intelligence,Natural language processing,Soundness,Predicate logic,Adonis,Medical diagnosis
Conference
ISSN
ISBN
Citations 
1063-7125 E-ISBN : 978-1-4244-4878-4
978-1-4244-4878-4
4
PageRank 
References 
Authors
0.40
11
8