Using description logics for case-based reasoning in hybrid diagnosis

Abstract

We present how description logics can be used for modeling a case base for case-based reasoning. To illustrate this approach, we apply it to hybrid diagnosis. The case-based reasoning component of a hybrid diagnosis system exploits description logic inferences for classifying and querying the case base. As description logic interpreter we use the system CICLOP, whereas the diagnosis system is implemented in G2. The description logic system runs as a server application and can thus be queried by the diagnosis system.