| 2008 |
|---|
| 193 | | Maurizio Lenzerini,
Domenico Lembo:
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada
ACM 2008 |
| 192 | EE | Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Towards Higher-Order DL-Lite.
Description Logics 2008 |
| 191 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Path-Based Identification Constraints in Description Logics.
KR 2008: 231-241 |
| 190 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies.
KR 2008: 242-251 |
| 189 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati,
Marco Ruzzi:
Data Integration throughDL-LiteA Ontologies.
SDKB 2008: 26-47 |
| 188 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Conjunctive query containment and answering under description logic constraints.
ACM Trans. Comput. Log. 9(3): (2008) |
| 187 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella,
Fabio Patrizi:
Automatic Service Composition and Synthesis: the Roman Model.
IEEE Data Eng. Bull. 31(3): 18-22 (2008) |
| 186 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Inconsistency tolerance in P2P data integration: An epistemic logic approach.
Inf. Syst. 33(4-5): 360-384 (2008) |
| 185 | EE | Antonella Poggi,
Domenico Lembo,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Linking Data to Ontologies.
J. Data Semantics 10: 133-173 (2008) |
| 184 | EE | Maurizio Lenzerini:
Database theory column: report on PODS 2008.
SIGACT News 39(3): 63-65 (2008) |
| 2007 |
|---|
| 183 | | Giuseppe De Giacomo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati:
On the Approximation of Instance Level Update and Erasure in Description Logics.
AAAI 2007: 403-408 |
| 182 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Actions and Programs over Description Logic Ontologies.
Description Logics 2007 |
| 181 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Domenico Lembo,
Antonella Poggi,
Riccardo Rosati:
MASTRO-I: Efficient Integration of Relational Data through DL Ontologies.
Description Logics 2007 |
| 180 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
EQL-Lite: Effective First-Order Query Processing in Description Logics.
IJCAI 2007: 274-279 |
| 179 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Can OWL Model Football Leagues?
OWLED 2007 |
| 178 | EE | Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
On reconciling data exchange, data integration, and peer data management.
PODS 2007: 133-142 |
| 177 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati:
Ontology-based Database Access.
SEBD 2007: 324-331 |
| 176 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family.
J. Autom. Reasoning 39(3): 385-429 (2007) |
| 175 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
View-based query processing: On the relationship between rewriting, answering and losslessness.
Theor. Comput. Sci. 371(3): 169-182 (2007) |
| 2006 |
|---|
| 174 | | Giuseppe De Giacomo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati:
On the Update of Description Logic Ontologies at the Instance Level.
AAAI 2006 |
| 173 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases.
Description Logics 2006 |
| 172 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Data Complexity of Query Answering in Description Logics.
KR 2006: 260-270 |
| 171 | EE | Maurizio Lenzerini,
Erich J. Neuhold,
V. S. Subrahmanian:
ODBASE 2006 International Conference (Ontologies, DataBases, and Applications of Semantics) PC Co-chairs' Message.
OTM Conferences (1) 2006: 697 |
| 170 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati:
Linking Data to Ontologies: The Description Logic DL-Lite_A.
OWLED 2006 |
| 2005 |
|---|
| 169 | | Andrea Calì,
Diego Calvanese,
Enrico Franconi,
Maurizio Lenzerini,
Letizia Tanca:
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005
SEBD 2005 |
| 168 | | Andrea Acciarri,
Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Mattia Palmieri,
Riccardo Rosati:
QuOnto: Querying Ontologies.
AAAI 2005: 1670-1671 |
| 167 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies.
AAAI 2005: 602-607 |
| 166 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach.
DBPL 2005: 90-105 |
| 165 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Data Complexity of Query Answering in Description Logics.
Description Logics 2005 |
| 164 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Richard Hull,
Maurizio Lenzerini,
Massimo Mecella:
Modeling Data & Processes for Service Specifications in Colombo.
EMOI-INTEROP 2005 |
| 163 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness.
ICDT 2005: 321-336 |
| 162 | EE | Nicola Leone,
Thomas Eiter,
Wolfgang Faber,
Michael Fink,
Georg Gottlob,
Luigi Granata,
Gianluigi Greco,
Edyta Kalka,
Giovambattista Ianni,
Domenico Lembo,
Maurizio Lenzerini,
Vincenzino Lio,
Bartosz Nowicki,
Riccardo Rosati,
Marco Ruzzi,
Witold Staniszkis,
Giorgio Terracina:
Data Integration: a Challenging ASP Application.
LPNMR 2005: 379-383 |
| 161 | EE | Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Tailoring OWL for Data Intensive Ontologies.
OWLED 2005 |
| 160 | EE | Nicola Leone,
Gianluigi Greco,
Giovambattista Ianni,
Vincenzino Lio,
Giorgio Terracina,
Thomas Eiter,
Wolfgang Faber,
Michael Fink,
Georg Gottlob,
Riccardo Rosati,
Domenico Lembo,
Maurizio Lenzerini,
Marco Ruzzi,
Edyta Kalka,
Bartosz Nowicki,
Witold Staniszkis:
The INFOMIX system for advanced integration of incomplete and inconsistent data.
SIGMOD Conference 2005: 915-917 |
| 159 | EE | Maurizio Lenzerini:
Logical Foundations for Data Integration.
SOFSEM 2005: 38-40 |
| 158 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Efficiently Managing Data Intensive Ontologies.
SWAP 2005 |
| 157 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Conjunctive Query Containment and Answering under Description Logics Constraints
CoRR abs/cs/0507067: (2005) |
| 156 | EE | Guido Vetere,
Maurizio Lenzerini:
Models for semantic interoperability in service-oriented architectures.
IBM Systems Journal 44(4): 887-904 (2005) |
| 155 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
Automatic Service Composition Based on Behavioral Descriptions.
Int. J. Cooperative Inf. Syst. 14(4): 333-376 (2005) |
| 154 | EE | Maurizio Lenzerini:
Preface.
Theor. Comput. Sci. 336(1): 1- (2005) |
| 2004 |
|---|
| 153 | | Maurizio Lenzerini,
Michele Missikoff:
Ontologies for Interoperability.
CAiSE Workshops (3) 2004: 100 |
| 152 | EE | Maurizio Lenzerini:
Principles of P2P Data Integration.
DIWeb 2004: 7-21 |
| 151 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati,
Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls.
Description Logics 2004 |
| 150 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati,
Guido Vetere:
Hyper: A Framework for Peer-to-Peer Data Integration on Grids.
ICSNW 2004: 144-157 |
| 149 | EE | Daniela Berardi,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella,
Diego Calvanese:
Synthesis of underspecified composite e-services based on automated reasoning.
ICSOC 2004: 105-114 |
| 148 | | Maurizio Lenzerini:
Quality-aware data Integration in Peer-to-Peer Systems.
IQIS 2004: 1 |
| 147 | | Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Tackling Inconsistencies in Data Integration through Source Preferences.
IQIS 2004: 27-34 |
| 146 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
What to Ask to a Peer: Ontolgoy-based Query Reformulation.
KR 2004: 469-478 |
| 145 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Logical Foundations of Peer-To-Peer Data Integration.
PODS 2004: 241-251 |
| 144 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Query Reformulation over Ontology-based Peers.
SEBD 2004: 418-425 |
| 143 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
: A Tool for Automatic Composition ofServices Based on Logics of Programs.
TES 2004: 80-94 |
| 142 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Data integration under integrity constraints.
Inf. Syst. 29(2): 147-163 (2004) |
| 2003 |
|---|
| 141 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Paolo Naggar,
Fabio Vernacotola:
IBIS: Semantic Data Integration at Work.
CAiSE 2003: 79-94 |
| 140 | EE | Diego Calvanese,
Elio Damaggio,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Semantic Data Integration in P2P Systems.
DBISP2P 2003: 77-90 |
| 139 | | Alexander Borgida,
Maurizio Lenzerini,
Riccardo Rosati:
Description Logics for Databases.
Description Logic Handbook 2003: 462-484 |
| 138 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
e-Service Composition by Description Logics Based Reasoning.
Description Logics 2003 |
| 137 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
Automatic Composition of E-services That Export Their Behavior.
ICSOC 2003: 43-58 |
| 136 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
View-based query containment.
PODS 2003: 56-67 |
| 135 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Query Containment Using Views.
SEBD 2003: 467-474 |
| 134 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
A Foundational Vision of e-Services.
WES 2003: 28-40 |
| 133 | | Andrea Calì,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Source Integration for Data Warehousing.
Multidimensional Databases 2003: 361-392 |
| 132 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Reasoning on regular path queries.
SIGMOD Record 32(4): 83-92 (2003) |
| 2002 |
|---|
| 131 | | Diego Calvanese,
Maurizio Lenzerini,
Rajeev Motwani:
Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings
Springer 2002 |
| 130 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Data Integration under Integrity Constraints.
CAiSE 2002: 262-279 |
| 129 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Description Logics for Information Integration.
Computational Logic: Logic Programming and Beyond 2002: 41-60 |
| 128 | EE | Maurizio Lenzerini:
Incompleteness and inconsistency in information integration.
Description Logics 2002 |
| 127 | EE | Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Source inconsistency and incompleteness in data integration.
Description Logics 2002 |
| 126 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
On the Expressive Power of Data Integration Systems.
ER 2002: 338-350 |
| 125 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
A Formal Framework for Reasoning on UML Class Diagrams.
ISMIS 2002: 503-513 |
| 124 | EE | Maurizio Lenzerini:
Incompleteness and inconsistency in information integration.
KRDB 2002 |
| 123 | EE | Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Source inconsistency and incompleteness in data integration.
KRDB 2002 |
| 122 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Description Logics: Foundations for Class-based Knowledge Representation.
LICS 2002: 359-370 |
| 121 | EE | Maurizio Lenzerini:
Data Integration: A Theoretical Perspective.
PODS 2002: 233-246 |
| 120 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Lossless Regular Views.
PODS 2002: 247-258 |
| 119 | | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas.
SEBD 2002: 161-168 |
| 118 | | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Paolo Naggar,
Fabio Vernacotola:
IBIS: Data Integration at Work.
SEBD 2002: 291-298 |
| 117 | | Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Integrating Inconsistent and Incomplete Data Sources.
SEBD 2002: 299-306 |
| 116 | EE | Diego Calvanese,
Tiziana Catarci,
Maurizio Lenzerini,
Giuseppe Santucci:
The multilingual thesaurus of LAURIN.
SEKE 2002: 83-90 |
| 115 | EE | 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) |
| 114 | EE | 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) |
| 2001 |
|---|
| 113 | | 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
CEUR-WS.org 2001 |
| 112 | EE | Maurizio Lenzerini:
Data Integration Is Harder than You Thought.
CoopIS 2001: 22-26 |
| 111 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
View-Based Query Answering and Query Containment over Semistructured Data.
DBPL 2001: 40-61 |
| 110 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Ontology of Integration and Integration of Ontologies.
Description Logics 2001 |
| 109 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas.
ER 2001: 270-284 |
| 108 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Identification Constraints and Functional Dependencies in Description Logics.
IJCAI 2001: 155-160 |
| 107 | EE | Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt,
Dan Suciu:
Preface.
KRDB 2001 |
| 106 | EE | Maurizio Lenzerini:
Data Integration Needs Reasoning.
LPNMR 2001: 54-61 |
| 105 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
A Framework for Ontology Integration.
SWWS 2001: 303-316 |
| 104 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
A Framework for Ontology Integration.
The Emerging Semantic Web 2001 |
| 103 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi:
Reasoning in Expressive Description Logics.
Handbook of Automated Reasoning 2001: 1581-1634 |
| 102 | EE | Mokrane Bouzeghoub,
Maurizio Lenzerini:
Introduction to the special issue on data extraction, cleaning, and reconciliation.
Inf. Syst. 26(8): 535-536 (2001) |
| 101 | EE | 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) |
| 100 | EE | 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) |
| 2000 |
|---|
| 99 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Answering Queries Using Views over Description Logics Knowledge Bases.
AAAI/IAAI 2000: 386-391 |
| 98 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
What is Query Rewriting?
CIA 2000: 51-59 |
| 97 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Keys for Free in Description Logics.
Description Logics 2000: 79-88 |
| 96 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Answering Regular Path Queries Using Views.
ICDE 2000: 389-398 |
| 95 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse.
KR 2000: 176-185 |
| 94 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
What is View-Based Query Rewriting?
KRDB 2000: 17-27 |
| 93 | EE | Andrea Calì,
Diego Calvanese,
Maurizio Lenzerini:
Semistructured data schemas with expressive constraints.
KRDB 2000: 3-16 |
| 92 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
View-Based Query Processing and Constraint Satisfaction.
LICS 2000: 361-371 |
| 91 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
View-Based Query Processing for Regular Path Queries with Inverse.
PODS 2000: 58-66 |
| 90 | | Andrea Calì,
Diego Calvanese,
Maurizio Lenzerini:
Local constraint in semistructured data schemas.
SEBD 2000: 65-78 |
| 89 | EE | 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 |
| 88 | | Andrea Schaerf,
Marco Cadoli,
Maurizio Lenzerini:
LOCAL++: A C++ framework for local search algorithms.
Softw., Pract. Exper. 30(3): 233-257 (2000) |
| 1999 |
|---|
| 87 | | Patrick Lambrix,
Alexander Borgida,
Maurizio Lenzerini,
Ralf Möller,
Peter F. Patel-Schneider:
Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999
CEUR-WS.org 1999 |
| 86 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Queries and Constraints on Semi-structured Data.
CAiSE 1999: 434-438 |
| 85 | EE | 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 |
| 84 | EE | Maurizio Lenzerini:
Description Logics and Their Relationships with Databases.
ICDT 1999: 32-38 |
| 83 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.
IJCAI 1999: 84-89 |
| 82 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Answering Queries Using Views in Description Logics.
KRDB 1999: 6-10 |
| 81 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries.
PODS 1999: 194-204 |
| 80 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Rewriting of Regular Path Queries.
SEBD 1999: 213-224 |
| 79 | EE | Stefano Trisolini,
Maurizio Lenzerini,
Daniele Nardi:
Data Integration and Warehousing in Telecom Italia.
SIGMOD Conference 1999: 538-539 |
| 78 | EE | Andrea Schaerf,
Maurizio Lenzerini,
Marco Cadoli:
LOCAL++: A C++ Framework for Local Search Algorithms.
TOOLS (29) 1999: 152-161 |
| 77 | EE | 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 |
| 76 | EE | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
Unifying Class-Based Representation Formalisms.
J. Artif. Intell. Res. (JAIR) 11: 199-240 (1999) |
| 75 | EE | 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) |
| 74 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Modeling and Querying Semi-Structured data .
Networking and Information Systems 2(2): 253-273 (1999) |
| 1998 |
|---|
| 73 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
What can Knowledge Representation do for Semi-Structured Data?
AAAI/IAAI 1998: 205-210 |
| 72 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Information Integration: Conceptual Modeling and Reasoning Support.
CoopIS 1998: 280-291 |
| 71 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Source Integration in Data Warehousing.
DEXA Workshop 1998: 192-197 |
| 70 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Semi-structured Data with Constraints and Incomplete Information.
Description Logics 1998 |
| 69 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Description Logic Framework for Information Integration.
KR 1998: 2-13 |
| 68 | | Maurizio Lenzerini:
Description Logics and their Applications.
KR 1998: 652 |
| 67 | EE | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
Description Logics for Conceptual Data Modeling.
Logics for Databases and Information Systems 1998: 229-263 |
| 66 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
On the Decidability of Query Containment under Constraints.
PODS 1998: 149-158 |
| 65 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Extending Semi-Structured Data.
SEBD 1998: 87-102 |
| 64 | EE | St. De Francisci,
Oliver Günther,
Hans-Joachim Lenz,
Maurizio Lenzerini,
Arie Shoshani:
OLAP and Data Warehousing in Statistical Databases (Panel).
SSDBM 1998: 167 |
| 63 | EE | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt,
Andrea Schaerf:
An Epistemic Operator for Description Logics.
Artif. Intell. 100(1-2): 225-274 (1998) |
| 62 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
AL-log: Integrating Datalog and Description Logics.
J. Intell. Inf. Syst. 10(3): 227-252 (1998) |
| 1997 |
|---|
| 61 | | 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 |
| 60 | | Marco Cadoli,
Luigi Palopoli,
Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power.
APPIA-GULP-PRODE 1997: 333-344 |
| 59 | EE | Marco Cadoli,
Luigi Palopoli,
Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power.
DBPL 1997: 281-298 |
| 58 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Conjunctive Query Containment in Description Logics with n-ary Relations.
Description Logics 1997 |
| 57 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Representing and Reasoning on SGML Documents.
ISMIS 1997: 540-549 |
| 56 | EE | Giuseppe De Giacomo,
Maurizio Lenzerini:
A Uniform Framework for Concept Definitions in Description Logics
CoRR cs.AI/9703101: (1997) |
| 55 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
The Complexity of Concept Languages.
Inf. Comput. 134(1): 1-58 (1997) |
| 54 | | Giuseppe De Giacomo,
Maurizio Lenzerini:
A Uniform Framework for Concept Definitions in Description Logics.
J. Artif. Intell. Res. (JAIR) 6: 87-110 (1997) |
| 1996 |
|---|
| 53 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Representing SGML Documents in Description Logics.
Description Logics 1996: 102-106 |
| 52 | | Giuseppe De Giacomo,
Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics.
Description Logics 1996: 37-48 |
| 51 | | Marco Cadoli,
Luigi Palopoli,
Maurizio Lenzerini:
Datalog and Description Logics: Expressive Power - Preliminary Report.
Description Logics 1996: 97-101 |
| 50 | | Giuseppe De Giacomo,
Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics.
KR 1996: 316-327 |
| 1995 |
|---|
| 49 | | Giuseppe De Giacomo,
Maurizio Lenzerini:
PDL-based framework for reasoning about actions.
AI*IA 1995: 103-114 |
| 48 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Structured Objects: Modeling and Reasoning.
DOOD 1995: 229-246 |
| 47 | | Giuseppe De Giacomo,
Maurizio Lenzerini:
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets.
IJCAI (1) 1995: 801-807 |
| 46 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Increasing the Power of Structured Objects.
KRDB 1995 |
| 45 | EE | Tiziana Catarci,
Giovanna D'Angiolini,
Maurizio Lenzerini:
Conceptual Language for Statistical Data Modeling.
Data Knowl. Eng. 17(2): 93-125 (1995) |
| 1994 |
|---|
| 44 | | Giuseppe De Giacomo,
Maurizio Lenzerini:
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics.
AAAI 1994: 205-212 |
| 43 | | Giuseppe De Giacomo,
Maurizio Lenzerini:
Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus.
ECAI 1994: 411-415 |
| 42 | EE | Diego Calvanese,
Maurizio Lenzerini:
On the Interaction Between ISA and Cardinality Constraints.
ICDE 1994: 204-213 |
| 41 | | Giuseppe De Giacomo,
Maurizio Lenzerini:
Description Logics with Inverse Roles, Functional Restrictions, and N-ary Relations.
JELIA 1994: 332-346 |
| 40 | | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
A Unified Framework for Class-Based Representation Formalisms.
KR 1994: 109-120 |
| 39 | EE | Maurizio Lenzerini:
Description Logics for Schema Level Reasoning in Databases (Abstract).
KRDB 1994 |
| 38 | EE | Diego Calvanese,
Maurizio Lenzerini:
Making Object-Oriented Schemas More Expressive.
PODS 1994: 243-254 |
| 37 | | Marco Cadoli,
Maurizio Lenzerini:
The Complexity of Propositional Closed World Reasoning and Circumscription.
J. Comput. Syst. Sci. 48(2): 255-310 (1994) |
| 36 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
Deduction in Concept Languages: From Subsumption to Instance Checking.
J. Log. Comput. 4(4): 423-452 (1994) |
| 1993 |
|---|
| 35 | | Tiziana Catarci,
Maurizio Lenzerini:
Interschema Knowledge in Cooperative Information Systems.
CoopIS 1993: 55-62 |
| 34 | EE | Giuseppe Di Battista,
Maurizio Lenzerini:
Deductive Entity-Relationship Modeling.
IEEE Trans. Knowl. Data Eng. 5(3): 439-450 (1993) |
| 33 | | Tiziana Catarci,
Maurizio Lenzerini:
Representing and Using Interschema Knowledge in Cooperative Information Systems.
Int. J. Cooperative Inf. Syst. 2(4): 375-398 (1993) |
| 1992 |
|---|
| 32 | | 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 |
| 31 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf,
Werner Nutt:
Adding Epistemic Operators to Concept Languages.
KR 1992: 342-353 |
| 30 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Bernhard Hollunder,
Werner Nutt,
Alberto Marchetti-Spaccamela:
The Complexity of Existential Quantification in Concept Languages.
Artif. Intell. 53(2-3): 309-327 (1992) |
| 1991 |
|---|
| 29 | | Maurizio Lenzerini,
Andrea Schaerf:
Concept Languages as Query Languages.
AAAI 1991: 471-476 |
| 28 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Andrea Schaerf:
A Hybrid System with Datalog and Concept Languages.
AI*IA 1991: 88-97 |
| 27 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
Tractable Concept Languages.
Description Logics 1991: 39-42 |
| 26 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
The Complexity of Concept Languages (Extended Abstract).
Description Logics 1991: 87-90 |
| 25 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
Tractable Concept Languages.
IJCAI 1991: 458-465 |
| 24 | | Francesco M. Donini,
Maurizio Lenzerini,
Daniele Nardi,
Werner Nutt:
The Complexity of Concept Languages.
KR 1991: 151-162 |
| 23 | | Maurizio Lenzerini,
Andrea Schaerf:
Querying Concept-based Knowledge Bases.
PDK 1991: 107-123 |
| 22 | EE | Maurizio Lenzerini:
Type data bases with incomplete information.
Inf. Sci. 53(1-2): 61-87 (1991) |
| 1990 |
|---|
| 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 | EE | 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.
Inf. Syst. 15(4): 453-461 (1990) |
| 1989 |
|---|
| 17 | EE | Giuseppe Di Battista,
Maurizio Lenzerini:
A Deductive Method for Entity-Relationship Modeling.
VLDB 1989: 13-21 |
| 1988 |
|---|
| 16 | | Maurizio Lenzerini,
Daniele Nardi:
Belief Revision as Meta-Reasoning.
ECAI 1988: 577-579 |
| 15 | EE | 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 |
| 1987 |
|---|
| 13 | EE | Maurizio Lenzerini:
Class Hierarchies and Their Complexity.
DBPL 1987: 43-65 |
| 12 | EE | 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 | EE | Maurizio Lenzerini,
Paolo Nobili:
On The Satisfiability of Dependency Constraints in Entity-Relationship Schemata.
VLDB 1987: 147-154 |
| 1986 |
|---|
| 9 | EE | Carlo Batini,
Maurizio Lenzerini,
Shamkant B. Navathe:
A Comparative Analysis of Methodologies for Database Schema Integration.
ACM Comput. Surv. 18(4): 323-364 (1986) |
| 1985 |
|---|
| 8 | EE | Maurizio Lenzerini:
SERM: Semantic Entity-Relationship Model.
ER 1985: 270-278 |
| 1984 |
|---|
| 7 | | Carlo Batini,
Maurizio Lenzerini:
A Methodology for Data Schema Integration in the Entity Relationship Model.
IEEE Trans. Software Eng. 10(6): 650-664 (1984) |
| 1983 |
|---|
| 6 | EE | Carlo Batini,
Maurizio Lenzerini:
A Methodology for Data Schema Integration in the Entity-Relationship Model.
ER 1983: 413-420 |
| 5 | EE | 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 |
| 1982 |
|---|
| 2 | | Carlo Batini,
Maurizio Lenzerini,
Gaetano Santucci:
A computer-aided methodology for conceptual data-base design.
Inf. Syst. 7(3): 265-280 (1982) |
| 1981 |
|---|
| 1 | EE | 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 |
