关注
Giuseppe De Giacomo
Giuseppe De Giacomo
University of Oxford & Sapienza Università di Roma
在 diag.uniroma1.it 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
17562007
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
10882008
Reasoning on UML class diagrams
D Berardi, D Calvanese, G De Giacomo
Artificial Intelligence 168 (1), 70-118, 2005
8042005
OWL 2 web ontology language profiles
B Motik, BC Grau, I Horrocks, Z Wu, A Fokoue, C Lutz
W3C recommendation 27 (61), 2009
7952009
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
7812000
Linear Temporal Logic and Linear Dynamic Logic on Finite Traces.
G De Giacomo, MY Vardi
Ijcai 13, 854-860, 2013
7582013
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
5992003
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
5612013
DL-Lite: Tractable description logics for ontologies
D Calvanese, G De Giacomo, D Lembo, M Lenzerini, R Rosati
AAAI 5, 602-607, 2005
5172005
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
4841998
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
3962011
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
3852005
Description logic framework for information integration
D Calvanese, G De Giacomo, M Lenzerini, D Nardi, R Rosati
KR, 2-13, 1998
3671998
A Framework for Ontology Integration.
D Calvanese, G De Giacomo, M Lenzerini
The emerging semantic web, 201-214, 2001
3512001
TBox and ABox reasoning in expressive description logics.
G De Giacomo, M Lenzerini
KR 96 (316-327), 10, 1996
3011996
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
2892004
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
2802005
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
2782009
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
2661999
Data integration under integrity constraints
A Calì, D Calvanese, G De Giacomo, M Lenzerini
International Conference on Advanced Information Systems Engineering, 262-279, 2002
2442002
系统目前无法执行此操作,请稍后再试。
文章 1–20