First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics
Authors: David Toman, Grant Weddell5897-5905
AAAI 2022 | Conference PDF | Archive PDF | Plain Text | LLM Run Details
| Reproducibility Variable | Result | LLM Response |
|---|---|---|
| Research Type | Theoretical | We consider first-order (FO) rewritability for query answering in ontology-mediated querying (OMQ) in which ontologies are formulated in Horn fragments of description logics (DLs). In general, OMQ approaches for such logics rely on non-FO rewriting of the query and/or on non-FO completion of the data, called an ABox. Specifically, we consider the problem of FO rewritability in terms of Beth definability, and show how Craig interpolation can then be used to effectively construct the rewritings, when they exist, from the Clark s completion of Datalog-like programs encoding a given DL TBox and optionally a query. |
| Researcher Affiliation | Academia | David Toman and Grant Weddell Cheriton School of CS, University of Waterloo, Canada {david,gweddell}@uwaterloo.ca |
| Pseudocode | No | The paper presents Datalog programs and logical formulas but does not include structured pseudocode or algorithm blocks. |
| Open Source Code | No | The paper does not provide any statement about releasing source code for the methodology described, nor does it include a link to a code repository. |
| Open Datasets | No | The paper does not refer to any specific publicly available dataset or provide concrete access information (link, DOI, repository, or formal citation) for any dataset used. |
| Dataset Splits | No | This is a theoretical paper and does not describe experimental validation with data partitioning information like exact percentages, sample counts, or predefined splits. |
| Hardware Specification | No | The paper is theoretical and does not report on experimental setups, therefore no specific hardware details are provided. |
| Software Dependencies | No | The paper is theoretical and does not specify any ancillary software with version numbers needed to replicate experiments. |
| Experiment Setup | No | The paper is theoretical and does not provide specific experimental setup details such as hyperparameter values or training configurations. |