pith. sign in

Michael Zakharyaschev

Identifiers

  • name variant Michael Zakharyaschev 0.60 · backfill

Papers (17)

  1. A non-uniform view of Craig interpolation in modal logics with linear frames math.LO · 2023 · author #3
  2. Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version) cs.LO · 2019 · author #3
  3. Model Comparison Games for Horn Description Logics cs.LO · 2019 · author #4
  4. Query Inseparability for ALC Ontologies cs.AI · 2019 · author #5
  5. Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey cs.AI · 2018 · author #6
  6. Querying Log Data with Metric Temporal Logic (Technical Report) cs.LO · 2017 · author #5
  7. Metric Temporal Logic for Ontology-Based Data Access over Log Data cs.LO · 2017 · author #5
  8. Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity cs.DB · 2016 · author #5
  9. Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries cs.LO · 2016 · author #5
  10. Query-Based Entailment and Inseparability for ALC Ontologies (Full Version) cs.LO · 2016 · author #5
  11. Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report) cs.LO · 2016 · author #6
  12. On the Succinctness of Query Rewriting over OWL 2 QL Ontologies with Shallow Chases cs.LO · 2014 · author #4
  13. The DL-Lite Family and Relations cs.LO · 2014 · author #4
  14. Temporal Description Logic for Ontology-Based Data Access (Extended Version) cs.LO · 2013 · author #4
  15. A Cookbook for Temporal Conceptual Data Modelling with Description Logics cs.LO · 2012 · author #4
  16. Exponential Lower Bounds and Separation for Query Rewriting cs.LO · 2012 · author #4
  17. Undecidability of the unification and admissibility problems for modal and description logics cs.LO · 2006 · author #2

Mentions

  • 2312.05929 #3 · arxiv_oai · confidence 0.70 Michael Zakharyaschev
  • 1401.4420 #4 · backfill · confidence 0.70 Michael Zakharyaschev
  • 1401.3487 #4 · backfill · confidence 0.70 Michael Zakharyaschev
  • 1304.5185 #4 · backfill · confidence 0.70 Michael Zakharyaschev
  • 1209.5571 #4 · backfill · confidence 0.70 Michael Zakharyaschev
  • 1202.4193 #4 · backfill · confidence 0.70 Michael Zakharyaschev

Frequent Coauthors