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, 385-429, 2007 | 1756 | 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 | 1088 | 2008 |
Reasoning on UML class diagrams D Berardi, D Calvanese, G De Giacomo Artificial Intelligence 168 (1), 70-118, 2005 | 804 | 2005 |
OWL 2 web ontology language profiles B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz W3C recommendation 27 (61), 2009 | 795 | 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 | 781 | 2000 |
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces. G De Giacomo, MY Vardi Ijcai 13, 854-860, 2013 | 758 | 2013 |
Automatic Composition of E-services That Export Their Behavior D Berardi, D Calvanese, G De Giacomo, M Lenzerini, M Mecella Service-Oriented Computing-ICSOC 2003: First International Conference …, 2003 | 599 | 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 | 561 | 2013 |
DL-Lite: Tractable description logics for ontologies D Calvanese, G De Giacomo, D Lembo, M Lenzerini, R Rosati AAAI 5, 602-607, 2005 | 517 | 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 | 484 | 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 | 396 | 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 | 385 | 2005 |
Description logic framework for information integration D Calvanese, G De Giacomo, M Lenzerini, D Nardi, R Rosati KR, 2-13, 1998 | 367 | 1998 |
A Framework for Ontology Integration. D Calvanese, G De Giacomo, M Lenzerini The emerging semantic web, 201-214, 2001 | 351 | 2001 |
TBox and ABox reasoning in expressive description logics. G De Giacomo, M Lenzerini KR 96 (316-327), 10, 1996 | 301 | 1996 |
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 | 280 | 2005 |
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 | 278 | 2009 |
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 | 266 | 1999 |
Data integration under integrity constraints A Calì, D Calvanese, G De Giacomo, M Lenzerini International Conference on Advanced Information Systems Engineering, 262-279, 2002 | 244 | 2002 |