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: Calvanese:Diego
Facilitated 1 volumes:
EdContributed to:
2014
2014
20142013
20122012
201020082006200520042004
2003200320022002
20022002
2002200020002000
20001999199919981998199619941994
2000
2019Wrote 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.