| |
 |      |
                                            |
Note: Links lead to the DBLP on the Web. Maurizio Lenzerini 107 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Data Integration under Integrity Constraints. CAiSE 2002 : 262-279 106 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002 : 41-60 105 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: A Formal Framework for Reasoning on UML Class Diagrams. ISMIS 2002 : 503-513 104 Maurizio Lenzerini: Incompleteness and inconsistency in information integration. KRDB 2002 103 D. Lembo , Maurizio Lenzerini, Riccardo Rosati : Source inconsistency and incompleteness in data integration. KRDB 2002 102 Maurizio Lenzerini: Data Integration: A Theoretical Perspective. PODS 2002 : 233-246 101 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Lossless Regular Views. PODS 2002 : 247-258 100 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. JCSS 64 (3): 443-465 (2002) 99 Maurizio Lenzerini: Data Integration Is Harder than You Thought. CoopIS 2001 : 22-26 98 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Ontology of Integration and Integration of Ontologies. Description Logics 2001 97 Andrea Calì , Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Accessing Data Integration Systems through Conceptual Schemas. ER 2001 : 270-284 96 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Daniele Nardi : Reasoning in Expressive Description Logics. Handbook of Automated Reasoning 2001 : 1581-1634 95 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Identification Constraints and Functional Dependencies in Description Logics. IJCAI 2001 : 155-160 94 Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Dan Suciu : Preface. KRDB 2001 93 Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Dan Suciu : Proceedings of the 8th International Workshop on Knowledge Representation meets Databases (KRDB 2001), Rome, Italy, September 15, 2001. KRDB 2001 92 Maurizio Lenzerini: Data Integration Needs Reasoning. LPNMR 2001 : 54-61 91 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Daniele Nardi , Riccardo Rosati : Data Integration in Data Warehousing. IJCIS 10 (3): 237-271 (2001) 90 Mokrane Bouzeghoub , Maurizio Lenzerini: Introduction to the special issue on data extraction, cleaning, and reconciliation. Information Systems 26 (8): 535-536 (2001) 89 Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Dan Suciu : Report on the 8th International Workshop on Knowledge Representation Meets Databases (KRDB). SIGMOD Record 30 (4): 92-93 (2001) 88 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000 : 386-391 87 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : What is Query Rewriting? CIA 2000 : 51-59 86 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Keys for Free in Description Logics. Description Logics 2000 : 79-88 85 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Answering Regular Path Queries Using Views. ICDE 2000 : 389-398 84 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185 83 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : What is View-Based Query Rewriting? KRDB 2000 : 17-27 82 Andrea Calì , Diego Calvanese , Maurizio Lenzerini: Semistructured data schemas with expressive constraints. KRDB 2000 : 3-16 81 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371 80 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66 79 Andrea Calì , Diego Calvanese , Maurizio Lenzerini: Local constraint in semistructured data schemas. SEBD 2000 : 65-78 78 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 77 Andrea Schaerf , Marco Cadoli , Maurizio Lenzerini: LOCAL++: A C++ framework for local search algorithms. Software - Practice and Experience 30 (3): 233-257 (2000) 76 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Queries and Constraints on Semi-structured Data. CAiSE 1999 : 434-438 75 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 74 Maurizio Lenzerini: Description Logics and Their Relationships with Databases. ICDT 1999 : 32-38 73 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999 : 84-89 72 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Answering Queries Using Views in Description Logics. KRDB 1999 : 6-10 71 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204 70 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Rewriting of Regular Path Queries. SEBD 1999 : 213-224 69 Stefano Trisolini , Maurizio Lenzerini, Daniele Nardi : Data Integration and Warehousing in Telecom Italia. SIGMOD Conference 1999 : 538-539 68 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 67 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : Unifying Class-Based Representation Formalisms. JAIR 11 : 199-240 (1999) 66 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) 65 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Modeling and Querying Semi-Structured data . Networking and Information Systems 2 (2): 253-273 (1999) 64 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998 : 205-210 63 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Daniele Nardi , Riccardo Rosati : Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 62 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Daniele Nardi , Riccardo Rosati : Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 61 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Daniele Nardi , Riccardo Rosati : Description Logic Framework for Information Integration. KR 1998 : 2-13 60 Maurizio Lenzerini: Description Logics and their Applications. KR 1998 : 652 59 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998 : 229-263 58 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: On the Decidability of Query Containment under Constraints. PODS 1998 : 149-158 57 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Extending Semi-Structured Data. SEBD 1998 : 87-102 56 St. De Francisci , Oliver Günther , Hans-Joachim Lenz , Maurizio Lenzerini, Arie Shoshani : OLAP and Data Warehousing in Statistical Databases (Panel). SSDBM 1998 : 167 55 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Andrea Schaerf : An Epistemic Operator for Description Logics. Artificial Intelligence 100 (1-2): 225-274 (1998) 54 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf : AL-log: Integrating Datalog and Description Logics. JIIS 10 (3): 227-252 (1998) 53 Maurizio Lenzerini: AI*IA 97: Advances in Artificial Intelligence, 5th Congress of the Italian Association for Artificial Intelligence, Rome, Italy, September 17-19, 1997, Proceedings. Springer 1997 52 Marco Cadoli , Luigi Palopoli , Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. DBPL 1997 : 281-298 51 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Representing and Reasoning on SGML Documents. ISMIS 1997 : 540-549 50 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : The Complexity of Concept Languages. Information and Computation 134 (1): 1-58 (1997) 49 Giuseppe De Giacomo , Maurizio Lenzerini: A Uniform Framework for Concept Definitions in Description Logics. JAIR 6 : 87-110 (1997) 48 Giuseppe De Giacomo , Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. KR 1996 : 316-327 47 Giuseppe De Giacomo , Maurizio Lenzerini: PDL-based framework for reasoning about actions. AI*IA 1995 : 103-114 46 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Structured Objects: Modeling and Reasoning. DOOD 1995 : 229-246 45 Giuseppe De Giacomo , Maurizio Lenzerini: What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995 : 801-807 44 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Increasing the Power of Structured Objects. KRDB 1995 43 Tiziana Catarci , Giovanna D'Angiolini , Maurizio Lenzerini: Conceptual Language for Statistical Data Modeling. DKE 17 (2): 93-125 (1995) 42 Giuseppe De Giacomo , Maurizio Lenzerini: Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI 1994 : 205-212 41 Giuseppe De Giacomo , Maurizio Lenzerini: Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994 : 411-415 40 Diego Calvanese , Maurizio Lenzerini: On the Interaction Between ISA and Cardinality Constraints. ICDE 1994 : 204-213 39 Giuseppe De Giacomo , Maurizio Lenzerini: Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994 : 332-346 38 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : A Unified Framework for Class-Based Representation Formalisms. KR 1994 : 109-120 37 Maurizio Lenzerini: Description Logics for Schema Level Reasoning in Databases (Abstract). KRDB 1994 36 Diego Calvanese , Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994 : 243-254 35 Marco Cadoli , Maurizio Lenzerini: The Complexity of Propositional Closed World Reasoning and Circumscription. JCSS 48 (2): 255-310 (1994) 34 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf : Deduction in Concept Languages: From Subsumption to Instance Checking. Journal of Logic and Computation 4 (4): 423-452 (1994) 33 Tiziana Catarci , Maurizio Lenzerini: Interschema Knowledge in Cooperative Information Systems. CoopIS 1993 : 55-62 32 Giuseppe Di Battista , Maurizio Lenzerini: Deductive Entity-Relationship Modeling. TKDE 5 (3): 439-450 (1993) 31 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt , Andrea Schaerf : Queries, Rules and Definitions as Epistemic Sentences in Concept Languages. ECAI Workshop on Knowledge Representation and Reasoning 1992 : 113-132 30 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf , Werner Nutt : Adding Epistemic Operators to Concept Languages. KR 1992 : 342-353 29 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Bernhard Hollunder , Werner Nutt , Alberto Marchetti-Spaccamela : The Complexity of Existential Quantification in Concept Languages. Artificial Intelligence 53 (2-3): 309-327 (1992) 28 Maurizio Lenzerini, Andrea Schaerf : Concept Languages as Query Languages. AAAI 1991 : 471-476 27 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf : A Hybrid System with Datalog and Concept Languages. AI*IA 1991 : 88-97 26 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : Tractable Concept Languages. Description Logics 1991 : 39-42 25 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : The Complexity of Concept Languages (Extended Abstract). Description Logics 1991 : 87-90 24 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : Tractable Concept Languages. IJCAI 1991 : 458-465 23 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : The Complexity of Concept Languages. KR 1991 : 151-162 22 Maurizio Lenzerini, Andrea Schaerf : Querying Concept-based Knowledge Bases. PDK 1991 : 107-123 21 Marco Cadoli , Maurizio Lenzerini: The Complexity of Closed World Reasoning and Circumscription. AAAI 1990 : 550-555 20 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi : An Efficient Method for Hybrid Deduction. ECAI 1990 : 246-252 19 Tiziana Catarci , Giovanna D'Angiolini , Maurizio Lenzerini: Concept Description Language for Statistical Data Modeling. VLDB 1990 : 722-729 18 Maurizio Lenzerini, Paolo Nobili : On the satisfiability of dependency constraints in entity-relationship schemata. IS 15 (4): 453-461 (1990) 17 Giuseppe Di Battista , Maurizio Lenzerini: A Deductive Method for Entity-Relationship Modeling. VLDB 1989 : 13-21 16 Maurizio Lenzerini, Daniele Nardi : Belief Revision as Meta-Reasoning. ECAI 1988 : 577-579 15 Giuseppe Di Battista , Maurizio Lenzerini: Object Modeling Based on Logic. ER 1988 : 207-225 14 Francesco M. Donini , Maurizio Lenzerini: TermLog: a Logic for Terminological Knowledge. ISMIS 1988 : 408-417 13 Maurizio Lenzerini: Class Hierarchies and Their Complexity. DBPL 1987 : 43-65 12 Maurizio Lenzerini: Covering and Disjointness Constraints in Type Networks. ICDE 1987 : 386-393 11 Maurizio Lenzerini: Formal Treatment of Incomplete Information in Type Data Bases. ISMIS 1987 : 167-174 10 Maurizio Lenzerini, Paolo Nobili : On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata. VLDB 1987 : 147-154 9 Carlo Batini , Maurizio Lenzerini, Shamkant B. Navathe : A Comparative Analysis of Methodologies for Database Schema Integration. ACM Computing Surveys 18 (4): 323-364 (1986) 8 Maurizio Lenzerini: SERM: Semantic Entity-Relationship Model. ER 1985 : 270-278 7 Carlo Batini , Maurizio Lenzerini: A Methodology for Data Schema Integration in the Entity Relationship Model. TSE 10 (6): 650-664 (1984) 6 Carlo Batini , Maurizio Lenzerini: A Methodology for Data Schema Integration in the Entity-Relationship Model. ER 1983 : 413-420 5 Maurizio Lenzerini, Gaetano Santucci : Cardinality Constraints in the Entity-Relationship Model. ER 1983 : 529-549 4 Paolo Atzeni , Carlo Batini , Enzo Carboni , Valeria De Antonellis , Maurizio Lenzerini, Fulvio Villanelli , Bruna Zonta : INCOD-DTE: A System for Interative Conceptual Design of Data, Transactions and Events. Methodology and Tools for Data Base Design 1983 : 205-228 3 Carlo Batini , Maurizio Lenzerini, Marina Moscarini : Views Integration. Methodology and Tools for Data Base Design 1983 : 57-84 2 Carlo Batini , Maurizio Lenzerini, Gaetano Santucci : A computer-aided methodology for conceptual data-base design. IS 7 (3): 265-280 (1982) 1 Paolo Atzeni , Carlo Batini , Maurizio Lenzerini, Fulvio Villanelli : INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model. ER 1981 : 375-410  DiSC'02 © 2003 Association for Computing Machinery |
