BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Number of items: 15.

    Article

    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 , ISSN 0004-5411. (In Press)

    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 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 (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.

    Book Section

    Bienvenu, M. and Kikot, Stanislav and Kontchakov, Roman and Podolskii, V.V. and Ryzhikov, V. 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.

    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 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.

    This list was generated on Tue Jul 17 03:38:15 2018 BST.