Follow
Vladislav Ryzhikov
Vladislav Ryzhikov
Lecturer In Computer Science, Birkbeck, Univ. of London
Verified email at dcs.bbk.ac.uk
Title
Cited by
Cited by
Year
Reasoning over extended ER models
A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev
Conceptual Modeling - ER 2007, 26th International Conference on Conceptual …, 2007
1292007
A cookbook for temporal conceptual data modelling with description logics
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
ACM Transactions on Computational Logic (TOCL) 15 (3), 1-50, 2014
942014
Ontology-based data access with a horn fragment of metric temporal logic
S Brandt, EG Kalaycı, R Kontchakov, V Ryzhikov, G Xiao, ...
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
772017
Querying log data with metric temporal logic
S Brandt, EG Kalaycı, V Ryzhikov, G Xiao, M Zakharyaschev
Journal of Artificial Intelligence Research 62, 829-877, 2018
722018
Ontology-mediated query answering over temporal data: A survey
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 90, 1-37, 2017
662017
First-order rewritability of temporal ontology-mediated queries
A Artale, A Kovtunova, R Kontchakov, V Ryzhikov, F Wolter, ...
Proceedings of the Twenty-Fourth International Joint Conference on …, 2015
612015
The complexity of clausal fragments of LTL
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
Logic for Programming, Artificial Intelligence, and Reasoning - 19th …, 2013
462013
Inseparability and conservative extensions of description logic ontologies: A survey
E Botoeva, B Konev, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query …, 2017
452017
Tractable Interval Temporal Propositional and Description Logics
A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015
442015
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic
R Kontchakov, L Pandolfo, L Pulina, V Ryzhikov, M Zakharyaschev
Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI), AAAI …, 2016
402016
Horn fragments of the Halpern-Shoham interval temporal logic
D Bresolin, A Kurucz, E Muñoz-Velasco, V Ryzhikov, G Sciavicco, ...
ACM Transactions on Computational Logic (TOCL) 18 (3), 1-39, 2017
342017
Exchanging Description Logic Knowledge Bases
M Arenas, E Botoeva, D Calvanese, V Ryzhikov, E Sherkhonov
Principles of Knowledge Representation and Reasoning: Proceedings of the …, 2012
312012
DL-Lite with Attributes and Datatypes
A Artale, V Ryzhikov, R Kontchakov
ECAI 2012 - 20th European Conference on Artificial Intelligence. Including …, 2012
302012
Balonse: Temporal aspects of dance movement and its ontological representation
K El Raheb, T Mailis, V Ryzhikov, N Papapetrou, Y Ioannidis
The Semantic Web: 14th International Conference, ESWC 2017, Portorož …, 2017
272017
Games for query inseparability of description logic knowledge bases
E Botoeva, R Kontchakov, V Ryzhikov, F Wolter, M Zakharyaschev
Artificial Intelligence (AIJ), 2016
242016
The complexity of ontology-based data access with OWL 2 QL and bounded treewidth queries
M Bienvenu, S Kikot, R Kontchakov, VV Podolskii, V Ryzhikov, ...
Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2017
222017
First-order rewritability of ontology-mediated queries in linear temporal logic
A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ...
Artificial Intelligence 299, 103536, 2021
212021
Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version)
V Ryzhikov, PA Walega, M Zakharyaschev
arXiv preprint arXiv:1905.12990, 2019
212019
Ontology-based access to temporal data with Ontop: A framework proposal
E Kalayci, S Brandt, D Calvanese, V Ryzhikov, G Xiao, M Zakharyaschev
International Journal of Applied Mathematics and Computer Science 29 (1), 17-30, 2019
212019
Query inseparability for ALC ontologies
E Botoeva, C Lutz, V Ryzhikov, F Wolter, M Zakharyaschev
Artificial Intelligence 272, 1-51, 2019
202019
The system can't perform the operation now. Try again later.
Articles 1–20