Browse by Person

2007

Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) Complexity of reasoning in entity relationship models. In: Calvanese, D. and Franconi, E. and Haarslev, V. and Lembo, D. and Motik, B. and Turhan, A.-Y. and Tessaris, S. (eds.) Proceedings of the 2007 International Workshop on Description Logics. CEUR Workshop Proceedings 250. CEUR Workshop Proceedings.

Artale, A. and Calvanese, D. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, M. (2007) Reasoning over extended ER models. In: Parent, C. and Schewe, K.-D. and Storey, V.S. and Thalheim, B. (eds.) Conceptual Modeling, ER 2007: 26th International Conference on Conceptual Modeling. Lecture Notes in Computer Science 4801. Springer, pp. 277-292. ISBN 9783540755623.

2008

Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2008) Checking DL-Lite modularity with QBF solvers. In: Baader, F. and Lutz, C. and Motik, B. (eds.) Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008. CEUR Workshop Proceedings 353. CEUR Workshop Proceedings.

2009

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) DL-Lite with temporalised concepts, rigid axioms and roles. In: Ghilardi, S. and Sebastiani, R. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science 5749. Berlin, Germany: Springer, pp. 133-148. ISBN 9783642042218.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) Extending DL-Lite sometime in the future. In: Cuenca Grau, B. and Horrocks, I. and Motik, B. and Sattler, U. (eds.) Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. CEUR Workshop Proceedings 477. CEUR Workshop Proceedings.

2010

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) Complexity of reasoning over temporal data models. In: Parsons, J. and Saeki, M. and Shoval, P. and Woo, C. and Wand, Y. (eds.) Conceptual Modeling – ER 2010. Lecture Notes in Computer Science 6412. Berlin, Germany: Springer, pp. 174-187. ISBN 9783642163722.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) Past and future of DL-Lite. In: Fox, M. and Poole, D. (eds.) Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2010, Atlanta, Georgia, USA, July 11-15, 2010. California, U.S.: AAAI Press, pp. 243-248. ISBN 9781577354659.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2010) Temporal conceptual modelling with DL-Lite. In: Haarslev, V. and Toman, D. and Weddell, G. (eds.) Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. CEUR Workshop Proceedings 573. CEUR Workshop Proceedings, pp. 9-19.

2011

Artale, A. and Ibáñez-García, Y. and Kontchakov, Roman and Ryzhikov, Vladislav (2011) DL-Lite with attributes and sub-roles (extended abstract). In: UNSPECIFIED (ed.) Proceedings of the DL Home 2011 International Workshop on Description Logics (DL2011) - Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745. CEUR Workshop Proceedings.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2011) Tailoring temporal description logics for reasoning over temporal conceptual models. In: Tinelli, C. and Sofronie-Stokkermans, V. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science 6989. Berlin, Germany: Springer, pp. 1-11. ISBN 9783642243639.

2012

Artale, A. and Ryzhikov, Vladislav and Kontchakov, Roman (2012) DL-lite with attributes and datatypes. In: de Raedt, L. and Bessiere, C. and Dubois, D. and Doherty, P. and Frasconi, P. and Heintz, F. and Lucas, P. (eds.) Frontiers in Artificial Intelligence and Applications. Amsterdam, The Netherlands: IOS Press, pp. 61-66. ISBN 9781614990970.

2013

Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) Conjunctive query inseparability in OWL2QL is ExpTime-hard. In: Eiter, T. and Glimm, B. and Kazakov, Y. and Krötzsch, M. (eds.) Informal Proceedings of DL (Ulm, 23-26 July). CEUR Workshop Proceedings 1014. CEUR-WS, pp. 353-363.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2013) The complexity of clausal fragments of LTL. In: McMillan, K. and Middeldorp, A. and Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning. Lecture Notes in Computer Science 8312. Berlin, Germany: Springer, pp. 35-52. ISBN 9783642452215.

2014

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability by games. In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings 1193. CEUR, pp. 83-95.

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Temporal OBDA with LTL and DL-Lite. In: Bienvenu, M. and Ortiz, M. and Rosati, R. and Simkus, M. (eds.) Informal Proceedings of DL (Vienna, 17-20 July). CEUR Workshop Proceedings 1193. CEUR, pp. 21-32.

