Browse by Staff

Gerasimova, O. and Kikot, Stanislav and Kurucz, A. and Podolskii, V. and Zakharyashchev, Michael (2022) A tetrachotomy of ontology-mediated queries with a covering axiom. Artificial Intelligence 309 , p. 103738. ISSN 0004-3702.

Kikot, Stanislav and Kurucz, A. and Tanaka, Y. and Wolter, F. and Zakharyaschev, Michael (2019) Kripke completeness of strictly positive modal logics over meet-semilattices with operators. Journal of Symbolic Logic 84 (2), pp. 533-588. ISSN 0022-4812.

Kikot, Stanislav and Kontchakov, Roman and Rapisarda, Salvatore and Zakharyaschev, Michael (2018) STYPES: nonrecursive datalog rewriter for linear TGDs and conjunctive queries. In: Panetto, H. and Debruyne, C. and Proper, H. and Ardagna, C. and Roman, D. and Meersman, R. (eds.) On the Move to Meaningful Internet Systems. OTM 2018 Conferences. LNCS 11230. Springer, pp. 441-460. ISBN 9783030026707.

Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2018) Ontology-mediated queries: combined complexity and succinctness of rewritings via circuit complexity. Journal of the ACM 65 (5), ISSN 0004-5411.

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.

Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2016) Theoretically optimal datalog rewritings for OWL 2 QL ontology-mediated queries. In: UNSPECIFIED (ed.) Proceedings of the 29th International Workshop on Description Logics. CEUR-WS.

Gottlob, G. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Schwentick, T. and Zakharyaschev, Michael (2014) The price of query rewriting in ontology-based data access. Artificial Intelligence 213 , pp. 42-59. ISSN 0004-3702.

Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2014) On the succinctness of query rewriting over shallow ontologies. In: Henzinger, T. and Miller, D. (eds.) CSL-LICS '14 Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York, U.S.: ACM, 57:1-57:10. ISBN 9781450328869.

Kikot, Stanislav and Zolin, E. (2013) Modal definability of first-order formulas with free variables and query answering. Journal of Applied Logic 11 (2), pp. 190-216. ISSN 1570-8683.

Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2013) Query rewriting over shallow ontologies. 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. 316-327.

Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2012) Conjunctive query answering with OWL 2 QL. In: Brewka, G. and Eiter, T. and McIlraith, S.A. (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference. California, U.S.: AAAI Press, pp. 275-285. ISBN 9781577355601.

Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2012) Exponential lower bounds and separation for query rewriting. In: Czumaj, A. and Mehlhorn, K. and Pitts, A. and Wattenhofer, R. (eds.) Automata, Languages, and Programming. Lecture Notes in Computer Science 7392 7392. Berlin, Germany: Springer, pp. 263-274. ISBN 9783642315848.

Kikot, Stanislav and Kontchakov, Roman and Podolskii, V. and Zakharyaschev, Michael (2012) Long rewritings, short rewritings. In: UNSPECIFIED (ed.) Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012. CEUR Workshop Proceedings 846. CEUR Workshop Proceedings.

Balbiani, P. and Kikot, Stanislav (2012) Sahlqvist theorems for precontact logics. In: Bolander, T. and Braner, T. and Ghilardi, S. and Moss, L.S. (eds.) Advances in Modal Logic. London, UK: College Publications, pp. 55-70. ISBN 9781848900684.

Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2011) On (in)tractability of OBDA with OWL 2 QL. In: Rosati, R. and Rudolph, S. and Zakharyaschev, Michael (eds.) Proceedings of the 24th International Workshop of Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745. CEUR Workshop Proceedings.

Kikot, Stanislav and Kontchakov, Roman and Zakharyaschev, Michael (2011) Polynomial conjunctive query rewriting under unary inclusion dependencies. In: Rudolph, S. and Gutierrez, C. (eds.) Web Reasoning and Rule Systems (5th International Conference, RR 2011). Lecture Notes in Computer Science 6902. Berlin, Germany: Springer, pp. 124-138. ISBN 9783642235795.

Kikot, Stanislav (2010) Semantic characterization of Kracht formulas. In: Beklemishev, L.D. and Goranko, V. and Shehtman, V. (eds.) Advances in Modal Logic. London, UK: College Publications, pp. 218-234. ISBN 9781848900134.

Kikot, Stanislav (2009) An extension of Kracht's theorem to generalized Sahlqvist formulas. Journal of Applied Non-Classical Logics 19 (2), pp. 227-251. ISSN 1166-3081.