Giuseppe De Giacomo
Giuseppe De Giacomo
Sapienza Università di Roma
Dirección de correo verificada de diag.uniroma1.it - Página principal
Título
Citado por
Citado por
Año
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
15032007
OWL 2 web ontology language: Structural specification and functional-style syntax
B Motik, PF Patel-Schneider, B Parsia, C Bock, A Fokoue, P Haase, ...
W3C recommendation 27 (65), 159, 2009
9302009
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
8162008
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
7132000
OWL 2 web ontology language profiles
B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz
W3C recommendation 27, 61, 2009
6682009
Reasoning on UML class diagrams
D Berardi, D Calvanese, G De Giacomo
Artificial Intelligence 168 (1), 70-118, 2005
6552005
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
5632003
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
4912013
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
4912013
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
4912013
Data Complexity of Query Answering in Description Logics.
D Calvanese, G De Giacomo, D Lembo, M Lenzerini, R Rosati
KR 6, 260-270, 2006
491*2006
DL-Lite: Tractable description logics for ontologies
D Calvanese, G De Giacomo, D Lembo, M Lenzerini, R Rosati
AAAI 5, 602-607, 2005
4662005
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
4461998
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
3532005
Description logic framework for information integration
D Calvanese, G De Giacomo, M Lenzerini, D Nardi, R Rosati
KR, 2-13, 1998
3451998
A framework for ontology integration
D Calvanese, G De Giacomo, M Lenzerini
The Emerging Semantic Web—Selected Papers from the First Semantic Web …, 2002
3352002
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
2902011
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
2812004
Linear temporal logic and linear dynamic logic on finite traces
G De Giacomo, MY Vardi
IJCAI'13 Proceedings of the Twenty-Third international joint conference on …, 2013
2692013
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
2592005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20