Explanation in Description Logics

Description Logic-based systems include extensive, complex reasoning components that may produce results that surprise users, yet these systems typically provide little or no explanation support. Subsumption reasoning -- determining when one description logically implies another -- is at the heart of description logic-based reasoning. This work explores the issues involved in explaining subsumption to users. Our approach has been implemented in the CLASSIC knowledge representation system and has been demonstrated in the Home Entertainment Demonstration System.


For more information write to Deborah L. McGuinness (dlm@research.att.com).
Updated 23 July 1998 by Peter F. Patel-Schneider