BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × China
1 × Denmark
1 × Norway
1 × Switzerland
11 × USA
2 × Austria
2 × Canada
2 × France
2 × Germany
4 × Italy
Collaborated with:
M.Lenzerini G.D.Giacomo M.Y.Vardi R.Rosati M.Montali M.Simkus M.Rodriguez-Muro D.Lembo T.Catarci G.Santucci D.Nardi M.Ortiz B.B.Hariri A.Deutsch G.Stefanoni A.Calì M.Estañol E.Teniente M.Bienvenu T.Kotek H.Veith F.Zuleger M.Arenas E.Botoeva V.Ryzhikov E.Sherkhonov C.M.Keet W.Nutt D.Berardi R.Hull M.Mecella S.Ghilardi A.Gianola A.Rivkin P.Naggar F.Vernacotola M.Jarke C.Quix E.Franconi S.Ligoudistianos P.Vassiliadis Y.Vassiliou
Talks about:
queri (16) base (12) data (10) logic (9) descript (8) regular (6) constraint (5) process (5) integr (5) view (5)

Person: Diego Calvanese

DBLP DBLP: Calvanese:Diego

Facilitated 1 volumes:

PODS 2015Ed

Contributed to:

CIKM 20142014
IFM 20142014
KR 20142014
PODS 20132013
VLDB 20132012
KR 20122012
SAC 20102010
KR 20082008
KR 20062006
VLDB 20052005
KR 20042004
PODS 20042004
CAiSE 20032003
PODS 20032003
CAiSE 20022002
KR 20022002
LICS 20022002
PODS 20022002
SEKE 20022002
KR 20002000
LICS 20002000
PODS 20002000
SIGMOD 20002000
CAiSE 19991999
PODS 19991999
KR 19981998
PODS 19981998
KR 19961996
KR 19941994
PODS 19941994
ADL 20002000
CADE 20192019

Wrote 37 papers:

