Picture for Michael Zakharyaschev

Michael Zakharyaschev

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries

Add code
Jun 13, 2023
Viaarxiv icon

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies

Add code
May 04, 2023
Viaarxiv icon

A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom

Add code
Jun 07, 2020
Figure 1 for A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Figure 2 for A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Figure 3 for A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Figure 4 for A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
Viaarxiv icon

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)

Add code
May 30, 2019
Viaarxiv icon

Query Inseparability for ALC Ontologies

Add code
Jan 31, 2019
Figure 1 for Query Inseparability for ALC Ontologies
Figure 2 for Query Inseparability for ALC Ontologies
Figure 3 for Query Inseparability for ALC Ontologies
Figure 4 for Query Inseparability for ALC Ontologies
Viaarxiv icon

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey

Add code
Apr 20, 2018
Figure 1 for Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Figure 2 for Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey
Viaarxiv icon

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

Add code
May 04, 2016
Figure 1 for Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Figure 2 for Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Figure 3 for Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Figure 4 for Ontology-Mediated Queries: Combined Complexity and Succinctness of Rewritings via Circuit Complexity
Viaarxiv icon

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Add code
May 02, 2014
Figure 1 for A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Figure 2 for A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Figure 3 for A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Figure 4 for A Cookbook for Temporal Conceptual Data Modelling with Description Logics
Viaarxiv icon

The DL-Lite Family and Relations

Add code
Jan 15, 2014
Figure 1 for The DL-Lite Family and Relations
Figure 2 for The DL-Lite Family and Relations
Figure 3 for The DL-Lite Family and Relations
Figure 4 for The DL-Lite Family and Relations
Viaarxiv icon

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

Add code
Apr 30, 2013
Viaarxiv icon