Explanatory dialogues with argumentative faculties over inconsistent knowledge bases
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family