CIKM-2014-CalvaneseMET #modelling #process #uml
Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
IFM-2014-CalvaneseKSVZ #analysis #data type
Shape and Content — A Database-Theoretic Perspective on the Analysis of Data Structures (DC, TK, MS, HV, FZ), pp. 3–17.
KR-2014-BienvenuCOS #logic #query
Nested Regular Path Queries in Description Logics (MB, DC, MO, MS).
KR-2014-HaririCD #bound
State-Boundedness in Data-Aware Dynamic Systems (BBH, DC, MM, AD).
PODS-2013-CalvaneseGM #analysis #database #perspective #process
Foundations of data-aware process analysis: a database theory perspective (DC, GDG, MM), pp. 1–12.
PODS-2013-HaririCGDM #relational #verification
Verification of relational data-centric dynamic systems with external services (BBH, DC, GDG, AD, MM), pp. 163–174.
VLDB-2013-CalvaneseGLV12 #database #graph #query #relational
Query Processing under GLAV Mappings for Relational and Graph Databases (DC, GDG, ML, MYV), pp. 61–72.
KR-2012-ArenasBCRS #knowledge base #logic
Exchanging Description Logic Knowledge Bases (MA, EB, DC, VR, ES).
KR-2012-CalvaneseOSS #complexity #query
The Complexity of Explaining Negative Query Answers in DL-Lite (DC, MO, MS, GS).
KR-2012-Rodriguez-MuroC #ontology #performance #query
High Performance Query Answering over DL-Lite Ontologies (MRM, DC).
SAC-2010-CalvaneseKNRS #database #ontology #query #visual notation
Web-based graphical querying of databases through an ontology: the Wonder system (DC, CMK, WN, MRM, GS), pp. 1388–1395.
KR-2008-CalvaneseGLLR #constraints #identification #logic
Path-Based Identification Constraints in Description Logics (DC, GDG, DL, ML, RR), pp. 231–241.
KR-2008-CalvaneseGLR #logic #ontology #query
View-Based Query Answering over Description Logic Ontologies (DC, GDG, ML, RR), pp. 242–251.
KR-2006-CalvaneseGLLR #complexity #logic #query
Data Complexity of Query Answering in Description Logics (DC, GDG, DL, ML, RR), pp. 260–270.
VLDB-2005-BerardiCGHM #automation #composition #semantics #web #web service
Automatic Composition of Transition-based Semantic Web Services with Messaging (DB, DC, GDG, RH, MM), pp. 613–624.
KR-2004-CalvaneseGLLR #query #what
What to Ask to a Peer: Ontolgoy-based Query Reformulation (DC, GDG, DL, ML, RR), pp. 469–478.
PODS-2004-CalvaneseGLR #integration #logic #peer-to-peer
Logical Foundations of Peer-To-Peer Data Integration (DC, GDG, ML, RR), pp. 241–251.
CAiSE-2003-CaliCGLNV #integration #named #semantics
IBIS: Semantic Data Integration at Work (AC, DC, GDG, ML, PN, FV), pp. 79–94.
PODS-2003-CalvaneseGLV #query
View-based query containment (DC, GDG, ML, MYV), pp. 56–67.
CAiSE-2002-CaliCGL #constraints #integration
Data Integration under Integrity Constraints (AC, DC, GDG, ML), pp. 262–279.
KR-2002-CalvaneseGV #ltl #reasoning
Reasoning about Actions and Planning in LTL Action Theories (DC, GDG, MYV), pp. 593–602.
LICS-2002-CalvaneseGL #information management #logic #representation
Description Logics: Foundations for Class-based Knowledge Representation (DC, GDG, ML), pp. 359–370.
PODS-2002-CalvaneseGLV
Lossless Regular Views (DC, GDG, ML, MYV), pp. 247–258.
SEKE-2002-CalvaneseCLS #multi
The multilingual thesaurus of LAURIN (DC, TC, ML, GS), pp. 83–90.
KR-2000-CalvaneseGLV #query
Containment of Conjunctive Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 176–185.
LICS-2000-CalvaneseGLV #constraints #query
View-Based Query Processing and Constraint Satisfaction (DC, GDG, ML, MYV), pp. 361–371.
PODS-2000-CalvaneseGLV #query
View-Based Query Processing for Regular Path Queries with Inverse (DC, GDG, ML, MYV), pp. 58–66.
SIGMOD-2000-JarkeQCLFLVV #concept #design
Concept Based Design of Data Warehouses: The DWQ Demonstrators (MJ, CQ, DC, ML, EF, SL, PV, YV), p. 591.
CAiSE-1999-CalvaneseGL #constraints #query
Queries and Constraints on Semi-structured Data (DC, GDG, ML), pp. 434–438.
PODS-1999-CalvaneseGLV #query #regular expression
Rewriting of Regular Expressions and Regular Path Queries (DC, GDG, ML, MYV), pp. 194–204.
KR-1998-CalvaneseGLNR #framework #integration #logic
Description Logic Framework for Information Integration (DC, GDG, ML, DN, RR), pp. 2–13.
PODS-1998-CalvaneseGL #constraints #decidability #on the #query
On the Decidability of Query Containment under Constraints (DC, GDG, ML), pp. 149–158.
KR-1996-Calvanese #finite #logic #reasoning
Finite Model Reasoning in Description Logics (DC), pp. 292–303.
KR-1994-CalvaneseLN #framework #representation
A Unified Framework for Class-Based Representation Formalisms (DC, ML, DN), pp. 109–120.
PODS-1994-CalvaneseL #object-oriented
Making Object-Oriented Schemas More Expressive (DC, ML), pp. 243–254.
ADL-2000-CalvaneseCS #library
Building a Digital Library of Newspaper Clippings: The Laurin Project (DC, TC, GS), pp. 15–26.
CADE-2019-CalvaneseGGMR
Model Completeness, Covers and Superposition (DC, SG, AG, MM, AR), pp. 142–160.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.