| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Diego Calvanese Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Data integration under integrity constraints. Inf. Syst. 29 (2): 147-163 (2004) Franz Baader , Diego Calvanese, Deborah L. McGuinness , Daniele Nardi , Peter F. Patel-Schneider : The Description Logic Handbook: Theory, Implementation, and Applications Cambridge University Press 2003 Diego Calvanese, Giuseppe De Giacomo , Enrico Franconi : Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 Description Logics 2003 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Paolo Naggar , Fabio Vernacotola : IBIS: Semantic Data Integration at Work. CAiSE 2003 : 79-94 Diego Calvanese: Data Integration in Data Warehousing (Keynote Address). CAiSE Workshops 2003 Diego Calvanese, Elio Damaggio , Giuseppe De Giacomo , Maurizio Lenzerini , Riccardo Rosati : Semantic Data Integration in P2P Systems. DBISP2P 2003 : 77-90 Ulrike Sattler , Diego Calvanese, Ralf Molitor : Relationships with other Formalisms. Description Logic Handbook 2003 : 137-177 Diego Calvanese, Giuseppe De Giacomo : Expressive Description Logics. Description Logic Handbook 2003 : 178-218 Daniela Berardi , Diego Calvanese, Giuseppe De Giacomo : Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003 Daniela Berardi , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Massimo Mecella : e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 Diego Calvanese, Giuseppe De Giacomo , Moshe Y. Vardi : Decidable Containment of Recursive Queries. ICDT 2003 : 330-345 Daniela Berardi , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Massimo Mecella : Automatic Composition of E-services That Export Their Behavior. ICSOC 2003 : 43-58 Diego Calvanese, Riccardo Rosati : Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003 Diego Calvanese: View-based Query Processing for Semistructured Data. KRDB 2003 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : View-based query containment. PODS 2003 : 56-67 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Query Containment Using Views. SEBD 2003 : 467-474 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Reasoning on regular path queries. SIGMOD Record 32 (4): 83-92 (2003) Diego Calvanese, Maurizio Lenzerini , Rajeev Motwani : Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings Springer 2002 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 Technical University of Aachen (RWTH) 2002 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Data Integration under Integrity Constraints. CAiSE 2002 : 262-279 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002 : 41-60 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : On the Expressive Power of Data Integration Systems. ER 2002 : 338-350 Andrea Calì , Diego Calvanese: Optimized Querying of Integrated Data over the Web. Engineering Information Systems in the Internet Context 2002 : 285-301 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002 : 503-513 Diego Calvanese, Giuseppe De Giacomo , Moshe Y. Vardi : Reasoning about Actions and Planning in LTL Action Theories. KR 2002 : 593-602 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002 : 359-370 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Lossless Regular Views. PODS 2002 : 247-258 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. SEBD 2002 : 161-168 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Paolo Naggar , Fabio Vernacotola : IBIS: Data Integration at Work. SEBD 2002 : 291-298 Diego Calvanese, Tiziana Catarci , Maurizio Lenzerini , Giuseppe Santucci : The multilingual thesaurus of LAURIN. SEKE 2002 : 83-90 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : On the Role of Integrity Constraints in Data Integration. IEEE Data Eng. Bull. 25 (3): 39-45 (2002) Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. 64 (3): 443-465 (2002) Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Answering and Query Containment over Semistructured Data. DBPL 2001 : 40-61 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Ontology of Integration and Integration of Ontologies. Description Logics 2001 Andrea Calì , Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Accessing Data Integration Systems through Conceptual Schemas. ER 2001 : 270-284 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001 : 155-160 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 Andrea Calì , Diego Calvanese: Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies. SEBD 2001 : 33-44 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : A Framework for Ontology Integration. SWWS 2001 : 303-316 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : A Framework for Ontology Integration. The Emerging Semantic Web 2001 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi : Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001 : 1581-1634 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. 10 (3): 237-271 (2001) Diego Calvanese, Tiziana Catarci , Giuseppe Santucci : LAURIN: A Distributed Digital Library of Newspaper Clippings. World Wide Web 4 (1-2): 5-20 (2001) Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000 : 386-391 Diego Calvanese, Tiziana Catarci , Giuseppe Santucci : Building a Digital Library of Newspaper Clippings: The Laurin Project. ADL 2000 : 15-26 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : What is Query Rewriting? CIA 2000 : 51-59 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Keys for Free in Description Logics. Description Logics 2000 : 79-88 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Answering Regular Path Queries Using Views. ICDE 2000 : 389-398 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : What is View-Based Query Rewriting? KRDB 2000 : 17-27 Andrea Calì , Diego Calvanese, Maurizio Lenzerini : Semistructured data schemas with expressive constraints. KRDB 2000 : 3-16 Diego Calvanese, Tiziana Catarci , Giuseppe Santucci : LAURIN: A Distributed Digital Library of Newspaper Clippings. Kyoto International Conference on Digital Libraries 2000 : 187-194 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66 Andrea Calì , Diego Calvanese, Maurizio Lenzerini : Local constraint in semistructured data schemas. SEBD 2000 : 65-78 Matthias Jarke , Christoph Quix , Diego Calvanese, Maurizio Lenzerini , Enrico Franconi , Spyros Ligoudistianos , Panos Vassiliadis , Yannis Vassiliou : Concept Based Design of Data Warehouses: The DWQ Demonstrators. SIGMOD Conference 2000 : 591 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Queries and Constraints on Semi-structured Data. CAiSE 1999 : 434-438 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 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999 : 84-89 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Answering Queries Using Views in Description Logics. KRDB 1999 : 6-10 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Moshe Y. Vardi : Rewriting of Regular Path Queries. SEBD 1999 : 213-224 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 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. 9 (3): 295-318 (1999) Diego Calvanese, Maurizio Lenzerini , Daniele Nardi : Unifying Class-Based Representation Formalisms. JAIR 11 : 199-240 (1999) Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Modeling and Querying Semi-Structured data . Networking and Information Systems 2 (2): 253-273 (1999) 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) Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998 : 205-210 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 Diego Calvanese, Giuseppe De Giacomo , Riccardo Rosati : A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Semi-structured Data with Constraints and Incomplete Information. Description Logics 1998 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini , Daniele Nardi , Riccardo Rosati : Description Logic Framework for Information Integration. KR 1998 : 2-13 Diego Calvanese, Maurizio Lenzerini , Daniele Nardi : Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998 : 229-263 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : On the Decidability of Query Containment under Constraints. PODS 1998 : 149-158 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Extending Semi-Structured Data. SEBD 1998 : 87-102 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics 1997 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Representing and Reasoning on SGML Documents. ISMIS 1997 : 540-549 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Representing SGML Documents in Description Logics. Description Logics 1996 : 102-106 Diego Calvanese: Finite Model Reasoning in Description Logics. Description Logics 1996 : 25-36 Diego Calvanese: Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity. ECAI 1996 : 303-307 Diego Calvanese: Finite Model Reasoning in Description Logics. KR 1996 : 292-303 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Structured Objects: Modeling and Reasoning. DOOD 1995 : 229-246 Diego Calvanese, Giuseppe De Giacomo , Maurizio Lenzerini : Increasing the Power of Structured Objects. KRDB 1995 Diego Calvanese, Maurizio Lenzerini : On the Interaction Between ISA and Cardinality Constraints. ICDE 1994 : 204-213 Diego Calvanese, Maurizio Lenzerini , Daniele Nardi : A Unified Framework for Class-Based Representation Formalisms. KR 1994 : 109-120 Diego Calvanese, Maurizio Lenzerini : Making Object-Oriented Schemas More Expressive. PODS 1994 : 243-254 1 [ 86 ] 2 [ 76 ] [ 78 ] [ 79 ] 3 [ 69 ] 4 [ 33 ] [ 37 ] [ 50 ] [ 53 ] [ 57 ] [ 59 ] [ 60 ] [ 64 ] [ 65 ] [ 66 ] [ 68 ] [ 84 ] [ 87 ] 5 [ 51 ] 6 [ 36 ] [ 43 ] [ 45 ] [ 58 ] 7 [ 69 ] 8 [ 82 ] 9 [ 32 ] [ 85 ] 10 [ 4 ] [ 5 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] [ 21 ] [ 22 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 34 ] [ 35 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 44 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 52 ] [ 53 ] [ 54 ] [ 55 ] [ 56 ] [ 57 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 63 ] [ 64 ] [ 66 ] [ 67 ] [ 68 ] [ 71 ] [ 72 ] [ 73 ] [ 76 ] [ 77 ] [ 78 ] [ 79 ] [ 80 ] [ 82 ] [ 84 ] [ 85 ] [ 87 ] 11 [ 51 ] 12 [ 32 ] 13 [ 51 ] 14 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 18 ] [ 19 ] [ 20 ] [ 22 ] [ 23 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] [ 29 ] [ 30 ] [ 31 ] [ 32 ] [ 33 ] [ 34 ] [ 35 ] [ 37 ] [ 38 ] [ 39 ] [ 40 ] [ 41 ] [ 42 ] [ 44 ] [ 46 ] [ 47 ] [ 48 ] [ 49 ] [ 52 ] [ 53 ] [ 54 ] [ 55 ] [ 56 ] [ 57 ] [ 58 ] [ 59 ] [ 60 ] [ 61 ] [ 62 ] [ 64 ] [ 66 ] [ 67 ] [ 68 ] [ 70 ] [ 71 ] [ 72 ] [ 73 ] [ 76 ] [ 78 ] [ 82 ] [ 84 ] [ 87 ] 15 [ 32 ] 16 [ 86 ] 17 [ 76 ] [ 78 ] 18 [ 51 ] 19 [ 81 ] 20 [ 70 ] 21 [ 59 ] [ 84 ] 22 [ 2 ] [ 14 ] [ 15 ] [ 18 ] [ 19 ] [ 23 ] [ 30 ] [ 46 ] [ 47 ] [ 86 ] 23 [ 86 ] 24 [ 32 ] 25 [ 15 ] [ 17 ] [ 18 ] [ 19 ] [ 21 ] [ 30 ] [ 46 ] [ 75 ] [ 82 ] 26 [ 69 ] 27 [ 36 ] [ 43 ] [ 45 ] [ 58 ] 28 [ 81 ] 29 [ 51 ] 30 [ 51 ] 31 [ 25 ] [ 26 ] [ 27 ] [ 34 ] [ 35 ] [ 38 ] [ 39 ] [ 40 ] [ 42 ] [ 55 ] [ 56 ] [ 61 ] [ 63 ] [ 71 ] [ 72 ] [ 73 ] [ 77 ] 32 [ 32 ] 33 [ 32 ] 34 [ 59 ] [ 84 ] 35 [ 51 ]  ©2004 Association for Computing Machinery |
