Notice: The reproducibility variables underlying each score are classified using an automated LLM-based pipeline, validated against a manually labeled dataset. LLM-based classification introduces uncertainty and potential bias; scores should be interpreted as estimates. Full accuracy metrics and methodology are described in Coakley et alK. L. Coakley, T. Snelleman, H. Hoos, and O. E. Gundersen, "The embrace of open science: An analysis of a decade of AI research and 56 800 conference papers," Under Review, 2026..
Querying Attributed DL-Lite Ontologies Using Provenance Semirings
Authors: Camille Bourgaux, Ana Ozaki2719-2726
AAAI 2019 | Venue PDF | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | In this work, we first investigate the complexity of satisfiability and query answering for attributed DL-Lite R ontologies. We then propose a new semantics, based on provenance semirings, for integrating provenance information with query answering. Finally, we establish complexity results for satisfiability and query answering under this semantics. |
| Researcher Affiliation | Academia | Camille Bourgaux T el ecom Paris Tech & DI ENS, CNRS, ENS, PSL University & Inria, France; Ana Ozaki KRDB Research Centre, Free University of Bozen-Bolzano, Italy |
| Pseudocode | No | The paper does not contain structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statement or link indicating the availability of open-source code for the methodology described. |
| Open Datasets | No | This paper is theoretical and does not involve empirical studies with datasets, therefore no training dataset information is provided. |
| Dataset Splits | No | This paper is theoretical and does not involve empirical studies with datasets, therefore no dataset split information is provided. |
| Hardware Specification | No | This paper is theoretical and does not describe any experiments that would require hardware specifications. |
| Software Dependencies | No | This paper is theoretical and does not describe any software implementations with specific version numbers. |
| Experiment Setup | No | This paper is theoretical and does not describe any experimental setup details such as hyperparameters or training configurations. |