Towards Practical Deletion Repair of Inconsistent DL-programs.
Thomas Eiter, Michael Fink, Daria Stepanova · 2014
Abstract. Nonmonotonic Description Logic (DL-) programs couple nonmono-tonic logic programs with DL-ontologies through queries in a loose way which may lead to inconsistency, i.e., lack of an answer set. Recently defined repair an-swer sets remedy this but a straightforward computation method lacks practicality. We present a novel evaluation algorithm for deletion repair answer sets based on support sets, which reduces evaluation of DL-LiteA ontology queries to con-straint matching. This leads to significant performance gains towards inconsistency management in practice. 1