The DL-Lite Family and Relations

15 January 2014

A. Artale

Diego Calvanese

R. Kontchakov

Michael Zakharyaschev

ArXiv (abs)PDF HTML

Papers citing "The DL-Lite Family and Relations"

35 / 35 papers shown

Title
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version) A. Artale Anton Gnatenko Vladislav Ryzhikov Michael Zakharyaschev 64 1 0 23 Jan 2025
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology J. C. Jung Vladislav Ryzhikov Franz-Erich Wolter Michael Zakharyaschev 79 0 0 13 Jun 2023
Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases Hongyu Ren Mikhail Galkin Michael Cochez Zhaocheng Zhu J. Leskovec NAI GNN 122 38 0 26 Mar 2023
Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies Maurice Funk J. C. Jung C. Lutz 32 14 0 29 Apr 2022
Conservative Extensions for Existential Rules J. C. Jung C. Lutz J. Marcinkowski 20 1 0 11 Feb 2022
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version) Diego Calvanese Alessandro Gianola Andrea Mazzullo Marco Montali 17 2 0 27 Aug 2021
QDEF and Its Approximations in OBDM Gianluca Cima Federico Croce M. Lenzerini 22 2 0 23 Aug 2021
On the Complexity of Learning Description Logic Ontologies Ana Ozaki 42 3 0 25 Mar 2021
Conservative Extensions in Horn Description Logics with Inverse Roles J. C. Jung C. Lutz M. Martel Thomas Schneider 24 9 0 19 Nov 2020
Query Expressibility and Verification in Ontology-Based Data Access C. Lutz Johannes Marti Leif Sabellek 18 15 0 18 Nov 2020
Defeasible reasoning in Description Logics: an overview on DL^N P. Bonatti I. Petrova L. Sauro 16 3 0 10 Sep 2020
Automated Reasoning in Temporal DL-Lite Sabiha Tahrat G. Braun A. Artale M. Gario Ana Ozaki LRM 22 3 0 17 Aug 2020
A tetrachotomy of ontology-mediated queries with a covering axiom Olga Gerasimova S. Kikot Agi Kurucz V. Podolskii Michael Zakharyaschev 24 2 0 07 Jun 2020
Counting Query Answers over a DL-Lite Knowledge Base (extended version) Prantik Chatterjee José Campos Rui Abreu Subhajit Roy 11 14 0 12 May 2020
CQE in Description Logics Through Instance Indistinguishability (extended version) Gianluca Cima D. Lembo Riccardo Rosati Domenico Fabio Savo 19 1 0 24 Apr 2020
When is Ontology-Mediated Querying Efficient? Pablo Barceló C. Feier C. Lutz Andreas Pieris 34 12 0 17 Mar 2020
On Expansion and Contraction of DL-Lite Knowledge Bases D. Zheleznyakov Evgeny Kharlamov W. Nutt Diego Calvanese 29 12 0 25 Jan 2020
Real Time Reasoning in OWL2 for GDPR Compliance P. Bonatti L. Ioffredo I. Petrova L. Sauro I. Siahaan 16 18 0 15 Jan 2020
Enriching Ontology-based Data Access with Provenance (Extended Version) Diego Calvanese D. Lanti Ana Ozaki Rafael Peñaloza Guohui Xiao 21 24 0 01 Jun 2019
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey E. Botoeva B. Konev C. Lutz Vladislav Ryzhikov F. Wolter Michael Zakharyaschev 39 42 0 20 Apr 2018
Dichotomies in Ontology-Mediated Querying with the Guarded Fragment André Hernich C. Lutz Fabio Papacchini F. Wolter 27 24 0 18 Apr 2018
$A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure$ A Polynomial Time Subsumption Algorithm for Nominal Safe $\mathcal{ELO}_\bot$ under Rational Closure Giovanni Casini U. Straccia T. Meyer 39 38 0 22 Feb 2018
Exact Learning of Lightweight Description Logic Ontologies B. Konev C. Lutz Ana Ozaki F. Wolter 53 47 0 20 Sep 2017
The Complexity of Bayesian Networks Specified by Propositional and Relational Languages Fabio Gagliardi Cozman Denis Deratani Mauá TPM 67 10 0 04 Dec 2016
The Data Complexity of Description Logic Ontologies C. Lutz F. Wolter 47 23 0 08 Nov 2016
Extending Weakly-Sticky Datalog+/-: Query-Answering Tractability and Optimizations Mostafa Milani Leopoldo Bertossi 21 7 0 10 Jul 2016
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity Meghyn Bienvenu S. Kikot R. Kontchakov V. Podolskii Michael Zakharyaschev 26 17 0 04 May 2016
Reasoning about Explanations for Negative Query Answers in DL-Lite Diego Calvanese Magdalena Ortiz M. Šimkus Giorgio Stefanoni LRM 33 75 0 04 Feb 2014
Description Logic Knowledge and Action Bases Babak Bagheri Hariri Diego Calvanese Marco Montali Giuseppe De Giacomo Riccardo De Masellis Paolo Felli 36 86 0 04 Feb 2014
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice Bernardo Cuenca Grau B. Motik G. Stoilos Ian Horrocks LRM 43 34 0 18 Jan 2014
Introducing Nominals to the Combined Query Answering Approaches for EL Giorgio Stefanoni B. Motik Ian Horrocks 62 34 0 29 Mar 2013
A Distance-based Paraconsistent Semantics for DL-Lite Xiaowang Zhang Kewen Wang Zhe Wang Yue Ma Guilin Qi 34 5 0 09 Jan 2013
A Cookbook for Temporal Conceptual Data Modelling with Description Logics A. Artale R. Kontchakov Vladislav Ryzhikov Michael Zakharyaschev 82 79 0 25 Sep 2012
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs Georg Gottlob T. Schwentick 77 91 0 19 Jun 2011
On the evolution of the instance level of DL-lite knowledge bases M. Lenzerini Domenico Fabio Savo KELM 50 29 0 20 Apr 2011