Complexity of approximate query answering under inconsistency in Datalog+/-
Several semantics have been proposed to query inconsistent ontological knowledge bases, including the intersection of repairs and the intersection of closed repairs as two approximate inconsistency-tolerant semantics. In this paper, we analyze the complexity of conjunctive query answering under thes...
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
International Joint Conferences on Artificial Intelligence
2018
|
| _version_ | 1797086786290188288 |
|---|---|
| author | Lukasiewicz, T Malizia, E Molinaro, C |
| author_facet | Lukasiewicz, T Malizia, E Molinaro, C |
| author_sort | Lukasiewicz, T |
| collection | OXFORD |
| description | Several semantics have been proposed to query inconsistent ontological knowledge bases, including the intersection of repairs and the intersection of closed repairs as two approximate inconsistency-tolerant semantics. In this paper, we analyze the complexity of conjunctive query answering under these two semantics for a wide range of Datalog+/- languages. We consider both the standard setting, where errors may only be in the database, and the generalized setting, where also the rules of a Datalog+/- knowledge base may be erroneous. |
| first_indexed | 2024-03-07T02:26:54Z |
| format | Conference item |
| id | oxford-uuid:a5e8aa50-f1c5-4a1d-8392-90ee3afc6377 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:26:54Z |
| publishDate | 2018 |
| publisher | International Joint Conferences on Artificial Intelligence |
| record_format | dspace |
| spelling | oxford-uuid:a5e8aa50-f1c5-4a1d-8392-90ee3afc63772022-03-27T02:43:44ZComplexity of approximate query answering under inconsistency in Datalog+/-Conference itemhttp://purl.org/coar/resource_type/c_5794uuid:a5e8aa50-f1c5-4a1d-8392-90ee3afc6377Symplectic Elements at OxfordInternational Joint Conferences on Artificial Intelligence2018Lukasiewicz, TMalizia, EMolinaro, CSeveral semantics have been proposed to query inconsistent ontological knowledge bases, including the intersection of repairs and the intersection of closed repairs as two approximate inconsistency-tolerant semantics. In this paper, we analyze the complexity of conjunctive query answering under these two semantics for a wide range of Datalog+/- languages. We consider both the standard setting, where errors may only be in the database, and the generalized setting, where also the rules of a Datalog+/- knowledge base may be erroneous. |
| spellingShingle | Lukasiewicz, T Malizia, E Molinaro, C Complexity of approximate query answering under inconsistency in Datalog+/- |
| title | Complexity of approximate query answering under inconsistency in Datalog+/- |
| title_full | Complexity of approximate query answering under inconsistency in Datalog+/- |
| title_fullStr | Complexity of approximate query answering under inconsistency in Datalog+/- |
| title_full_unstemmed | Complexity of approximate query answering under inconsistency in Datalog+/- |
| title_short | Complexity of approximate query answering under inconsistency in Datalog+/- |
| title_sort | complexity of approximate query answering under inconsistency in datalog |
| work_keys_str_mv | AT lukasiewiczt complexityofapproximatequeryansweringunderinconsistencyindatalog AT maliziae complexityofapproximatequeryansweringunderinconsistencyindatalog AT molinaroc complexityofapproximatequeryansweringunderinconsistencyindatalog |