Vladislav Ryzhikov

Available identifiers

zbMath Open ryzhikov.vladislavMaRDI QIDQ253975

List of research outcomes

Publication	Date of Publication	Type
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic	2023-10-02	Paper
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic	2023-08-28	Paper
Deciding FO-definability of regular languages	2023-03-30	Paper
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course	2023-03-24	Paper
Ontology-mediated query answering over temporal data: a survey (invited talk)	2023-02-03	Paper
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries	2023-01-09	Paper
First-order rewritability of ontology-mediated queries in linear temporal logic	2021-11-02	Paper
Query inseparability for \(\mathcal{ALC}\) ontologies	2019-08-28	Paper
Querying Log Data with Metric Temporal Logic	2018-09-06	Paper
Horn Fragments of the Halpern-Shoham Interval Temporal Logic	2017-10-16	Paper
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey	2017-03-30	Paper
Knowledge base exchange: the case of OWL 2 QL	2016-09-07	Paper
Games for query inseparability of description logic knowledge bases	2016-03-08	Paper
https://portal.mardi4nfdi.de/entity/Q3457199	2015-12-11	Paper
A Cookbook for Temporal Conceptual Data Modelling with Description Logics	2015-09-17	Paper
The Complexity of Clausal Fragments of LTL	2014-01-17	Paper
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models	2011-10-07	Paper
DL-Lite with temporalised concepts, rigid axioms and roles	2010-01-07	Paper

Research outcomes over time

This page was built for person: Vladislav Ryzhikov