July 2014

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2014) A cookbook for temporal conceptual data modelling with description logic. ACM Transactions on Computational Logic 15 (3), ISSN 1529-3785.

3 July 2014

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2014) Query inseparability for description logic knowledge bases. In: Baral, C. and De Giacomo, G. and Eiter, T. (eds.) Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14). California, U.S.: AAAI Press. ISBN 9781577356578.

2015

Artale, A. and Kovtunova, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2015) First-order rewritability of temporal ontology-mediated queries. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto, U.S.: AAAI Press, pp. 2706-2712. ISBN 9781577357384.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2015) Interval temporal description logics. In: UNSPECIFIED (ed.) Proceedings of the 28th International Workshop on Description Logics. CEUR-WS.

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2015) Tractable interval temporal propositional and description logics. In: UNSPECIFIED (ed.) Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI-15. AAAI, pp. 1417-1423.

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2015) When are description logic knowledge bases indistinguishable? In: UNSPECIFIED (ed.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. Palo Alto, U.S.: AAAI Press, pp. 4240-4246. ISBN 9781577357384.

2016

Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) Query-based entailment and inseparability for ALC ontologies. In: UNSPECIFIED (ed.) The 25th International Joint Conference on Artificial Intelligence IJCAI-16. Palo Alto, U.S.: AAAI Press / International Joint Conferences on Artificial Intelligence, pp. 1001-1007. ISBN 9781577357704.

Kontchakov, Roman and Pandolfo, L. and Pulina, L. and Ryzhikov, Vladislav and Zakharyaschev, Michael (2016) Temporal and spatial OBDA with many-dimensional Halpern-Shoham logic. In: Kambhampati, S. (ed.) Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16). Palo Alto, California USA: AAAI Press, pp. 1160-1166. ISBN 9781577357704.

Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) When is query inseparability for ALC Ontologies decidable? CEUR Workshop Proceedings 1577 , ISSN 1613-0073.

22 January 2016

Botoeva, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2016) Games for query inseparability of description logic knowledge bases. Artificial Intelligence 234 , pp. 78-119. ISSN 0004-3702.

September 2016

Arenas, M. and Botoeva, E. and Calvanese, D. and Ryzhikov, Vladislav (2016) Knowledge base exchange: the case of OWL 2 QL. Artificial Intelligence 238 , pp. 11-62. ISSN 0004-3702.

2017

Botoeva, E. and Konev, B. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2017) Inseparability and conservative extensions of description logic ontologies: a survey. In: Pan, J.Z. and Calvanese, D. and Eiter, T. and Horrocks, I. and Kifer, M. and Lin, F. and Zhao, Y. (eds.) Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering. Lecture Notes in Computer Science 9885. New York, U.S.: Springer, pp. 27-89. ISBN 9783319494920.

Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) On the parameterised complexity of tree-shaped ontology-mediated queries in OWL2QL. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879. CEUR.

Brandt, S. and Güzel Kalaycı, E. and Kontchakov, Roman and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2017) Ontology-based data access with a horn fragment of metric temporal logic. In: UNSPECIFIED (ed.) Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI 2017). AAAI Press, pp. 1070-1076.

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2017) Ontology-mediated query answering over temporal data: a survey. In: Schewe, S. and Schneider, T. and Wijsen, J. (eds.) 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs) 90. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 1-37. ISBN 9783959770521.

Bienvenu, M. and Kikot, S. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) Optimal nonrecursive datalog rewritings of linear TGDs and bounded (Hyper)Tree-width queries. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879 1879. CEUR.

9 May 2017

Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V.V. and Ryzhikov, Vladislav and Zakharyaschev, Michael (2017) The complexity of ontology-based data access with OWL 2 QL and bounded treewidth queries. In: UNSPECIFIED (ed.) Proceedings of the 36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '17. New York, U.S.: Associating for Computing Machinery, pp. 201-216. ISBN 9781450341981.

21 August 2017

