Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Michael Zakharyaschev
Map detail
Michael Zakharyaschev13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipMichael ZakharyaschevAMichael ZakharyaschevResearcherOn the Decidability of Connectedness Constraints in 2D and 3D Euclidean SpacesWOn the Decidability of ...preprint / 2011Exponential Lower Bounds and Separation for Query RewritingWExponential Lower Bound...preprint / 2012Temporal Description Logic for Ontology-Based Data Access (Extended Version)WTemporal Description Lo...preprint / 2013The DL-Lite Family and RelationsWThe DL-Lite Family and ...preprint / 2014On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow ChasesWOn the Succinctness of ...preprint / 2014A Cookbook for Temporal Conceptual Data Modelling with Description LogicsWA Cookbook for Temporal...preprint / 2014Spatial logics with connectedness predicatesWSpatial logics with con...preprint / 2010A tetrachotomy of ontology-mediated queries with a covering axiomWA tetrachotomy of ontol...preprint / 2022Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated QueriesWTheoretically Optimal D...preprint / 2016Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit ComplexityWOntology-Mediated Queri...preprint / 2016Query-Based Entailment and Inseparability for ALC Ontologies (Full Version)WQuery-Based Entailment ...preprint / 2016Unique Characterisability and Learnability of Temporal Instance QueriesWUnique Characterisabili...preprint / 2022
Person12 links

Michael Zakharyaschev

Researcher