Picture for Vladislav Ryzhikov

Vladislav Ryzhikov

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

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

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

Exchanging OWL 2 QL Knowledge Bases

Add code
Jul 01, 2013
Figure 1 for Exchanging OWL 2 QL Knowledge Bases
Viaarxiv icon