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

    Article

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

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) The DL-Lite family and relations. Journal of Artificial Intelligence Research 36 (1), pp. 1-69. ISSN 1076-9757.

    Book Section

    Gerasimova, O. and Kikot, S. and Podolskii, V. and Zakharyaschev, Michael (2017) On the data complexity of ontology-mediated queries with a covering axiom. In: Artale, A. and Glimm, B. and Kontchakov, Roman (eds.) DL 2017: International Workshop on Description Logics. CEUR Workshop Proceedings 1879 1879. CEUR Workshop Proceedings.

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

    Artale, A. and Kovtunova, A. and Kontchakov, Roman and Ryzhikov, V. 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, V. 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, V. 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.

    Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, V. 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.

    Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) Temporal description logic for ontology-based data access. In: Rossi, F. (ed.) Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. California, U.S.: AAAI Press, pp. 711-717. ISBN 9781577356332.

    Artale, A. and Kontchakov, Roman and Wolter, F. and Zakharyaschev, Michael (2013) Temporalising OWL 2 QL. 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. 17-28.

    Artale, A. and Kontchakov, Roman and Ryzhikov, V. 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.

    Artale, A. and Ryzhikov, V. 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.

    Artale, A. and Ibáñez-García, Y. and Kontchakov, Roman and Ryzhikov, V. (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.

    Amalfi, M. and Artale, A. and Calì, Andrea and Provetti, A. (2011) Generating preview instances for the face validation of entity-relationship schemata: the acyclic case. In: Xu Yu, J. and Ho Kim, M. and Unland, R. (eds.) Database Systems for Advanced Applications. Lecture Notes in Computer Science 6588. Berlin, Germany: Springer, pp. 225-234. ISBN 9783642201516.

    Artale, A. and Kontchakov, Roman and Ryzhikov, V. 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.

    Artale, A. and Kontchakov, Roman and Ryzhikov, V. 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, V. 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, V. 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.

    Artale, A. and Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) Adding weight to DL-Lite. 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.

    Artale, A. and Kontchakov, Roman and Ryzhikov, V. 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 Calvanese, D. and Kontchakov, Roman and Zakharyaschev, Michael (2009) DL-Lite without UNA. 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.

    Artale, A. and Kontchakov, Roman and Ryzhikov, V. 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.

    This list was generated on Thu Oct 19 03:17:29 2017 BST.