Complexity of Reasoning in Entity Relationship Models. - Alessandro Artale; Diego Calvanese; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2007)

Reasoning over Extended ER Models. - Alessandro Artale; Diego Calvanese; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (ER, 2007)

Checking DL-Lite Modularity with QBF Solvers. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2008)

Extending DL-Lite Sometime in the Future. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2009)

DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (FroCoS, 2009)

Past and Future of DL-Lite. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (AAAI, 2010)

Temporal Conceptual Modelling with DL-Lite. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2010)

Complexity of Reasoning over Temporal Data Models. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (ER, 2010)

DL-Lite with Attributes and Sub-Roles (Extended Abstract). - Alessandro Artale; Yazmín Angélica Ibáñez-García; Roman Kontchakov; Vladislav Ryzhikov (Description Logics, 2011)

Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (FroCoS, 2011)

Representability in DL-Lite_R Knowledge Base Exchange. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov; Evgeny Sherkhonov (Description Logics, 2012)

DL-Lite with Attributes and Datatypes. - Alessandro Artale; Vladislav Ryzhikov; Roman Kontchakov (ECAI, 2012)

Exchanging Description Logic Knowledge Bases. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov; Evgeny Sherkhonov (KR, 2012)

Computing Solutions in OWL 2 QL Knowledge Exchange. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov (Description Logics, 2013)

Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. - Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2013)

Exchanging OWL 2 QL Knowledge Bases. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov (IJCAI, 2013)

The Complexity of Clausal Fragments of LTL. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (LPAR, 2013)

Temporal OBDA with LTL and DL-Lite. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2014)

Query Inseparability by Games. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2014)

DL-Lite and Interval Temporal Logics: a Marriage Proposal. - Alessandro Artale; Davide Bresolin; Angelo Montanari; Guido Sciavicco; Vladislav Ryzhikov (ECAI, 2014)

Query Inseparability for Description Logic Knowledge Bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2014)

A Cookbook for Temporal Conceptual Data Modelling with Description Logics. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (ACM Trans. Comput. Log., 2014)

Tractable Interval Temporal Propositional and Description Logics. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (AAAI, 2015)

Interval Temporal Description Logics. - Alessandro Artale; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2015)

First-Order Rewritability of Temporal Ontology-Mediated Queries. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2015)

When Are Description Logic Knowledge Bases Indistinguishable? - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2015)

When is Query Inseparability for ALC Ontologies Decidable? - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2016)

Query-Based Entailment and Inseparability for ALC Ontologies. - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2016)

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. - Roman Kontchakov; Laura Pandolfo; Luca Pulina; Vladislav Ryzhikov; Michael Zakharyaschev (IJCAI, 2016)

Towards Practical OBDA with Temporal Ontologies - (Position Paper). - Diego Calvanese; Elem Güzel Kalayci; Vladislav Ryzhikov; Guohui Xiao 001 (RR, 2016)

Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. - Elena Botoeva; Boris Konev; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (RW, 2016)

Knowledge base exchange: The case of OWL 2 QL. - Marcelo Arenas; Elena Botoeva; Diego Calvanese; Vladislav Ryzhikov (Artif. Intell., 2016)

Games for query inseparability of description logic knowledge bases. - Elena Botoeva; Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2016)

Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2016)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (CoRR, 2016)

Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. - Sebastian Brandt 001; Elem Güzel Kalayci; Roman Kontchakov; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (AAAI, 2017)

A Framework for Temporal Ontology-Based Data Access: A Proposal. - Sebastian Brandt 001; Elem Güzel Kalayci; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (ADBIS (Short Papers and Workshops), 2017)

A Note on Computing Certain Answers to Queries over Incomplete Databases. - Marcelo Arenas; Elena Botoeva; Egor V. Kostylev; Vladislav Ryzhikov (AMW, 2017)

On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. - Meghyn Bienvenu; Stanislav Kikot; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2017)

Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. - Meghyn Bienvenu; Stanislav Kikot; Roman Kontchakov; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2017)

BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation. - Katerina El Raheb; Theofilos Mailis; Vladislav Ryzhikov; Nicolas Papapetrou; Yannis E. Ioannidis (ESWC (2), 2017)

The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. - Meghyn Bienvenu; Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Vladislav Ryzhikov; Michael Zakharyaschev (PODS, 2017)

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (TIME, 2017)

Metric Temporal Logic for Ontology-Based Data Access over Log Data. - Diego Calvanese; Elem Güzel Kalayci; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (CoRR, 2017)

Horn Fragments of the Halpern-Shoham Interval Temporal Logic. - Davide Bresolin; Agi Kurucz; Emilio Muñoz-Velasco; Vladislav Ryzhikov; Guido Sciavicco; Michael Zakharyaschev (ACM Trans. Comput. Log., 2017)

Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data. - Elem Güzel Kalayci; Guohui Xiao 001; Vladislav Ryzhikov; Tahir Emre Kalayci; Diego Calvanese (CIKM, 2018)

On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. - Stanislav Kikot; Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (Description Logics, 2018)

Querying Log Data with Metric Temporal Logic. - Sebastian Brandt 001; Elem Güzel Kalayci; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (J. Artif. Intell. Res., 2018)

A Note on DL-Lite with Boolean Role Inclusions. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2019)

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. - Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (IJCAI, 2019)

Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. - Sebastian Brandt 001; Diego Calvanese; Elem Güzel Kalayci; Roman Kontchakov; Benjamin Mörzinger; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (TIME, 2019)

Query inseparability for ALC ontologies. - Elena Botoeva; Carsten Lutz; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2019)

Ontology-based access to temporal data with Ontop: A framework proposal. - Elem Güzel Kalayci; Sebastian Brandt 001; Diego Calvanese; Vladislav Ryzhikov; Guohui Xiao 001; Michael Zakharyaschev (Int. J. Appl. Math. Comput. Sci., 2019)

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). - Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (CoRR, 2019)

Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. - Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (Description Logics, 2020)

Boolean Role Inclusions in DL-Lite With and Without Time. - Roman Kontchakov; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2020)

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. - Vladislav Ryzhikov; Przemyslaw Andrzej Walega; Michael Zakharyaschev (RW, 2020)

Deciding FO-definability of Regular Languages. - Agi Kurucz; Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (RAMiCS, 2021)

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. - Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (TIME, 2021)

First-order rewritability of ontology-mediated queries in linear temporal logic. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Artif. Intell., 2021)

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (Description Logics, 2022)

On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2022)

Unique Characterisability and Learnability of Temporal Instance Queries. - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (KR, 2022)

First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. - Alessandro Artale; Roman Kontchakov; Alisa Kovtunova; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (J. Artif. Intell. Res., 2022)

A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2023)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (Description Logics, 2023)

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. - Marie Fortin; Boris Konev; Vladislav Ryzhikov; Yury Savateev; Frank Wolter; Michael Zakharyaschev (IJCAI, 2023)

Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (CoRR, 2023)

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. - Agi Kurucz; Vladislav Ryzhikov; Yury Savateev; Michael Zakharyaschev (J. Artif. Intell. Res., 2023)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (Description Logics, 2024)

Extremal Separation Problems for Temporal Instance Queries. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (IJCAI, 2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology. - Jean Christoph Jung; Vladislav Ryzhikov; Frank Wolter; Michael Zakharyaschev (KR, 2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators. - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (ICDT, 2025)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version). - Alessandro Artale; Anton R. Gnatenko; Vladislav Ryzhikov; Michael Zakharyaschev (CoRR, 2025)