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

    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

    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 Fri Apr 28 04:03:17 2017 BST.