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-Lite(A) ontology queries to constraint matching. This leads to significant performance gains towards inconsistency management in practice. |
Year | DOI | Venue |
---|---|---|
2014 | 10.3233/978-1-61499-419-0-285 | Frontiers in Artificial Intelligence and Applications |
DocType | Volume | ISSN |
Conference | 263 | 0922-6389 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Thomas Eiter | 1 | 7238 | 532.10 |
Michael Fink | 2 | 1145 | 62.43 |
Daria Stepanova | 3 | 46 | 12.10 |