| 
| |  | |  |
Data Integration and Warehousing in Telecom Italia
Rewriting of Regular Expressions and Regular Path Queries
Note: Links lead to the DBLP on the Web.
Maurizio Lenzerini
74
Diego Calvanese
,
Giuseppe De Giacomo
, Maurizio Lenzerini,
Moshe Y. Vardi
: Query Processing using Views for Regular Path Queries with Inverse.
PODS 2000
: 0-
73
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
: 0-
72
Diego Calvanese
,
Giuseppe De Giacomo
, Maurizio Lenzerini: Queries and Constraints on Semi-structured Data.
CAiSE 1999
: 434-438
71
Maurizio Lenzerini: Description Logics and Their Relationships with Databases.
ICDT 1999
: 32-38
70
Diego Calvanese
,
Giuseppe De Giacomo
, Maurizio Lenzerini: Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.
IJCAI 1999
: 84-89
69
Diego Calvanese
,
Giuseppe De Giacomo
, Maurizio Lenzerini: Answering Queries Using Views in Description Logics.
KRDB 1999
: 6-10
68
Diego Calvanese
,
Giuseppe De Giacomo
, Maurizio Lenzerini,
Moshe Y. Vardi
: Rewriting of Regular Expressions and Regular Path Queries.
PODS 1999
: 194-204
67
Diego Calvanese
,
Giuseppe De Giacomo
, Maurizio Lenzerini,
Moshe Y. Vardi
: Rewriting of Regular Path Queries.
SEBD 1999
: 213-224
66
Stefano Trisolini
, Maurizio Lenzerini,
Daniele Nardi
: Data Integration and Warehousing in Telecom Italia.
SIGMOD Conference 1999
: 538-539
65
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
64
Diego Calvanese
, Maurizio Lenzerini,
Daniele Nardi
: Unifying Class-Based Representation Formalisms.
JAIR 11
: 199-240 (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.
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-550
4
Paolo Atzeni
,
Carlo Batini
,
Enzo Carboni
,
Valeria De Antonellis
, Maurizio Lenzerini,
F. Villanelli
,
B. 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
Copyright(C) 2000 ACM | | | | | | |
