| Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family D Calvanese, G De Giacomo, D Lembo, M Lenzerini, R Rosati Journal of Automated reasoning 39 (3), 385-429, 2007 | 1866 | 2007 |
| Linking data to ontologies A Poggi, D Lembo, D Calvanese, G De Giacomo, M Lenzerini, R Rosati Journal on data semantics X, 133-173, 2008 | 1202 | 2008 |
| Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. G De Giacomo, MY Vardi Ijcai 13, 854-860, 2013 | 1015 | 2013 |
| Reasoning on UML class diagrams D Berardi, D Calvanese, G De Giacomo Artificial Intelligence 168 (1), 70-118, 2005 | 870 | 2005 |
| OWL 2 web ontology language profiles B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C recommendation 27 (61), 2009 | 834 | 2009 |
| ConGolog, a concurrent programming language based on the situation calculus G De Giacomo, Y Lespérance, HJ Levesque Artificial Intelligence 121 (1-2), 109-169, 2000 | 816 | 2000 |
| Automatic Composition of E-services That Export Their Behavior D Berardi, D Calvanese, G De Giacomo, M Lenzerini, M Mecella International conference on service-oriented computing, 43-58, 2003 | 613 | 2003 |
| Data complexity of query answering in description logics D Calvanese, G De Giacomo, D Lembo, M Lenzerini, R Rosati Artificial Intelligence 195, 335-360, 2013 | 587 | 2013 |
| DL-Lite: Tractable description logics for ontologies D Calvanese, G De Giacomo, D Lembo, M Lenzerini, R Rosati AAAI 5, 602-607, 2005 | 539 | 2005 |
| On the decidability of query containment under constraints D Calvanese, G De Giacomo, M Lenzerini Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on …, 1998 | 499 | 1998 |
| The MASTRO system for ontology-based data access D Calvanese, G De Giacomo, D Lembo, M Lenzerini, A Poggi, ... Semantic Web 2 (1), 43-53, 2011 | 430 | 2011 |
| Automatic composition of transition-based semantic web services with messaging D Berardi, D Calvanese, G De Giacomo, R Hull, M Mecella VLDB 5, 613-624, 2005 | 388 | 2005 |
| Description logic framework for information integration D Calvanese, G De Giacomo, M Lenzerini, D Nardi, R Rosati KR 98, 2-13, 1998 | 374 | 1998 |
| A framework for ontology integration D Calvanese, G De Giacomo, M Lenzerini The Emerging Semantic Web—Selected Papers from the First Semantic Web …, 2002 | 356 | 2002 |
| TBox and ABox reasoning in expressive description logics. G De Giacomo, M Lenzerini KR 96 (316-327), 10, 1996 | 318 | 1996 |
| Ontologies and Databases: The DL-Lite Approach D Calvanese, G De Giacomo, D Lembo, M Lenzerini, A Poggi, ... Reasoning Web International Summer School, 255-356, 2009 | 298 | 2009 |
| Logical foundations of peer-to-peer data integration D Calvanese, G De Giacomo, M Lenzerini, R Rosati Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on …, 2004 | 289 | 2004 |
| Automatic service composition based on behavioral descriptions D Berardi, D Calvanese, G De Giacomo, M Lenzerini, M Mecella International Journal of Cooperative Information Systems 14 (04), 333-376, 2005 | 287 | 2005 |
| Synthesis for LTL and LDL on finite traces G De Giacomo, MY Vardi Proceedings of the Twenty-Fourth International Joint Conference on …, 2015 | 285 | 2015 |
| Rewriting of regular expressions and regular path queries D Calvanese, G De Giacomo, M Lenzerini, MY Vardi Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on …, 1999 | 283 | 1999 |
Diego CalvaneseProf. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof., Umeå Univ.Verified email at unibz.it
