Conjunctive Query Answering for the Description Logic SHIQ

31 October 2011

Papers citing "Conjunctive Query Answering for the Description Logic SHIQ"

30 / 30 papers shown

Title
Finite-Cliquewidth Sets of Existential Rules: Toward a General Criterion for Decidable yet Highly Expressive Querying Thomas Feller Tim S. Lyon Piotr Ostropolski-Nalewaja Sebastian Rudolph 27 8 0 06 Sep 2022
Finite Entailment of UCRPQs over ALC Ontologies Víctor Gutiérrez-Basulto Albert Gutowski Yazmín Ibánez-García Filip Murlak 46 3 0 29 Apr 2022
Query Answering with Transitive and Linear-Ordered Data Antoine Amarilli Michael Benedikt P. Bourhis M. V. Boom 26 19 0 17 Feb 2022
Computing Rule-Based Explanations of Machine Learning Classifiers using Knowledge Graphs Edmund Dervakos Orfeas Menis Mastromichalakis A. Chortaras Giorgos Stamou FAtt 125 6 0 08 Feb 2022
Combining Inductive and Deductive Reasoning for Query Answering over Incomplete Knowledge Graphs Medina Andresel T. Tran Csaba Domokos Pasquale Minervini Daria Stepanova 54 1 0 26 Jun 2021
Conservative Extensions in Horn Description Logics with Inverse Roles J. C. Jung C. Lutz M. Martel Thomas Schneider 19 9 0 19 Nov 2020
Answering Regular Path Queries Over SQ Ontologies Víctor Gutiérrez-Basulto Yazmín Ibánez-García J. C. Jung 24 8 0 17 Nov 2020
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying C. Feier C. Lutz F. Wolter 19 3 0 22 Oct 2020
On Finite and Unrestricted Query Entailment beyond SQ with Number Restrictions on Transitive Roles Tomasz Gogacz Víctor Gutiérrez-Basulto Yazmín Ibánez-García J. C. Jung Filip Murlak LRM 32 10 0 22 Oct 2020
Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints F. Baader Bartosz Bednarczyk Sebastian Rudolph 19 16 0 14 Feb 2020
Query Inseparability for ALC Ontologies E. Botoeva C. Lutz Vladislav Ryzhikov F. Wolter Michael Zakharyaschev 23 14 0 31 Jan 2019
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey E. Botoeva B. Konev C. Lutz Vladislav Ryzhikov F. Wolter Michael Zakharyaschev 20 42 0 20 Apr 2018
A Practical Acyclicity Notion for Query Answering over Horn-SRIQ Ontologies David Carral C. Feier Pascal Hitzler LRM 32 8 0 19 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
The Data Complexity of Description Logic Ontologies C. Lutz F. Wolter 47 23 0 08 Nov 2016
Combining Existential Rules and Transitivity: Next Steps Jean-François Baget Meghyn Bienvenu M. Mugnier Swan Rocher 52 22 0 28 Apr 2015
Converting Instance Checking to Subsumption: A Rethink for Object Queries over Practical Ontologies Jia Xu Patrick Shironoshita U. Visser Nigel John M. Kabuka 40 3 0 24 Dec 2014
$Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles$ Answering Conjunctive Queries over $\mathcal{EL}$ Knowledge Bases with Transitive and Reflexive Roles Giorgio Stefanoni B. Motik 30 14 0 10 Nov 2014
Nested Regular Path Queries in Description Logics Meghyn Bienvenu Diego Calvanese Magdalena Ortiz M. Šimkus 45 44 0 28 Feb 2014
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies Bernardo Cuenca Grau Ian Horrocks Markus Krotzsch C. Kupke Despoina Magka B. Motik Zhe Wang LRM 58 130 0 04 Feb 2014
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice Bernardo Cuenca Grau B. Motik G. Stoilos Ian Horrocks LRM 38 34 0 18 Jan 2014
Nominals, Inverses, Counting, and Conjunctive Queries or: Why Infinity is your Friend! Sebastian Rudolph Birte Glimm 100 58 0 16 Jan 2014
The DL-Lite Family and Relations A. Artale Diego Calvanese R. Kontchakov Michael Zakharyaschev 63 596 0 15 Jan 2014
Extract ABox Modules for Efficient Ontology Querying Jia Xu Patrick Shironoshita U. Visser Nigel John M. Kabuka 51 4 0 21 May 2013
Introducing Nominals to the Combined Query Answering Approaches for EL Giorgio Stefanoni B. Motik Ian Horrocks 55 34 0 29 Mar 2013
Learning Onto-Relational Rules with Inductive Logic Programming F. Lisi 64 11 0 10 Oct 2012
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog Sebastian Rudolph Markus Krotzsch Pascal Hitzler 75 35 0 04 Feb 2012
Query-driven Procedures for Hybrid MKNF Knowledge Bases José Júlio Alferes Matthias Knorr T. Swift 56 31 0 20 Jul 2010
Inductive Logic Programming in Databases: from Datalog to DL+log F. Lisi 89 17 0 12 Mar 2010
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers Ian Pratt-Hartmann 84 38 0 10 Jun 2008