Roman Kontchakov

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

A Note on DL-Lite with Boolean Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

2018

Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.

[BibT_eX]

[DOI]

Meghyn Bienvenu

J. ACM, 2018

Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2018

Efficient Handling of SPARQL OPTIONAL for OBDA.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2018, 2018

STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries.

[BibT_eX]

[DOI]

Salvatore Rapisarda

Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Ontology-Based Data Access: A Survey.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Ontop: Answering SPARQL queries over relational databases.

[BibT_eX]

[DOI]

Guohui Xiao

Semantic Web, 2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Ontology-Based Data Access to Slegge.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2017, 2017

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2017

Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Games for query inseparability of description logic knowledge bases.

[BibT_eX]

[DOI]

Artif. Intell., 2016

On Expressibility of Non-Monotone Operators in SPARQL.

[BibT_eX]

[DOI]

Egor V. Kostylev

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.

[BibT_eX]

[DOI]

Jean Christoph Jung

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Decidability and Tractability of Querying in Temporal EL.

[BibT_eX]

[DOI]

Jean Christoph Jung

Proceedings of the 29th International Workshop on Description Logics, 2016

Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Meghyn Bienvenu

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

Queries with negation and inequalities over lightweight ontologies.

[BibT_eX]

[DOI]

Egor V. Kostylev

J. Web Semant., 2015

OBDA with the Ontop Framework.

[BibT_eX]

Guohui Xiao

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

When Are Description Logic Knowledge Bases Indistinguishable?

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Interval Temporal Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Tractable Interval Temporal Propositional and Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A Cookbook for Temporal Conceptual Data Modelling with Description Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2014

On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases.

[BibT_eX]

[DOI]

CoRR, 2014

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces.

[BibT_eX]

[DOI]

Artif. Intell., 2014

The price of query rewriting in ontology-based data access.

[BibT_eX]

[DOI]

Georg Gottlob

Thomas Schwentick

Artif. Intell., 2014

Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime.

[BibT_eX]

[DOI]

Martin Rezk

Guohui Xiao

Proceedings of the Semantic Web - ISWC 2014, 2014

An Introduction to Description Logics and Query Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014

Query Inseparability for Description Logic Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Query Inseparability by Games.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Temporal OBDA with LTL and DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

On the succinctness of query rewriting over shallow ontologies.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

2013

Topological Logics with Connectedness over Euclidean Spaces.

[BibT_eX]

[DOI]

Yavor Nenov

ACM Trans. Comput. Log., 2013

Temporal Description Logic for Ontology-Based Data Access (Extended Version)

[BibT_eX]

[DOI]

CoRR, 2013

Ontology-Based Data Access: Ontop of Databases.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2013, 2013

Ontology-Based Data Access with Databases: A Short Course.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30, 2013

Conjunctive Queries with Negation over DL-Lite: A Closer Look.

[BibT_eX]

[DOI]

Egor V. Kostylev

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Ontop at Work.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on OWL: Experiences and Directions (OWLED 2013) co-located with 10th Extended Semantic Web Conference (ESWC 2013), 2013

OBDA with Ontop.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

The Complexity of Clausal Fragments of LTL.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Temporal Description Logic for Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Query Rewriting and Optimisation with Database Dependencies in Ontop.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Query Rewriting over Shallow Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporalising OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

An Update on Query Answering with Restricted Forms of Negation.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Conjunctive Query Answering with OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Exponential Lower Bounds and Separation for Query Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

DL-Lite with Attributes and Datatypes.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Long Rewritings, Short Rewritings.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

2011

Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.

[BibT_eX]

[DOI]

Yavor Nenov

Proceedings of the IJCAI 2011, 2011

The Combined Approach to Ontology-Based Data Access.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

Module Extraction via Query Inseparability in OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

On (In)Tractability of OBDA with OWL 2 QL.

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

DL-Lite with Attributes and Sub-Roles (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Spatial logics with connectedness predicates

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2010

Logic-based ontology comparison and module extraction, with an application to DL-Lite.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Interpreting Topological Logics over Euclidean Spaces.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

The Combined Approach to Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Complexity of Reasoning over Temporal Data Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2010

Temporal Conceptual Modelling with DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Past and Future of DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

The DL-Lite Family and Relations.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

<i>DL-Lite</i> with Temporalised Concepts, Rigid Axioms and Roles.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Extending DL-Lite Sometime in the Future.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

DL-Lite without UNA.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Adding Weight to DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

On the Computational Complexity of Spatial Logics with Connectedness Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2008

Can You Tell the Difference Between DL-Lite Ontologies?.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Checking DL-Lite Modularity with QBF Solvers.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

DL-Lite and Role Inclusions.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008

Topology, connectedness, and modal logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 7, 2008

2007

Spatial Logic + Temporal Logic = ?.

[BibT_eX]

[DOI]

Agi Kurucz

Proceedings of the Handbook of Spatial Logics, 2007

Temporalising Tractable Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Query Answering in Expressive Variants of DL-Lite.

[BibT_eX]

Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Reasoning over Extended ER Models.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

Modularity in DL-Lite.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Complexity of Reasoning in Entity Relationship Models.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

DL-Lite in the Light of First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

On Dynamic Topological and Metric Logics.

[BibT_eX]

[DOI]

Boris Konev

Stud Logica, 2006

Dynamic topological logics over spaces with continuous functions.

[BibT_eX]

[DOI]

Boris Konev

Proceedings of the Advances in Modal Logic 6, 2006

2005

Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2005

Undecidability of first-order intuitionistic and modal logics with two variables.

[BibT_eX]

[DOI]

Agi Kurucz

Bull. Symb. Log., 2005

2004

Monodic first-order temporal logics : complexity, tableaux, and applications.

[BibT_eX]

[DOI]

PhD thesis, 2004

Temporalising Tableaux.

[BibT_eX]

[DOI]

Carsten Lutz

Stud Logica, 2004

2003

On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

On the Computational Complexity of Spatio-Temporal Logics.

[BibT_eX]

[DOI]