IOS Press Ebooks - Towards Practical Deletion Repair of Inconsistent DL-programs
Search
 
loader loading subjects...
cover
Towards Practical Deletion Repair of Inconsistent DL-programs
Thomas Eiter, Michael Fink, Daria Stepanova
285 - 290
10.3233/978-1-61499-419-0-285
Frontiers in Artificial Intelligence and Applications
Volume 263: ECAI 2014
Abstract

Nonmonotonic Description Logic (DL-) programs couple nonmonotonic 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 answer 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 constraint matching. This leads to significant performance gains towards inconsistency management in practice.

Download
Creative Commons License