Practical ABox Cleaning in DL-Lite (progress report).
Giulia Masotti, Riccardo Rosati, Marco Ruzzi · 2011
One of the most important current issues in Description Logic (DL) ontology management is dealing with inconsistency, that is, the presence of contradictory information in the ontology [7]. It is well-known that the classical semantics of DLs is not inconsistency-tolerant, i.e., it does not allow for using in a meaningful way any piece