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
knowledge representation system and has been demonstrated in
the Home Entertainment Demonstration System.
Deborah L. McGuinness.
``Explaining Reasoning in Description Logics,''
Rutgers University Thesis, New Brunswick, 1996.
Deborah L. McGuinness and Alex Borgida. ``
in Description Logics,'' in Proceedings of the 1995 International
Joint Conference on Artificial Intelligence , August 1995.
For more information
Deborah L. McGuinness
Updated 23 July 1998 by
Peter F. Patel-Schneider