Explanations for Negative Query Answers under Inconsistency-Tolerant Semantics
Authors: Thomas Lukasiewicz, Enrico Malizia, Cristian Molinaro
IJCAI 2022 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this paper, we address another important problem, which is explaining why a query is not entailed under an inconsistency-tolerant semantics. In particular, we consider three popular semantics, namely, the ABox repair, the intersection of repairs, and the intersection of closed repairs. We provide a thorough complexity analysis for a wide range of existential rule languages and for several complexity measures. |
| Researcher Affiliation | Academia | Thomas Lukasiewicz1,2 , Enrico Malizia3 and Cristian Molinaro4 1Institute of Logic and Computation, TU Wien, Austria 2Department of Computer Science, University of Oxford, UK 3DISI, University of Bologna, Italy 4DIMES, University of Calabria, Italy |
| Pseudocode | No | The paper describes procedures in prose but does not include any pseudocode or clearly labeled algorithm blocks. |
| Open Source Code | No | The paper does not contain any statement about releasing source code for the described methodology, nor does it provide a link to a code repository. |
| Open Datasets | No | This is a theoretical paper focused on complexity analysis. It does not describe empirical experiments involving datasets or training procedures. |
| Dataset Splits | No | This is a theoretical paper. It does not involve empirical data or training/validation/test splits for models. |
| Hardware Specification | No | This is a theoretical paper on complexity analysis and does not describe any computational experiments that would require specific hardware specifications. |
| Software Dependencies | No | This is a theoretical paper. It refers to logical frameworks like Datalog, but does not specify any particular software implementations or libraries with version numbers that would be necessary to replicate experiments. |
| Experiment Setup | No | This is a theoretical paper. It does not describe an experimental setup with hyperparameters, training configurations, or other system-level settings. |