Roman Kontchakov

According to our database1, Roman Kontchakov authored at least 96 papers between 2003 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

A Note on DL-Lite with Boolean Role Inclusions.
Proceedings of the 32nd International Workshop on Description Logics, 2019

2018
Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity.
J. ACM, 2018

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

Efficient Handling of SPARQL OPTIONAL for OBDA.
Proceedings of the Semantic Web - ISWC 2018, 2018

STypeS: Nonrecursive Datalog Rewriter for Linear TGDs and Conjunctive Queries.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Ontology-Based Data Access: A Survey.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
Ontop: Answering SPARQL queries over relational databases.
Semantic Web, 2017

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).
Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Ontology-Based Data Access to Slegge.
Proceedings of the Semantic Web - ISWC 2017, 2017

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
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.
Proceedings of the 30th International Workshop on Description Logics, 2017

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.
Proceedings of the 30th International Workshop on Description Logics, 2017

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Games for query inseparability of description logic knowledge bases.
Artif. Intell., 2016

On Expressibility of Non-Monotone Operators in SPARQL.
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.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Temporalized EL Ontologies for Accessing Temporal Data: Complexity of Atomic Queries.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Decidability and Tractability of Querying in Temporal EL.
Proceedings of the 29th International Workshop on Description Logics, 2016

Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries.
Proceedings of the 29th International Workshop on Description Logics, 2016

2015
Queries with negation and inequalities over lightweight ontologies.
J. Web Semant., 2015

OBDA with the Ontop Framework.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

When Are Description Logic Knowledge Bases Indistinguishable?
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

First-Order Rewritability of Temporal Ontology-Mediated Queries.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

Tractable Interval Temporal Propositional and Description Logics.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
A Cookbook for Temporal Conceptual Data Modelling with Description Logics.
ACM Trans. Comput. Log., 2014

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

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces.
Artif. Intell., 2014

The price of query rewriting in ontology-based data access.
Artif. Intell., 2014

Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime.
Proceedings of the Semantic Web - ISWC 2014, 2014

An Introduction to Description Logics and Query Rewriting.
Proceedings of the Reasoning Web. Reasoning on the Web in the Big Data Era, 2014

Query Inseparability for Description Logic Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Query Inseparability by Games.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Temporal OBDA with LTL and DL-Lite.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

On the succinctness of query rewriting over shallow ontologies.
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.
ACM Trans. Comput. Log., 2013

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

Ontology-Based Data Access: Ontop of Databases.
Proceedings of the Semantic Web - ISWC 2013, 2013

Ontology-Based Data Access with Databases: A Short Course.
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.
Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

Ontop at Work.
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.
Proceedings of the Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), 2013

The Complexity of Clausal Fragments of LTL.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Temporal Description Logic for Ontology-Based Data Access.
Proceedings of the IJCAI 2013, 2013

Query Rewriting and Optimisation with Database Dependencies in Ontop.
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.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Query Rewriting over Shallow Ontologies.
Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Temporalising OWL 2 QL.
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.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

Conjunctive Query Answering with OWL 2 QL.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Exponential Lower Bounds and Separation for Query Rewriting.
Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

DL-Lite with Attributes and Datatypes.
Proceedings of the ECAI 2012, 2012

Long Rewritings, Short Rewritings.
Proceedings of the 2012 International Workshop on Description Logics, 2012

2011
Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.
Proceedings of the IJCAI 2011, 2011

The Combined Approach to Ontology-Based Data Access.
Proceedings of the IJCAI 2011, 2011

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

Module Extraction via Query Inseparability in OWL 2 QL.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

On (In)Tractability of OBDA with OWL 2 QL.
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

DL-Lite with Attributes and Sub-Roles (Extended Abstract).
Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
Spatial logics with connectedness predicates
Logical Methods in Computer Science, 2010

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

Interpreting Topological Logics over Euclidean Spaces.
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.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Complexity of Reasoning over Temporal Data Models.
Proceedings of the Conceptual Modeling, 2010

Temporal Conceptual Modelling with DL-Lite.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

Past and Future of DL-Lite.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
The DL-Lite Family and Relations.
J. Artif. Intell. Res., 2009

Minimal Module Extraction from DL-Lite Ontologies Using QBF Solvers.
Proceedings of the IJCAI 2009, 2009

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles.
Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Extending DL-Lite Sometime in the Future.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

DL-Lite without UNA.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Adding Weight to DL-Lite.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
On the Computational Complexity of Spatial Logics with Connectedness Constraints.
Proceedings of the Logic for Programming, 2008

Can You Tell the Difference Between DL-Lite Ontologies?.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Checking DL-Lite Modularity with QBF Solvers.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

DL-Lite and Role Inclusions.
Proceedings of the Semantic Web, 3rd Asian Semantic Web Conference, 2008

Topology, connectedness, and modal logic.
Proceedings of the Advances in Modal Logic 7, 2008

2007
Spatial Logic + Temporal Logic = ?.
Proceedings of the Handbook of Spatial Logics, 2007

Temporalising Tractable Description Logics.
Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Query Answering in Expressive Variants of DL-Lite.
Proceedings of the Fifteenth Italian Symposium on Advanced Database Systems, 2007

Reasoning over Extended ER Models.
Proceedings of the Conceptual Modeling, 2007

Modularity in DL-Lite.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Complexity of Reasoning in Entity Relationship Models.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

DL-Lite in the Light of First-Order Logic.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
On Dynamic Topological and Metric Logics.
Studia Logica, 2006

Dynamic topological logics over spaces with continuous functions.
Proceedings of the Advances in Modal Logic 6, 2006

2005
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
J. Artif. Intell. Res., 2005

Undecidability of first-order intuitionistic and modal logics with two variables.
Bulletin of Symbolic Logic, 2005

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

Temporalising Tableaux.
Studia Logica, 2004

2003
On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics.
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.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003


  Loading...