default search action
Vladislav Ryzhikov
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c56]Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev:
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics 2024 - [c55]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. IJCAI 2024: 3448-3456 - [i19]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Extremal Separation Problems for Temporal Instance Queries. CoRR abs/2405.03511 (2024) - 2023
- [j10]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev
, Michael Zakharyaschev
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. J. Artif. Intell. Res. 76: 645-703 (2023) - [c54]Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev:
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics 2023 - [c53]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries (Extended Abstract). Description Logics 2023 - [c52]Marie Fortin, Boris Konev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI 2023: 3230-3238 - [i18]Marie Fortin, Boris Konev
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR abs/2305.01248 (2023) - [i17]Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporalising Unique Characterisability and Learnability of Ontology-Mediated Queries. CoRR abs/2306.07662 (2023) - 2022
- [j9]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. J. Artif. Intell. Res. 75: 1223-1291 (2022) - [c51]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics 2022 - [c50]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova
On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract). IJCAI 2022: 5703-5707 - [c49]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. KR 2022 - [i16]Marie Fortin, Boris Konev
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR abs/2205.01651 (2022) - [i15]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic. CoRR abs/2207.06210 (2022) - 2021
- [j8]Alessandro Artale
First-order rewritability of ontology-mediated queries in linear temporal logic. Artif. Intell. 299: 103536 (2021) - [c48]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev
Deciding FO-definability of Regular Languages. RAMiCS 2021: 241-257 - [c47]Vladislav Ryzhikov, Yury Savateev
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. TIME 2021: 10:1-10:15 - [e1]Martin Homola, Vladislav Ryzhikov, Renate A. Schmidt:
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. CEUR Workshop Proceedings 2954, CEUR-WS.org 2021 [contents] - [i14]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-definability of Regular Languages. CoRR abs/2105.06202 (2021) - [i13]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries. CoRR abs/2111.06806 (2021) - 2020
- [c46]Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Description Logics 2020 - [c45]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Boolean Role Inclusions in DL-Lite With and Without Time. KR 2020: 582-591 - [c44]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course. RW 2020: 109-148 - [i12]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. CoRR abs/2004.07221 (2020)
2010 – 2019
- 2019
- [j7]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter
Query inseparability for ALC ontologies. Artif. Intell. 272: 1-51 (2019) - [j6]Elem Güzel Kalayci
Ontology-based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci. 29(1): 17-30 (2019) - [c43]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
A Note on DL-Lite with Boolean Role Inclusions. Description Logics 2019 - [c42]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics. IJCAI 2019: 1851-1857 - [c41]Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME 2019: 7:1-7:15 - [i11]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for ALC Ontologies. CoRR abs/1902.00014 (2019) - [i10]Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version). CoRR abs/1905.12990 (2019) - 2018
- [j5]Sebastian Brandt, Elem Güzel Kalayci
Querying Log Data with Metric Temporal Logic. J. Artif. Intell. Res. 62: 829-877 (2018) - [c40]Elem Güzel Kalayci
Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data. CIKM 2018: 1927-1930 - [c39]Stanislav Kikot, Vladislav Ryzhikov, Przemyslaw Andrzej Walega, Michael Zakharyaschev:
On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words. Description Logics 2018 - [i9]Elena Botoeva, Boris Konev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. CoRR abs/1804.07805 (2018) - 2017
- [j4]Davide Bresolin
Horn Fragments of the Halpern-Shoham Interval Temporal Logic. ACM Trans. Comput. Log. 18(3): 22:1-22:39 (2017) - [c38]Sebastian Brandt, Elem Güzel Kalayci, Roman Kontchakov, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Ontology-Based Data Access with a Horn Fragment of Metric Temporal Logic. AAAI 2017: 1070-1076 - [c37]Sebastian Brandt, Elem Güzel Kalayci
A Framework for Temporal Ontology-Based Data Access: A Proposal. ADBIS (Short Papers and Workshops) 2017: 161-173 - [c36]Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov:
A Note on Computing Certain Answers to Queries over Incomplete Databases. AMW 2017 - [c35]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
On the Parametrised Complexity of Tree-Shaped Ontology-Mediated Queries in OWL 2 QL. Description Logics 2017 - [c34]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Optimal Nonrecursive Datalog Rewritings of Linear TGDs and Bounded (Hyper)Tree-Width Queries. Description Logics 2017 - [c33]Katerina El Raheb
BalOnSe: Temporal Aspects of Dance Movement and Its Ontological Representation. ESWC (2) 2017: 49-64 - [c32]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. PODS 2017: 201-216 - [c31]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova
Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk). TIME 2017: 1:1-1:37 - [i8]Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Metric Temporal Logic for Ontology-Based Data Access over Log Data. CoRR abs/1701.00976 (2017) - [i7]Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Ontology-Based Data Access with OWL 2 QL and Bounded Treewidth Queries. CoRR abs/1702.03358 (2017) - [i6]Sebastian Brandt, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Querying Log Data with Metric Temporal Logic. CoRR abs/1703.08982 (2017) - 2016
- [j3]Elena Botoeva
Games for query inseparability of description logic knowledge bases. Artif. Intell. 234: 78-119 (2016) - [j2]Marcelo Arenas, Elena Botoeva
Knowledge base exchange: The case of OWL 2 QL. Artif. Intell. 238: 11-62 (2016) - [c30]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When is Query Inseparability for ALC Ontologies Decidable? Description Logics 2016 - [c29]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies. IJCAI 2016: 1001-1007 - [c28]Roman Kontchakov, Laura Pandolfo, Luca Pulina, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic. IJCAI 2016: 1160-1166 - [c27]Diego Calvanese, Elem Güzel Kalayci
Towards Practical OBDA with Temporal Ontologies - (Position Paper). RR 2016: 18-24 - [c26]Elena Botoeva, Boris Konev
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey. RW 2016: 27-89 - [i5]Davide Bresolin, Agi Kurucz, Emilio Muñoz-Velasco, Vladislav Ryzhikov, Guido Sciavicco, Michael Zakharyaschev:
Horn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report). CoRR abs/1604.03515 (2016) - [i4]Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query-Based Entailment and Inseparability for ALC Ontologies (Full Version). CoRR abs/1604.04164 (2016) - 2015
- [c25]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Tractable Interval Temporal Propositional and Description Logics. AAAI 2015: 1417-1423 - [c24]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Interval Temporal Description Logics. Description Logics 2015 - [c23]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
First-Order Rewritability of Temporal Ontology-Mediated Queries. IJCAI 2015: 2706-2712 - [c22]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
When Are Description Logic Knowledge Bases Indistinguishable? IJCAI 2015: 4240-4246 - 2014
- [j1]Alessandro Artale, Roman Kontchakov
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. ACM Trans. Comput. Log. 15(3): 25:1-25:50 (2014) - [c21]Alessandro Artale, Roman Kontchakov, Alisa Kovtunova, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Temporal OBDA with LTL and DL-Lite. Description Logics 2014: 21-32 - [c20]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability by Games. Description Logics 2014: 83-95 - [c19]Alessandro Artale, Davide Bresolin
DL-Lite and Interval Temporal Logics: a Marriage Proposal. ECAI 2014: 957-958 - [c18]Elena Botoeva, Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Query Inseparability for Description Logic Knowledge Bases. KR 2014 - 2013
- [c17]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Computing Solutions in OWL 2 QL Knowledge Exchange. Description Logics 2013: 4-16 - [c16]Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard. Description Logics 2013: 353-363 - [c15]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases. IJCAI 2013: 703-710 - [c14]Alessandro Artale, Roman Kontchakov
The Complexity of Clausal Fragments of LTL. LPAR 2013: 35-52 - [i3]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases. CoRR abs/1304.5810 (2013) - [i2]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
The Complexity of Clausal Fragments of LTL. CoRR abs/1306.5088 (2013) - 2012
- [c13]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
Representability in DL-Lite_R Knowledge Base Exchange. Description Logics 2012 - [c12]Alessandro Artale, Vladislav Ryzhikov, Roman Kontchakov
DL-Lite with Attributes and Datatypes. ECAI 2012: 61-66 - [c11]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
Exchanging Description Logic Knowledge Bases. KR 2012 - [i1]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
A Cookbook for Temporal Conceptual Data Modelling with Description Logics. CoRR abs/1209.5571 (2012) - 2011
- [c10]Alessandro Artale, Yazmín Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov:
DL-Lite with Attributes and Sub-Roles (Extended Abstract). Description Logics 2011 - [c9]Alessandro Artale, Roman Kontchakov
Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models. FroCoS 2011: 1-11 - 2010
- [c8]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Past and Future of DL-Lite. AAAI 2010: 243-248 - [c7]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Temporal Conceptual Modelling with DL-Lite. Description Logics 2010 - [c6]Alessandro Artale, Roman Kontchakov
Complexity of Reasoning over Temporal Data Models. ER 2010: 174-187
2000 – 2009
- 2009
- [c5]Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Extending DL-Lite Sometime in the Future. Description Logics 2009 - [c4]Alessandro Artale, Roman Kontchakov
DL-Lite with Temporalised Concepts, Rigid Axioms and Roles. FroCoS 2009: 133-148 - 2008
- [c3]Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:
Checking DL-Lite Modularity with QBF Solvers. Description Logics 2008 - 2007
- [c2]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 - [c1]Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
Reasoning over Extended ER Models. ER 2007: 277-292
Coauthor Index
[c56] [c55] [i19] [j10] [c54] [c53] [c52] [i18] [i17] [j9] [c51] [c50] [c49] [i16] [i15] [j8] [c48] [c47] [i14] [i13] [c46] [c45] [c44] [i12] [j7] [j6] [c43] [c42] [c41] [i11] [i10] [j5] [c39] [i9] [j4] [c38] [c37] [c35] [c34] [c32] [c31] [i8] [i7] [i6] [j3] [c30] [c29] [c28] [c26] [i5] [i4] [c25] [c24] [c23] [c22] [j1] [c21] [c20] [c18] [c16] [c14] [i2] [i1] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [c2] [c1]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-21 20:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: