Vladislav Ryzhikov

89 papers A* 18A 6B 1C 4Journal 30Unranked 29
YearRankTypeTitle / Venue / Authors
2025 — conf
Containment of Conjunctive LTL Queries.
DL
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2025 J jnl
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version).
CoRR
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2025 A conf
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators.
ICDT
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2024 A* conf
Extremal Separation Problems for Temporal Instance Queries.
IJCAI
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024 J jnl
Extremal Separation Problems for Temporal Instance Queries.
CoRR
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2024 — conf
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract).
Description Logics
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2024 A* conf
Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology.
KR
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023 — conf
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
Description Logics
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2023 J jnl
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.
J. Artif. Intell. Res.
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2023 A* conf
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
IJCAI
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023 J jnl
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
CoRR
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023 — conf
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract).
Description Logics
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2023 J jnl
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries.
CoRR
Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022 J jnl
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic.
CoRR
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2022 J jnl
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
J. Artif. Intell. Res.
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022 A* conf
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).
IJCAI
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2022 — conf
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).
Description Logics
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022 A* conf
Unique Characterisability and Learnability of Temporal Instance Queries.
KR
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022 J jnl
Unique Characterisability and Learnability of Temporal Instance Queries.
CoRR
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2021 C conf
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
TIME
Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 C conf
Deciding FO-definability of Regular Languages.
RAMiCS
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 J jnl
Deciding FO-definability of Regular Languages.
CoRR
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 J jnl
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries.
CoRR
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021 J jnl
First-order rewritability of ontology-mediated queries in linear temporal logic.
Artif. Intell.
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2021 — ed.
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 19th to 22nd, 2021
Description Logics
Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt
2020 A* conf
Boolean Role Inclusions in DL-Lite With and Without Time.
KR
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020 J jnl
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
CoRR
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2020 — conf
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Description Logics
Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2020 — conf
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course.
RW
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2019 — conf
A Note on DL-Lite with Boolean Role Inclusions.
Description Logics
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019 J jnl
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version).
CoRR
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2019 A* conf
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics.
IJCAI
Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2019 J jnl
Ontology-based access to temporal data with Ontop: A framework proposal.
Int. J. Appl. Math. Comput. Sci.
Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2019 J jnl
Query Inseparability for ALC Ontologies.
CoRR
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019 J jnl
Query inseparability for ALC ontologies.
Artif. Intell.
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2019 C conf
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases.
TIME
Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2018 J jnl
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
CoRR
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2018 — conf
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.
Description Logics
Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
2018 A conf
Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data.
CIKM
Elem Güzel Kalayci, Guohui Xiao, Vladislav Ryzhikov, Tahir Emre Kalayci, Diego Calvanese
2018 J jnl
Querying Log Data with Metric Temporal Logic.
J. Artif. Intell. Res.
Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017 — conf
A Framework for Temporal Ontology-Based Data Access: A Proposal.
ADBIS (Short Papers and Workshops)
Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017 — conf
A Note on Computing Certain Answers to Queries over Incomplete Databases.
AMW
Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov
2017 — conf
BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation.
ESWC (2)
Katerina El Raheb, Theofilos Mailis, Vladislav Ryzhikov, Nicolas Papapetrou, Yannis E. Ioannidis
2017 J jnl
Horn Fragments of the Halpern-Shoham Interval Temporal Logic.
ACM Trans. Comput. Log.
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
2017 J jnl
Metric Temporal Logic for Ontology-Based Data Access over Log Data.
CoRR
Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017 — conf
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2017 A* conf
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic.
AAAI
Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017 C conf
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk).
TIME
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2017 — conf
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries.
Description Logics
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2017 J jnl
Querying Log Data with Metric Temporal Logic.
CoRR
Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017 A* conf
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
PODS
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
2017 J jnl
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries.
CoRR
Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev
2016 J jnl
Games for query inseparability of description logic knowledge bases.
Artif. Intell.
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 J jnl
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report).
CoRR
Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev
2016 — conf
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey.
RW
Elena Botoeva, Boris Konev, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 J jnl
Knowledge base exchange: The case of OWL 2 QL.
Artif. Intell.
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2016 J jnl
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version).
CoRR
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 A* conf
Query-Based Entailment and Inseparability for ALC Ontologies.
IJCAI
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2016 A* conf
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic.
IJCAI
Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev
2016 — conf
Towards Practical OBDA with Temporal Ontologies - (Position Paper).
RR
Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao
2016 — conf
When is Query Inseparability for ALC Ontologies Decidable?
Description Logics
Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015 A* conf
First-Order Rewritability of Temporal Ontology-Mediated Queries.
IJCAI
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2015 — conf
Interval Temporal Description Logics.
Description Logics
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2015 A* conf
Tractable Interval Temporal Propositional and Description Logics.
AAAI
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2015 A* conf
When Are Description Logic Knowledge Bases Indistinguishable?
IJCAI
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 J jnl
A Cookbook for Temporal Conceptual Data Modelling with Description Logics.
ACM Trans. Comput. Log.
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2014 A conf
DL-Lite and Interval Temporal Logics: a Marriage Proposal.
ECAI
Alessandro Artale, Davide Bresolin, Angelo Montanari, Guido Sciavicco, Vladislav Ryzhikov
2014 — conf
Query Inseparability by Games.
Description Logics
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 A* conf
Query Inseparability for Description Logic Knowledge Bases.
KR
Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2014 — conf
Temporal OBDA with LTL and DL-Lite.
Description Logics
Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2013 — conf
Computing Solutions in OWL 2 QL Knowledge Exchange.
Description Logics
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013 — conf
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard.
Description Logics
Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013 J jnl
Exchanging OWL 2 QL Knowledge Bases
CoRR
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013 A* conf
Exchanging OWL 2 QL Knowledge Bases.
IJCAI
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013 B conf
The Complexity of Clausal Fragments of LTL.
LPAR
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2013 J jnl
The Complexity of Clausal Fragments of LTL.
CoRR
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2012 J jnl
A Cookbook for Temporal Conceptual Data Modelling with Description Logics
CoRR
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2012 A conf
DL-Lite with Attributes and Datatypes.
ECAI
Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov
2012 A* conf
Exchanging Description Logic Knowledge Bases.
KR
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2012 — conf
Representability in DL-Lite_R Knowledge Base Exchange.
Description Logics
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2011 — conf
DL-Lite with Attributes and Sub-Roles (Extended Abstract).
Description Logics
Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov
2011 — conf
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models.
FroCoS
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010 A conf
Complexity of Reasoning over Temporal Data Models.
ER
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010 A* conf
Past and Future of DL-Lite.
AAAI
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2010 — conf
Temporal Conceptual Modelling with DL-Lite.
Description Logics
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2009 — conf
Extending DL-Lite Sometime in the Future.
Description Logics
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2008 — conf
Checking DL-Lite Modularity with QBF Solvers.
Description Logics
Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev
2007 — conf
Complexity of Reasoning in Entity Relationship Models.
Description Logics
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007 A conf
Reasoning over Extended ER Models.
ER
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev