Search filters

List of works by Michael Zakharyaschev

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

scientific article published on 25 July 2014

Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime

scientific article published at ISWC 2014

Complexity of Reasoning over Temporal Data Models

scientific article published in 2010

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles

scientific article published in 2009

DL − Lite and Role Inclusions

Games for query inseparability of description logic knowledge bases

scientific article published in May 2016

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

scientific article published in October 2010

On the Computational Complexity of Spatial Logics with Connectedness Constraints

scientific article published in 2008

On the succinctness of query rewriting over shallow ontologies

scientific article published in 2014

Ontology-Based Data Access to Slegge

scientific article published in 2017

Ontology-Based Data Access with Databases: A Short Course

scientific article published in 2013

Ontology-Based Data Access: Ontop of Databases

scientific article published in 2013

Polynomial Conjunctive Query Rewriting under Unary Inclusion Dependencies

scientific article published in 2011

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

scientific article published in December 2014

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

scientific article published in 2011

The Complexity of Clausal Fragments of LTL

scientific article published in 2013

The price of query rewriting in ontology-based data access

Topological Logics with Connectedness over Euclidean Spaces

scientific article published in June 2013

Undecidability of First-Order Intuitionistic and Modal Logics with Two variables

scientific article published in September 2005

Undecidability of the unification and admissibility problems for modal and description logics