Using Description Logics for Consistency-based Diagnosis

Gerd Kamp and Holger Wache

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.