Bresolin, D. and Kurucz, A. and Muñoz-Velasco, E. and Ryzhikov, Vladislav and Sciavicco, G. and Zakharyaschev, Michael (2017) Horn fragments of the Halpern-Shoham Interval Temporal Logic. ACM Transactions on Computational Logic 18 (3), pp. 1-39. ISSN 1529-3785.

31 August 2018

Brandt, S. and Güzel Kalaycı, E. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2018) Querying log data with Metric Temporal Logic. Artificial Intelligence Research 62 , pp. 829-877. ISSN 1927-6974.

2019

Brandt, S. and Calvanese, D. and Güzel Kalayci, E. and Kontchakov, Roman and Mörzinger, B. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2019) Two-dimensional rule language for querying sensor log data: a framework and use cases. In: Gamper, J. and Pinchinat, S. and Sciavicco, G. (eds.) 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, pp. 1-15. ISBN 9783959771276.

30 January 2019

Botoeva, E. and Lutz, C. and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2019) Query inseparability for ALC ontologies. Artificial Intelligence 272 , pp. 1-51. ISSN 0004-3702.

29 March 2019

Kalayci, E. and Brandt, S. and Calvanese, D. and Ryzhikov, Vladislav and Xiao, G. and Zakharyaschev, Michael (2019) Ontology-based access to temporal data with Ontop: a framework proposal. International Journal of Applied Mathematics and Computer Science 29 (1), pp. 17-30. ISSN 2083-8492.

August 2019

Ryzhikov, Vladislav and Walega, P.A. and Zakharyaschev, Michael (2019) Data complexity and rewritability of ontology-mediated queries in Metric Temporal Logic under the Event-Based Semantics. In: UNSPECIFIED (ed.) Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). International Joint Conferences on Artificial Intelligence Organization, pp. 1851-1857. ISBN 9780999241127.

2020

Kontchakov, Roman and Ryzhikov, Vladislav and Wolter, F. and Zakharyaschev, Michael (2020) Boolean Role Inclusions in DL-Lite with and without time. In: Calvanese, D. and Erdem, E. and Thielscher, M. (eds.) Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). California, U.S.: IJCAI Organization, pp. 582-591. ISBN 9780999241172.

1 September 2021

Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2021) Deciding FO-rewritability of ontology-mediated queries in linear temporal logic. In: TIME 2021: 28th International Symposium on Temporal Representation and Reasoning, 27-29 September 2021, University of Klagenfurt, Austria (online).

October 2021

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2021) First-order rewritability of ontology-mediated queries in linear temporal logic. Artificial Intelligence 299 , ISSN 0004-3702.

18 October 2021

Kurucz, A. and Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2021) Deciding FO-definability of regular languages. In: RAMICS 2021: International Conference on Relational and Algebraic Methods in Computer Science, 2–5 November 2021, Marseille, France.

15 April 2022

Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2022) Unique characterisability and learnability of Temporal Instance Queries. In: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 31 Jul - 05 Aug 2022, Haifa, Israel.

30 November 2022

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2022) First-Order Rewritability and complexity of Two-Dimensional Temporal Ontology-Mediated Queries. Journal of Artificial Intelligence Research 75 , pp. 1223-1291. ISSN 1076-9757.

Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakharyashchev, Michael (2022) First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries. Journal of Artificial Intelligence Research 75 , pp. 1223-1291. ISSN 1076-9757.

2023

Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2023) Reverse engineering of temporal queries mediated by LTL ontologies. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 3230-3238. ISBN 9781956792034.

Artale, A. and Gnatenko, A. and Ryzhikov, Vladislav and Zakhariyashchev, Michael (2023) A decidable temporal DL-Lite logic with undecidable first-order and datalog-rewritability of ontology-mediated atomic queries. In: Kutz, O. and Lutz, C. and Ozaki, A. (eds.) Proceedings of the 36th International Workshop on Description Logics (DL 2023). CEUR Workshop Proceedings 3515. CEUR.

13 March 2023

Kurucz, A. and Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2023) Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. Journal of Artificial Intelligence Research 76 , ISSN 1076-9757.