A Framework for Explaining Reasoning in Description Logics

Xi Deng, Volker Haarslev, and Nematollaah Shiri

We present a resolution based framework to explain rea- soning in description logics and demonstrate its applicabil- ity to explain unsatis iability and inconsistency queries w.r.t TBoxes and ABoxes in ALC . During the construction pro- cess, a refutation graph is used as the guide to generate expla- nations.

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.