Using Description Logics for Consistency-based Diagnosis

Papers Submitted to the Workshop

Using quantitative models of simple mechanisms as an example domain, we show how the basic principles of consistency-based diagnosis can be implemented using description logics with expressive concrete domains. In addition, description logics provide the inference services necessary to organize and validate model libraries, an aspect that is neglected in consistency-based diagnosis until now.