Toggle navigation
Labra's home page
Home
Publications
Posts
Projects
Teaching
Talks
Other
Contact
Ontologies
Automated Diagnosis through Ontologies and Logical Descriptions: The ADONIS Approach
SeDeLo: Using Semantics and Description Logics to Support Aided Clinical Diagnosis
Ontologies in Checking for Inconsistency of Requirements Specification
Automated Diagnosis through Ontologies and Logical Descriptions: The ADONIS Approach