Welcome to DiSC 2003
SIGMOD 2002
PODS 2002
 SIGMOD RECORD 2002
 ADBIS 2002
CIKM 2002
CoopIS 2002
 EDBT 2002
 ER 2002
Data Engineering Bul
DEXA_EC-WEB 2002
DMKD 2002
 DPDJ 2002
HYPERTEXT 2002
ICDE 2002
ICDM 2002
JCDL 2002
KDD 2002
 KDD_EXPLORATIONS 20
KRDB 2002
MDM 2002
MIS 2002
RIDE 2002
SBBD 2002
 SIGIR 2002
 SIGIR FORUM 2002
SSDBM 2002
TODS 2002
TIME 2002
VLDB 2002
VLDBJ 2002
About DiSC 2003
Editorial Board
Acknowledgements
DiSC 2003 Production
ADVIS
DiSC'03 Feedback
DiSC'03 Sitemap
Search DiSC'03
<<<Author Index>>>
Copyright Notice

Diego Calvanese

Papers on DiSC'03


Lossless Regular Views

On the Expressive Power of Data Integration Systems.

Publications


Note: Links lead to the DBLP on the Web.

Diego Calvanese

68 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Paolo Naggar , Fabio Vernacotola : IBIS: Semantic Data Integration at Work. CAiSE 2003 : 79-94

67 Diego Calvanese, Giuseppe De Giacomo , Moshe Y. Vardi : Decidable Containment of Recursive Queries. ICDT 2003 : 330-345

66 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : View-based query containment. PODS 2003 : 56-67

65 Diego Calvanese, Maurizio Lenzerini , Rajeev Motwani : Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings. Springer 2002

64 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Data Integration under Integrity Constraints. CAiSE 2002 : 262-279

63 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002 : 41-60

62 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : On the Expressive Power of Data Integration Systems. ER 2002 : 338-350

61 Andrea Calì , Diego Calvanese: Optimized Querying of Integrated Data over the Web. Engineering Information Systems in the Internet Context 2002 : 285-301

60 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002 : 503-513

59 Diego Calvanese, Giuseppe De Giacomo , Moshe Y. Vardi : Reasoning about Actions and Planning in LTL Action Theories. KR 2002 : 593-602

58 Alexander Borgida , Diego Calvanese, Laurence Cholvy , Marie-Christine Rousset : Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002. KRDB 2002

57 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002 : 359-370

56 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Lossless Regular Views. PODS 2002 : 247-258

55 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002 : 161-168

54 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Paolo Naggar , Fabio Vernacotola : IBIS: Data Integration at Work. SEBD 2002 : 291-298

53 Diego Calvanese, Tiziana Catarci , Maurizio Lenzerini , Giuseppe Santucci : The multilingual thesaurus of LAURIN. SEKE 2002 : 83-90

52 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : On the Role of Integrity Constraints in Data Integration. IEEE Data Engineering Bulletin 25 (3): 39-45 (2002)

51 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. JCSS 64 (3): 443-465 (2002)

50 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001 : 40-61

49 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Ontology of Integration and Integration of Ontologies. Description Logics 2001

48 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. ER 2001 : 270-284

47 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi : Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001 : 1581-1634

46 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001 : 155-160

45 Diego Calvanese, Silvana Castano , Francesco Guerra , Domenico Lembo , Michele Melchiori , Giorgio Terracina , Domenico Ursino , Maurizio Vincini : Towards a Comprehensive Methodological Framework for Integration. KRDB 2001

44 Andrea Calì , Diego Calvanese: Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies. SEBD 2001 : 33-44

43 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Data Integration in Data Warehousing. IJCIS 10 (3): 237-271 (2001)

42 Diego Calvanese, Tiziana Catarci , Giuseppe Santucci : LAURIN: A Distributed Digital Library of Newspaper Clippings. World Wide Web 4 (1-2): 5-20 (2001)

41 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000 : 386-391

40 Diego Calvanese, Tiziana Catarci , Giuseppe Santucci : Building a Digital Library of Newspaper Clippings: The Laurin Project. ADL 2000 : 15-26

39 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : What is Query Rewriting? CIA 2000 : 51-59

38 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Keys for Free in Description Logics. Description Logics 2000 : 79-88

37 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Answering Regular Path Queries Using Views. ICDE 2000 : 389-398

36 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185

35 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : What is View-Based Query Rewriting? KRDB 2000 : 17-27

34 Andrea Calì , Diego Calvanese, Maurizio Lenzerini : Semistructured data schemas with expressive constraints. KRDB 2000 : 3-16

33 Diego Calvanese, Tiziana Catarci , Giuseppe Santucci : LAURIN: A Distributed Digital Library of Newspaper Clippings. Kyoto International Conference on Digital Libraries 2000 : 187-194

32 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371

31 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66

30 Andrea Calì , Diego Calvanese, Maurizio Lenzerini : Local constraint in semistructured data schemas. SEBD 2000 : 65-78

29 Matthias Jarke , Christoph Quix , Diego Calvanese, Maurizio Lenzerini , Enrico Franconi , Spyros Ligoudistiano , Panos Vassiliadis , Yannis Vassiliou : Concept Based Design of Data Warehouses: The DWQ Demonstrators. SIGMOD Conference 2000 : 591

28 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Queries and Constraints on Semi-structured Data. CAiSE 1999 : 434-438

27 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW 1999 : 16

26 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999 : 84-89

25 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Answering Queries Using Views in Description Logics. KRDB 1999 : 6-10

24 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204

23 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Path Queries. SEBD 1999 : 213-224

22 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) 1999 : 73-78

21 Diego Calvanese, Maurizio Lenzerini , Daniele Nardi : Unifying Class-Based Representation Formalisms. JAIR 11 : 199-240 (1999)

20 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Representing and Reasoning on XML Documents: A Description Logic Approach. Journal of Logic and Computation 9 (3): 295-318 (1999)

19 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Modeling and Querying Semi-Structured data . Networking and Information Systems 2 (2): 253-273 (1999)

18 Diego Calvanese, Giuseppe De Giacomo , Riccardo Rosati : Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Networking and Information Systems 2 (4): 413-432 (1999)

17 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998 : 205-210

16 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291

15 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197

14 Diego Calvanese, Giuseppe De Giacomo , Riccardo Rosati : A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998

13 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998

12 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Description Logic Framework for Information Integration. KR 1998 : 2-13

11 Diego Calvanese, Maurizio Lenzerini , Daniele Nardi : Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998 : 229-263

10 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : On the Decidability of Query Containment under Constraints. PODS 1998 : 149-158

9 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Extending Semi-Structured Data. SEBD 1998 : 87-102

8 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Representing and Reasoning on SGML Documents. ISMIS 1997 : 540-549

7 Diego Calvanese: Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity. ECAI 1996 : 303-307

6 Diego Calvanese: Finite Model Reasoning in Description Logics. KR 1996 : 292-303

5 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Structured Objects: Modeling and Reasoning. DOOD 1995 : 229-246

4 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Increasing the Power of Structured Objects. KRDB 1995

3 Diego Calvanese, Maurizio Lenzerini : On the Interaction Between ISA and Cardinality Constraints. ICDE 1994 : 204-213

2 Diego Calvanese, Maurizio Lenzerini , Daniele Nardi : A Unified Framework for Class-Based Representation Formalisms. KR 1994 : 109-120

1 Diego Calvanese, Maurizio Lenzerini : Making Object-Oriented Schemas More Expressive. PODS 1994 : 243-254




DiSC'03 © 2003 Association for Computing Machinery