BIROn - Birkbeck Institutional Research Online
    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Number of items: 14.

    ACM Transactions on Computational Logic

    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.

    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.

    Artificial Intelligence

    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.

    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.

    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.

    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.

    Artificial Intelligence Research

    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.

    CEUR Workshop Proceedings

    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.

    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.

    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.

    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.

    International Journal of Applied Mathematics and Computer Science

    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.

    Lecture Notes in Computer Science

    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.

    Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence

    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.

    This list was generated on Tue Nov 30 05:25:21 2021 GMT.