Sciweavers

DLOG
2003

Explanation of Terminological Reasoning: A Preliminary Report

13 years 5 months ago
Explanation of Terminological Reasoning: A Preliminary Report
This paper describes our current activities to supply extended reasoning support to knowledge engineers who are building terminologies using Description Logics (DL) reasoners. The new services originate in the development of the DICE1 terminology where the lack of appropriate debugging or explanation facilities hindered a more efficient (and possibly more concise) construction of a corresponding DL TBox. We discuss a number of alternative methods to explain incoherence of TBoxes, unsatisfiability of concepts and concept subsumption.
Stefan Schlobach, Ronald Cornet
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where DLOG
Authors Stefan Schlobach, Ronald Cornet
Comments (0)