| 2008 |
| 163 | | Diego Calvanese,
Georg Lausen:
Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings
Springer 2008 |
| 162 | EE | Alexander Borgida,
Diego Calvanese,
Mariano Rodriguez-Muro:
Explanation in DL-Lite.
Description Logics 2008 |
| 161 | EE | Daniele Braga,
Diego Calvanese,
Alessandro Campi,
Stefano Ceri,
Florian Daniel,
Davide Martinenghi,
Paolo Merialdo,
Riccardo Torlone:
NGS: a framework for multi-domain query answering.
ICDE Workshops 2008: 254-261 |
| 160 | EE | Mariano Rodriguez-Muro,
Lina Lubyte,
Diego Calvanese:
Realizing Ontology Based Data Access: A plug-in for protégé.
ICDE Workshops 2008: 286-289 |
| 159 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Path-Based Identification Constraints in Description Logics.
KR 2008: 231-241 |
| 158 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
View-Based Query Answering over Description Logic Ontologies.
KR 2008: 242-251 |
| 157 | EE | Diego Calvanese,
Evgeny Kharlamov,
Werner Nutt,
Camilo Thorne:
Aggregate queries over ontologies.
ONISW 2008: 97-104 |
| 156 | EE | Alexander Borgida,
Diego Calvanese,
Mariano Rodriguez-Muro:
Explanation in the DL-LiteFamily of Description Logics.
OTM Conferences (2) 2008: 1440-1457 |
| 155 | EE | Thorsten Liebig,
Marko Luther,
Olaf Noppens,
Mariano Rodriguez,
Diego Calvanese,
Michael Wessel,
Matthew Horridge,
Sean Bechhofer,
Dmitry Tsarkov,
Evren Sirin:
OWLlink: DIG for OWL 2.
OWLED 2008 |
| 154 | EE | Mariano Rodriguez,
Diego Calvanese:
Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1.
OWLED 2008 |
| 153 | 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 |
| 152 | | Daniele Braga,
Diego Calvanese,
Alessandro Campi,
Stefano Ceri,
Florian Daniel,
Davide Martinenghi,
Paolo Merialdo,
Riccardo Torlone:
A New Generation Search Engine Supporting Cross Domain Queries.
SEBD 2008: 342-349 |
| 151 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Conjunctive query containment and answering under description logic constraints.
ACM Trans. Comput. Log. 9(3): (2008) |
| 150 | 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) |
| 149 | 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) |
| 148 | EE | Magdalena Ortiz,
Diego Calvanese,
Thomas Eiter:
Data Complexity of Query Answering in Expressive Description Logics via Tableaux.
J. Autom. Reasoning 41(1): 61-98 (2008) |
| 147 | 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) |
| 2007 |
| 146 | | Diego Calvanese,
Enrico Franconi,
Volker Haarslev,
Domenico Lembo,
Boris Motik,
Anni-Yasmin Turhan,
Sergio Tessaris:
Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007
CEUR-WS.org 2007 |
| 145 | | Alessandro Artale,
Diego Calvanese,
Roman Kontchakov,
Michael Zakharyaschev:
DL-Lite in the Light of First-Order Logic.
AAAI 2007: 361-366 |
| 144 | | Diego Calvanese,
Thomas Eiter,
Magdalena Ortiz:
Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach.
AAAI 2007: 391-396 |
| 143 | EE | Raffaella Bernardi,
Francesca Bonin,
Diego Calvanese,
Domenico Carbotta,
Camilo Thorne:
English Querying over Ontologies: E-QuOnto.
AI*IA 2007: 170-181 |
| 142 | EE | Marco Cadoli,
Diego Calvanese,
Giuseppe De Giacomo,
Toni Mancini:
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming.
AI*IA 2007: 36-47 |
| 141 | EE | Diego Calvanese,
Evgeny Kharlamov,
Werner Nutt:
A Proof Theory for DL-Lite.
Description Logics 2007 |
| 140 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Actions and Programs over Description Logic Ontologies.
Description Logics 2007 |
| 139 | EE | Alessandro Artale,
Diego Calvanese,
Roman Kontchakov,
V. Ryzhikov,
Michael Zakharyaschev:
Complexity of Reasoning in Entity Relationship Models.
Description Logics 2007 |
| 138 | EE | Raffaella Bernardi,
Diego Calvanese,
Camilo Thorne:
Expressing DL-Lite Ontologies with Controlled English.
Description Logics 2007 |
| 137 | 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 |
| 136 | EE | Alessandro Artale,
Diego Calvanese,
Roman Kontchakov,
V. Ryzhikov,
Michael Zakharyaschev:
Reasoning over Extended ER Models.
ER 2007: 277-292 |
| 135 | EE | Andrea Calì,
Diego Calvanese,
Davide Martinenghi:
Optimization of Query Plans in the presence of Access Limitations.
EROW 2007 |
| 134 | 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 |
| 133 | EE | Diego Calvanese,
Mariano Rodriguez-Muro:
An Extension of DIG 2.0 for Handling Bulk Data.
OWLED 2007 |
| 132 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Can OWL Model Football Leagues?
OWLED 2007 |
| 131 | | Alessandro Artale,
Diego Calvanese,
Roman Kontchakov,
Michael Zakharyaschev:
Query Answering in Expressive Variants of DL-Lite.
SEBD 2007: 250-257 |
| 130 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Antonella Poggi,
Riccardo Rosati:
Ontology-based Database Access.
SEBD 2007: 324-331 |
| 129 | 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) |
| 128 | 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 |
| 127 | | Magdalena Ortiz,
Diego Calvanese,
Thomas Eiter:
Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics.
AAAI 2006 |
| 126 | EE | Andrea Calì,
Diego Calvanese:
Optimising Query Answering in the Presence of Access Limitations (Position Paper).
DEXA Workshops 2006: 547-552 |
| 125 | EE | Magdalena Ortiz,
Diego Calvanese,
Thomas Eiter:
Data Complexity of Answering Unions of Conjunctive Queries in SHIQ.
Description Logics 2006 |
| 124 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Epistemic First-order Queries over Description Logic Knowledge Bases.
Description Logics 2006 |
| 123 | EE | Daniela Berardi,
Giuseppe De Giacomo,
Massimo Mecella,
Diego Calvanese:
ComposingWeb Services with Nondeterministic Behavior.
ICWS 2006: 909-912 |
| 122 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Data Complexity of Query Answering in Description Logics.
KR 2006: 260-270 |
| 121 | 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 |
| 120 | | Andrea Calì,
Diego Calvanese:
Containment of Conjunctive Queries under Access Limitations.
SEBD 2006: 131-138 |
| 119 | EE | Diego Calvanese,
Luigi Dragone,
Daniele Nardi,
Riccardo Rosati,
Stefano Trisolini:
Enterprise modeling and Data Warehousing in Telecom Italia.
Inf. Syst. 31(1): 1-32 (2006) |
| 118 | | Diego Calvanese,
Nicola Guarino:
Ontologies and Description Logics.
Intelligenza Artificiale 3(1-2): 21-27 (2006) |
| 2005 |
| 117 | | 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 |
| 116 | | Andrea Acciarri,
Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Mattia Palmieri,
Riccardo Rosati:
QuOnto: Querying Ontologies.
AAAI 2005: 1670-1671 |
| 115 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
DL-Lite: Tractable Description Logics for Ontologies.
AAAI 2005: 602-607 |
| 114 | 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 |
| 113 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Data Complexity of Query Answering in Description Logics.
Description Logics 2005 |
| 112 | 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 |
| 111 | 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 |
| 110 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Massimo Mecella:
Composition of Services with Nondeterministic Observable Behavior.
ICSOC 2005: 520-526 |
| 109 | | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Richard Hull,
Massimo Mecella:
Automatic Composition of Web Services in Colombo.
SEBD 2005: 8-15 |
| 108 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Efficiently Managing Data Intensive Ontologies.
SWAP 2005 |
| 107 | EE | Diego Calvanese:
Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach.
TABLEAUX 2005: 1 |
| 106 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Richard Hull,
Massimo Mecella:
Automatic Composition of Transition-based Semantic Web Services with Messaging.
VLDB 2005: 613-624 |
| 105 | | Diego Calvanese,
Giuseppe De Giacomo:
Data Integration: A Logic-Based Perspective.
AI Magazine 26(1): 59-70 (2005) |
| 104 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo:
Reasoning on UML class diagrams.
Artif. Intell. 168(1-2): 70-118 (2005) |
| 103 | EE | Magdalena Ortiz,
Diego Calvanese,
Thomas Eiter,
Enrico Franconi:
Data complexity of answering conjunctive queries over SHIQ knowledge bases
CoRR abs/cs/0507059: (2005) |
| 102 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Conjunctive Query Containment and Answering under Description Logics Constraints
CoRR abs/cs/0507067: (2005) |
| 101 | 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) |
| 100 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Moshe Y. Vardi:
Decidable containment of recursive queries.
Theor. Comput. Sci. 336(1): 33-56 (2005) |
| 2004 |
| 99 | EE | Andrea Calì,
Diego Calvanese,
Simona Colucci,
Tommaso Di Noia,
Francesco M. Donini:
A Description Logic Based Approach for Matching User Profiles.
Description Logics 2004 |
| 98 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati,
Guido Vetere:
DL-Lite: Practical Reasoning for Rich Dls.
Description Logics 2004 |
| 97 | EE | Marco Cadoli,
Diego Calvanese,
Giuseppe De Giacomo:
Towards Implementing Finite Model Reasoning in Description Logics.
Description Logics 2004 |
| 96 | 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 |
| 95 | 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 |
| 94 | EE | Andrea Calì,
Diego Calvanese,
Simona Colucci,
Tommaso Di Noia,
Francesco M. Donini:
A Logic-Based Approach for Matching User Profiles.
KES 2004: 187-195 |
| 93 | | 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 |
| 92 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Logical Foundations of Peer-To-Peer Data Integration.
PODS 2004: 241-251 |
| 91 | | Diego Calvanese,
Giuseppe De Giacomo,
Domenico Lembo,
Maurizio Lenzerini,
Riccardo Rosati:
Query Reformulation over Ontology-based Peers.
SEBD 2004: 418-425 |
| 90 | 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 |
| 89 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Data integration under integrity constraints.
Inf. Syst. 29(2): 147-163 (2004) |
| 2003 |
| 88 | | Diego Calvanese,
Giuseppe De Giacomo,
Enrico Franconi:
Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003
CEUR-WS.org 2003 |
| 87 | | 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 |
| 86 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Paolo Naggar,
Fabio Vernacotola:
IBIS: Semantic Data Integration at Work.
CAiSE 2003: 79-94 |
| 85 | EE | Diego Calvanese:
Data Integration in Data Warehousing (Keynote Address).
CAiSE Workshops 2003 |
| 84 | EE | Diego Calvanese,
Elio Damaggio,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Riccardo Rosati:
Semantic Data Integration in P2P Systems.
DBISP2P 2003: 77-90 |
| 83 | | Ulrike Sattler,
Diego Calvanese,
Ralf Molitor:
Relationships with other Formalisms.
Description Logic Handbook 2003: 137-177 |
| 82 | | Diego Calvanese,
Giuseppe De Giacomo:
Expressive Description Logics.
Description Logic Handbook 2003: 178-218 |
| 81 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo:
Reasoning on UML Class Diagrams is EXPTIME-hard.
Description Logics 2003 |
| 80 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
e-Service Composition by Description Logics Based Reasoning.
Description Logics 2003 |
| 79 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Moshe Y. Vardi:
Decidable Containment of Recursive Queries.
ICDT 2003: 327-342 |
| 78 | 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 |
| 77 | EE | Diego Calvanese,
Riccardo Rosati:
Anwering Recursive Queries under Keys and Foreign Keys is Undecidable.
KRDB 2003 |
| 76 | EE | Diego Calvanese:
View-based Query Processing for Semistructured Data.
KRDB 2003 |
| 75 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
View-based query containment.
PODS 2003: 56-67 |
| 74 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Query Containment Using Views.
SEBD 2003: 467-474 |
| 73 | EE | Daniela Berardi,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Massimo Mecella:
A Foundational Vision of e-Services.
WES 2003: 28-40 |
| 72 | EE | Giovanni Lanfranchi,
Pietro Della Peruta,
Antonio Perrone,
Diego Calvanese:
Toward a new landscape of systems management in an autonomic computing environment.
IBM Systems Journal 42(1): 119-128 (2003) |
| 71 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Reasoning on regular path queries.
SIGMOD Record 32(4): 83-92 (2003) |
| 2002 |
| 70 | | 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
CEUR-WS.org 2002 |
| 69 | | Diego Calvanese,
Maurizio Lenzerini,
Rajeev Motwani:
Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings
Springer 2002 |
| 68 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Data Integration under Integrity Constraints.
CAiSE 2002: 262-279 |
| 67 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Description Logics for Information Integration.
Computational Logic: Logic Programming and Beyond 2002: 41-60 |
| 66 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
On the Expressive Power of Data Integration Systems.
ER 2002: 338-350 |
| 65 | | Andrea Calì,
Diego Calvanese:
Optimized Querying of Integrated Data over the Web.
Engineering Information Systems in the Internet Context 2002: 285-301 |
| 64 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
A Formal Framework for Reasoning on UML Class Diagrams.
ISMIS 2002: 503-513 |
| 63 | | Diego Calvanese,
Giuseppe De Giacomo,
Moshe Y. Vardi:
Reasoning about Actions and Planning in LTL Action Theories.
KR 2002: 593-602 |
| 62 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Description Logics: Foundations for Class-based Knowledge Representation.
LICS 2002: 359-370 |
| 61 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Lossless Regular Views.
PODS 2002: 247-258 |
| 60 | | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas.
SEBD 2002: 161-168 |
| 59 | | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Paolo Naggar,
Fabio Vernacotola:
IBIS: Data Integration at Work.
SEBD 2002: 291-298 |
| 58 | EE | Diego Calvanese,
Tiziana Catarci,
Maurizio Lenzerini,
Giuseppe Santucci:
The multilingual thesaurus of LAURIN.
SEKE 2002: 83-90 |
| 57 | 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) |
| 56 | 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 |
| 55 | 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 |
| 54 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Ontology of Integration and Integration of Ontologies.
Description Logics 2001 |
| 53 | EE | Andrea Calì,
Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Accessing Data Integration Systems through Conceptual Schemas.
ER 2001: 270-284 |
| 52 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Identification Constraints and Functional Dependencies in Description Logics.
IJCAI 2001: 155-160 |
| 51 | EE | 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 |
| 50 | | Andrea Calì,
Diego Calvanese:
Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies.
SEBD 2001: 33-44 |
| 49 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
A Framework for Ontology Integration.
SWWS 2001: 303-316 |
| 48 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
A Framework for Ontology Integration.
The Emerging Semantic Web 2001 |
| 47 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi:
Reasoning in Expressive Description Logics.
Handbook of Automated Reasoning 2001: 1581-1634 |
| 46 | 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) |
| 45 | | Diego Calvanese,
Tiziana Catarci,
Giuseppe Santucci:
LAURIN: A Distributed Digital Library of Newspaper Clippings.
World Wide Web 4(1-2): 5-20 (2001) |
| 2000 |
| 44 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Answering Queries Using Views over Description Logics Knowledge Bases.
AAAI/IAAI 2000: 386-391 |
| 43 | EE | Diego Calvanese,
Tiziana Catarci,
Giuseppe Santucci:
Building a Digital Library of Newspaper Clippings: The Laurin Project.
ADL 2000: 15-26 |
| 42 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
What is Query Rewriting?
CIA 2000: 51-59 |
| 41 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Keys for Free in Description Logics.
Description Logics 2000: 79-88 |
| 40 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Answering Regular Path Queries Using Views.
ICDE 2000: 389-398 |
| 39 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Containment of Conjunctive Regular Path Queries with Inverse.
KR 2000: 176-185 |
| 38 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
What is View-Based Query Rewriting?
KRDB 2000: 17-27 |
| 37 | EE | Andrea Calì,
Diego Calvanese,
Maurizio Lenzerini:
Semistructured data schemas with expressive constraints.
KRDB 2000: 3-16 |
| 36 | | Diego Calvanese,
Tiziana Catarci,
Giuseppe Santucci:
LAURIN: A Distributed Digital Library of Newspaper Clippings.
Kyoto International Conference on Digital Libraries 2000: 187-194 |
| 35 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
View-Based Query Processing and Constraint Satisfaction.
LICS 2000: 361-371 |
| 34 | 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 |
| 33 | | Andrea Calì,
Diego Calvanese,
Maurizio Lenzerini:
Local constraint in semistructured data schemas.
SEBD 2000: 65-78 |
| 32 | 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 |
| 1999 |
| 31 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Queries and Constraints on Semi-structured Data.
CAiSE 1999: 434-438 |
| 30 | 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 |
| 29 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees.
IJCAI 1999: 84-89 |
| 28 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Answering Queries Using Views in Description Logics.
KRDB 1999: 6-10 |
| 27 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Rewriting of Regular Expressions and Regular Path Queries.
PODS 1999: 194-204 |
| 26 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Moshe Y. Vardi:
Rewriting of Regular Path Queries.
SEBD 1999: 213-224 |
| 25 | 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 |
| 24 | EE | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
Unifying Class-Based Representation Formalisms.
J. Artif. Intell. Res. (JAIR) 11: 199-240 (1999) |
| 23 | 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) |
| 22 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Modeling and Querying Semi-Structured data .
Networking and Information Systems 2(2): 253-273 (1999) |
| 21 | | 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) |
| 1998 |
| 20 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
What can Knowledge Representation do for Semi-Structured Data?
AAAI/IAAI 1998: 205-210 |
| 19 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Information Integration: Conceptual Modeling and Reasoning Support.
CoopIS 1998: 280-291 |
| 18 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Source Integration in Data Warehousing.
DEXA Workshop 1998: 192-197 |
| 17 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Riccardo Rosati:
A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases.
Description Logics 1998 |
| 16 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Semi-structured Data with Constraints and Incomplete Information.
Description Logics 1998 |
| 15 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini,
Daniele Nardi,
Riccardo Rosati:
Description Logic Framework for Information Integration.
KR 1998: 2-13 |
| 14 | EE | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
Description Logics for Conceptual Data Modeling.
Logics for Databases and Information Systems 1998: 229-263 |
| 13 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
On the Decidability of Query Containment under Constraints.
PODS 1998: 149-158 |
| 12 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Extending Semi-Structured Data.
SEBD 1998: 87-102 |
| 1997 |
| 11 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Conjunctive Query Containment in Description Logics with n-ary Relations.
Description Logics 1997 |
| 10 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Representing and Reasoning on SGML Documents.
ISMIS 1997: 540-549 |
| 1996 |
| 9 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Representing SGML Documents in Description Logics.
Description Logics 1996: 102-106 |
| 8 | | Diego Calvanese:
Finite Model Reasoning in Description Logics.
Description Logics 1996: 25-36 |
| 7 | | Diego Calvanese:
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity.
ECAI 1996: 303-307 |
| 6 | | Diego Calvanese:
Finite Model Reasoning in Description Logics.
KR 1996: 292-303 |
| 1995 |
| 5 | | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Structured Objects: Modeling and Reasoning.
DOOD 1995: 229-246 |
| 4 | EE | Diego Calvanese,
Giuseppe De Giacomo,
Maurizio Lenzerini:
Increasing the Power of Structured Objects.
KRDB 1995 |
| 1994 |
| 3 | EE | Diego Calvanese,
Maurizio Lenzerini:
On the Interaction Between ISA and Cardinality Constraints.
ICDE 1994: 204-213 |
| 2 | | Diego Calvanese,
Maurizio Lenzerini,
Daniele Nardi:
A Unified Framework for Class-Based Representation Formalisms.
KR 1994: 109-120 |
| 1 | EE | Diego Calvanese,
Maurizio Lenzerini:
Making Object-Oriented Schemas More Expressive.
PODS 1994: 243-254 |