The DL-Lite family and relations A Artale, D Calvanese, R Kontchakov, M Zakharyaschev Journal of artificial intelligence research 36, 1-69, 2009 | 698 | 2009 |
Part-whole relations in object-centered systems: An overview A Artale, E Franconi, N Guarino, L Pazzi Data & Knowledge Engineering 20 (3), 347-383, 1996 | 400 | 1996 |
A survey of temporal extensions of description logics A Artale, E Franconi Annals of Mathematics and Artificial Intelligence 30, 171-210, 2000 | 286 | 2000 |
A temporal description logic for reasoning about actions and plans A Artale, E Franconi Journal of Artificial Intelligence Research (JAIR) 9, 463–506, 1998 | 229 | 1998 |
Representing and reasoning over a taxonomy of part–whole relations CM Keet, A Artale Applied Ontology 3 (1-2), 91-110, 2008 | 191 | 2008 |
Temporal Description Logics. A Artale, E Franconi Handbook of Temporal Reasoning in Artificial Intelligence 1, 375-388, 2005 | 152* | 2005 |
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas A Queralt, A Artale, D Calvanese, E Teniente Data & Knowledge Engineering 73, 1-22, 2012 | 128 | 2012 |
Reasoning over extended ER models A Artale, D Calvanese, R Kontchakov, V Ryzhikov, M Zakharyaschev Conceptual Modeling-ER 2007: 26th International Conference on Conceptual …, 2007 | 127 | 2007 |
Temporal description logic for ontology-based data access A Artale, R Kontchakov, F Wolter, M Zakharyaschev AAAI Press, 2013 | 106 | 2013 |
A cookbook for temporal conceptual data modelling with description logics A Artale, R Kontchakov, V Ryzhikov, M Zakharyaschev ACM Transactions on Computational Logic (TOCL) 15 (3), 1-50, 2014 | 97 | 2014 |
A temporal description logic for reasoning over conceptual schemas and queries A Artale, E Franconi, F Wolter, M Zakharyaschev European Workshop on Logics in Artificial Intelligence, 98-110, 2002 | 97 | 2002 |
Temporalising tractable description logics A Artale, R Kontchakov, C Lutz, F Wolter, M Zakharyaschev 14th International Symposium on Temporal Representation and Reasoning (TIME …, 2007 | 92 | 2007 |
DL-Lite in the light of first-order logic A Artale, D Calvanese, R Kontchakov, M Zakharyaschev Proceedings of the national conference on artificial intelligence 22 (1), 361, 2007 | 72 | 2007 |
A computational account for a description logic of time and action A Artale, E Franconi 4th International Conference on Principles of Knowledge Representation and …, 1994 | 71 | 1994 |
Ontology-mediated query answering over temporal data: A survey A Artale, R Kontchakov, A Kovtunova, V Ryzhikov, F Wolter, ... Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 90, 1-37, 2017 | 69 | 2017 |
Temporal ER modeling with description logics A Artale, E Franconi Conceptual Modeling—ER’99: 18th International Conference on Conceptual …, 1999 | 63 | 1999 |
First-order rewritability of temporal ontology-mediated queries A Artale, A Kovtunova, R Kontchakov, V Ryzhikov, F Wolter, ... AAAI Press, 2015 | 60 | 2015 |
Evolving objects in temporal information systems A Artale, C Parent, S Spaccapietra Annals of Mathematics and Artificial Intelligence 50 (1), 5-38, 2007 | 60 | 2007 |
A description logic of change A Artale, C Lutz, D Toman International Joint Conference on Artificial Intelligence (IJCAI-07), 218–223, 2007 | 53 | 2007 |
Modeling and reasoning over declarative data-aware processes with object-centric behavioral constraints A Artale, A Kovtunova, M Montali, WMP van der Aalst Business Process Management: 17th International Conference, BPM 2019, Vienna …, 2019 | 48 | 2019 |