| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Maurizio Lenzerini 86 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI 2000 : 386-391 85 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : What is Query Rewriting? CIA 2000 : 51-59 84 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Keys for Free in Description Logics. Description Logics 2000 : 79-88 83 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Answering Regular Path Queries Using Views. ICDE 2000 : 389-398 82 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Containment of Conjunctive Regular Path Queries with Inverse. KR 2000 : 176-185 81 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : What is View-Based Query Rewriting? KRDB 2000 : 17-27 80 Andrea Calì , Diego Calvanese , Maurizio Lenzerini: Semistructured data schemas with expressive constraints. KRDB 2000 : 3-16 79 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : View-Based Query Processing and Constraint Satisfaction. LICS 2000 : 361-371 78 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : View-Based Query Processing for Regular Path Queries with Inverse. PODS 2000 : 58-66 77 Andrea Calì , Diego Calvanese , Maurizio Lenzerini: Local constraint in semistructured data schemas. SEBD 2000 : 65-78 76 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 75 Andrea Schaerf , Marco Cadoli , Maurizio Lenzerini: LOCAL++: A C++ framework for local search algorithms. Software - Practice and Experience 30 (3): 233-257 (2000) 74 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Queries and Constraints on Semi-structured Data. CAiSE 1999 : 434-438 73 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 72 Maurizio Lenzerini: Description Logics and Their Relationships with Databases. ICDT 1999 : 32-38 71 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI 1999 : 84-89 70 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Answering Queries Using Views in Description Logics. KRDB 1999 : 6-10 69 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Rewriting of Regular Expressions and Regular Path Queries. PODS 1999 : 194-204 68 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Moshe Y. Vardi : Rewriting of Regular Path Queries. SEBD 1999 : 213-224 67 Stefano Trisolini , Maurizio Lenzerini, Daniele Nardi : Data Integration and Warehousing in Telecom Italia. SIGMOD Conference 1999 : 538-539 66 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 65 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : Unifying Class-Based Representation Formalisms. JAIR 11 : 199-240 (1999) 64 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) 63 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Modeling and Querying Semi-Structured data . Networking and Information Systems 2 (2): 253-273 (1999) 62 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI 1998 : 205-210 61 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Daniele Nardi , Riccardo Rosati : Information Integration: Conceptual Modeling and Reasoning Support. CoopIS 1998 : 280-291 60 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Daniele Nardi , Riccardo Rosati : Source Integration in Data Warehousing. DEXA Workshop 1998 : 192-197 59 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini, Daniele Nardi , Riccardo Rosati : Description Logic Framework for Information Integration. KR 1998 : 2-13 58 Maurizio Lenzerini: Description Logics and their Applications. KR 1998 : 652 57 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998 : 229-263 56 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: On the Decidability of Query Containment under Constraints. PODS 1998 : 149-158 55 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Extending Semi-Structured Data. SEBD 1998 : 87-102 54 St. De Francisci , Oliver Günther , Hans-J. Lenz , Maurizio Lenzerini, Arie Shoshani : OLAP and Data Warehousing in Statistical Databases (Panel). SSDBM 1998 : 167 53 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) 52 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Andrea Schaerf : AL-log: Integrating Datalog and Description Logics. JIIS 10 (3): 227-252 (1998) 51 Marco Cadoli , Luigi Palopoli , Maurizio Lenzerini: Datalog and Description Logics: Expressive Power. DBPL 1997 : 281-298 50 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Representing and Reasoning on SGML Documents. ISMIS 1997 : 540-549 49 Francesco M. Donini , Maurizio Lenzerini, Daniele Nardi , Werner Nutt : The Complexity of Concept Languages. Information and Computation 134 (1): 1-58 (1997) 48 Giuseppe De Giacomo , Maurizio Lenzerini: A Uniform Framework for Concept Definitions in Description Logics. JAIR 6 : 87-110 (1997) 47 Giuseppe De Giacomo , Maurizio Lenzerini: TBox and ABox Reasoning in Expressive Description Logics. KR 1996 : 316-327 46 Giuseppe De Giacomo , Maurizio Lenzerini: PDL-based framework for reasoning about actions. AI*IA 1995 : 103-114 45 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Structured Objects: Modeling and Reasoning. DOOD 1995 : 229-246 44 Giuseppe De Giacomo , Maurizio Lenzerini: What's in an Aggregate: Foundations for Description Logics with Tuples and Sets. IJCAI (1) 1995 : 801-807 43 Diego Calvanese , Giuseppe De Giacomo , Maurizio Lenzerini: Increasing the Power of Structured Objects. KRDB 1995 42 Tiziana Catarci , Giovanna D'Angiolini , Maurizio Lenzerini: Conceptual Language for Statistical Data Modeling. DKE 17 (2): 93-125 (1995) 41 Giuseppe De Giacomo , Maurizio Lenzerini: Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. AAAI, Vol. 1 1994 : 205-212 40 Giuseppe De Giacomo , Maurizio Lenzerini: Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus. ECAI 1994 : 411-415 39 Diego Calvanese , Maurizio Lenzerini: On the Interaction Between ISA and Cardinality Constraints. ICDE 1994 : 204-213 38 Giuseppe De Giacomo , Maurizio Lenzerini: Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations. JELIA 1994 : 332-346 37 Diego Calvanese , Maurizio Lenzerini, Daniele Nardi : A Unified Framework for Class-Based Representation Formalisms. KR 1994 : 109-120 36 Maurizio Lenzerini: Description Logics for Schema Level Reasoning in Databases (Abstract). KRDB 1994 35 Diego Calvanese , Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994 : 243-254 34 Marco Cadoli , Maurizio Lenzerini: The Complexity of Propositional Closed World Reasoning and Circumscription. JCSS 48 (2): 255-310 (1994) 33 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) 32 Tiziana Catarci , Maurizio Lenzerini: Interschema Knowledge in Cooperative Information Systems. CoopIS 1993 : 55-62 31 Giuseppe Di Battista , Maurizio Lenzerini: Deductive Entity-Relationship Modeling. TKDE 5 (3): 439-450 (1993) 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, Vol.1 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, F. 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, F. Villanelli : INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model. ER 1981 : 375-410 DiSC'01 Copyright ©2002 ACM Inc. |
