Diego Calvanese

Loading Google Thumbnails...
2012
191View-based query answering in Description Logics: Semantics and complexity. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. J. Comput. Syst. Sci. (78): 26-46 (2012). Web SearchBibTeXDownload
2011
190Dependencies: Making Ontology Based Data Access Work. Mariano Rodriguez-Muro, Diego Calvanese. AMW 2011. Web SearchBibTeXDownload
189Foundations of Relational Artifacts Verification. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli. BPM 2011, 379-395. Web SearchBibTeXDownload
188Unifying Class-Based Representation Formalisms. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi. CoRR (abs/1105.5452) (2011). Web SearchBibTeXDownload
187Knowledge Base Exchange. Marcelo Arenas, Elena Botoeva, Diego Calvanese. Description Logics 2011. Web SearchBibTeXDownload
186The Complexity of Conjunctive Query Abduction in DL-Lite. Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni. Description Logics 2011. Web SearchBibTeXDownload
185Verification of Conjunctive-Query Based Semantic Artifacts. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis. Description Logics 2011. Web SearchBibTeXDownload
184Dependencies to Optimize Ontology Based Data Access. Mariano Rodriguez-Muro, Diego Calvanese. Description Logics 2011. Web SearchBibTeXDownload
183Simplifying schema mappings. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. ICDT 2011, 114-125. Web SearchBibTeXDownload
182A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. Diego Calvanese, Domenico Carbotta, Magdalena Ortiz. IJCAI 2011, 798-804. Web SearchBibTeXDownload
181Containment of Regular Path Queries under Description Logic Constraints. Diego Calvanese, Magdalena Ortiz, Mantas Simkus. IJCAI 2011, 805-812. Web SearchBibTeXDownload
180The MASTRO system for ontology-based data access. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo. Semantic Web (2): 43-53 (2011). Web SearchBibTeXDownload
2010
179Node Selection Query Languages for Trees. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. AAAI 2010. Web SearchBibTeXDownload
178Expressive Approximations in DL-Lite Ontologies. Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro. AIMSA 2010, 21-31. Web SearchBibTeXDownload
177Updating ABoxes in DL-Lite. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov. AMW 2010. Web SearchBibTeXDownload
176View Synthesis from Schema Mappings. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. CoRR (abs/1003.1179) (2010). Web SearchBibTeXDownload
175Checking Full Satisfiability of Conceptual Models. Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García. Description Logics 2010. Web SearchBibTeXDownload
174Updating TBoxes in DL-Lite. Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt. Description Logics 2010. Web SearchBibTeXDownload
173Query Rewriting in DL-Lite_^(HN)_horn. Elena Botoeva, Alessandro Artale, Diego Calvanese. Description Logics 2010. Web SearchBibTeXDownload
172Full Satisfiability of UML Class Diagrams. Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García. ER 2010, 317-331. Web SearchBibTeXDownload
171Evolution of DL-Lite Knowledge Bases. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov. International Semantic Web Conference (1) 2010, 112-128. Web SearchBibTeXDownload
170Evolution of DL - Lite Knowledge Bases. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov. International Semantic Web Conference (1) 2010, 112-128. Web SearchBibTeXDownload
169Web-based graphical querying of databases through an ontology: the Wonder system. Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni. SAC 2010, 1388-1395. Web SearchBibTeXDownload
2009
168The Data Complexity of the Syllogistic Fragments of English. Camilo Thorne, Diego Calvanese. Amsterdam Colloquium on Logic, Language and Meaning 2009, 114-123. Web SearchBibTeXDownload
167Controlled English Ontology-Based Data Access. Camilo Thorne, Diego Calvanese. CNL 2009, 135-154. Web SearchBibTeXDownload
166Conceptual Modeling for Data Integration. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. Conceptual Modeling: Foundations and Applications 2009, 173-197. Web SearchBibTeXDownload
165An Automata-Theoretic Approach to Regular XPath. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. DBPL 2009, 18-35. Cited by 2Web SearchBibTeXDownload
164Adding Weight to DL-Lite. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. Description Logics 2009. Web SearchBibTeXDownload
163DL-Lite without UNA. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. Description Logics 2009. Web SearchBibTeXDownload
162Discovering functional dependencies for multidimensional design. Oscar Romero, Diego Calvanese, Alberto Abelló, Mariano Rodriguez-Muro. DOLAP 2009, 1-8. Web SearchBibTeXDownload
161Controlled Aggregate Tree Shaped Questions over Ontologies. Camilo Thorne, Diego Calvanese. FQAS 2009, 394-405. Web SearchBibTeXDownload
160Artifact-Centric Workflow Dominance. Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su. ICSOC/ServiceWave 2009, 130-143. Cited by 1Web SearchBibTeXDownload
159Regular Path Queries in Expressive Description Logics with Nominals. Diego Calvanese, Thomas Eiter, Magdalena Ortiz. IJCAI 2009, 714-720. Web SearchBibTeXDownload
158The DL-Lite Family and Relations. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. J. Artif. Intell. Res. (JAIR) (36): 1-69 (2009). Web SearchBibTeXDownload
157Dynamic Query Optimization under Access Limitations and Dependencies. Andrea Calì, Diego Calvanese, Davide Martinenghi. J. UCS (15): 33-62 (2009). Web SearchBibTeXDownload
156Ontologies and Databases: The DL-Lite Approach. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati. Reasoning Web 2009, 255-356. Web SearchBibTeXDownload
155Using OWL in Data Integration. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi. Semantic Web Information Management 2009, 397-424. Web SearchBibTeXDownload
2008
154Conjunctive query containment and answering under description logic constraints. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ACM Trans. Comput. Log. (9) (2008). Web SearchBibTeXDownload
153Explanation in DL-Lite. Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro. Description Logics 2008. Web SearchBibTeXDownload
152NGS: a framework for multi-domain query answering. Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone. ICDE Workshops 2008, 254-261. Cited by 2Web SearchBibTeXDownload
151Realizing Ontology Based Data Access: A plug-in for protégé. Mariano Rodriguez-Muro, Lina Lubyte, Diego Calvanese. ICDE Workshops 2008, 286-289. Web SearchBibTeXDownload
150Automatic Service Composition and Synthesis: the Roman Model. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi. IEEE Data Eng. Bull. (31): 18-22 (2008). Web SearchBibTeXDownload
149Inconsistency tolerance in P2P data integration: An epistemic logic approach. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. Inf. Syst. (33): 360-384 (2008). Web SearchBibTeXDownload
148Data Complexity of Query Answering in Expressive Description Logics via Tableaux. Magdalena Ortiz, Diego Calvanese, Thomas Eiter. J. Autom. Reasoning (41): 61-98 (2008). Web SearchBibTeXDownload
147Linking Data to Ontologies. Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. J. Data Semantics (10): 133-173 (2008). Web SearchBibTeXDownload
146Path-Based Identification Constraints in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. KR 2008, 231-241. Web SearchBibTeX
145View-Based Query Answering over Description Logic Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. KR 2008, 242-251. Web SearchBibTeX
144Aggregate queries over ontologies. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne. ONISW 2008, 97-104. Web SearchBibTeXDownload
143Explanation in the DL-LiteFamily of Description Logics. Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro. OTM Conferences (2) 2008, 1440-1457. Web SearchBibTeXDownload
142Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1. Mariano Rodriguez, Diego Calvanese. OWLED 2008. Web SearchBibTeXDownload
141OWLlink: DIG for OWL 2. Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin. OWLED 2008. Web SearchBibTeXDownload
140Data Integration throughDL-LiteA Ontologies. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi. SDKB 2008, 26-47. Web SearchBibTeXDownload
139A New Generation Search Engine Supporting Cross Domain Queries. Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone. SEBD 2008, 342-349. Web SearchBibTeX
2007
138Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. Diego Calvanese, Thomas Eiter, Magdalena Ortiz. AAAI 2007, 391-396. Web SearchBibTeX
137DL-Lite in the Light of First-Order Logic. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. AAAI 2007, 361-366. Web SearchBibTeX
136Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini. AI*IA 2007, 36-47. Web SearchBibTeXDownload
135English Querying over Ontologies: E-QuOnto. Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne. AI*IA 2007, 170-181. Web SearchBibTeXDownload
134Complexity of Reasoning in Entity Relationship Models. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. Description Logics 2007. Web SearchBibTeXDownload
133Expressing DL-Lite Ontologies with Controlled English. Raffaella Bernardi, Diego Calvanese, Camilo Thorne. Description Logics 2007. Web SearchBibTeXDownload
132Actions and Programs over Description Logic Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. Description Logics 2007. Web SearchBibTeXDownload
131A Proof Theory for DL-Lite. Diego Calvanese, Evgeny Kharlamov, Werner Nutt. Description Logics 2007. Web SearchBibTeXDownload
130MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati. Description Logics 2007. Web SearchBibTeXDownload
129Reasoning over Extended ER Models. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. ER 2007, 277-292. Web SearchBibTeXDownload
128Optimization of Query Plans in the presence of Access Limitations. Andrea Calì, Diego Calvanese, Davide Martinenghi. EROW 2007. Web SearchBibTeXDownload
127EQL-Lite: Effective First-Order Query Processing in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. IJCAI 2007, 274-279. Web SearchBibTeXDownload
126Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. J. Autom. Reasoning (39): 385-429 (2007). Web SearchBibTeXDownload
125An Extension of DIG 2.0 for Handling Bulk Data. Diego Calvanese, Mariano Rodriguez-Muro. OWLED 2007. Web SearchBibTeXDownload
124Can OWL Model Football Leagues?. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. OWLED 2007. Web SearchBibTeXDownload
123Query Answering in Expressive Variants of DL-Lite. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. SEBD 2007, 250-257. Web SearchBibTeX
122Ontology-based Database Access. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati. SEBD 2007, 324-331. Web SearchBibTeX
121View-based query processing: On the relationship between rewriting, answering and losslessness. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. Theor. Comput. Sci. (371): 169-182 (2007). Cited by 29Web SearchBibTeXDownload
2006
120Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. Magdalena Ortiz, Diego Calvanese, Thomas Eiter. AAAI 2006. Web SearchBibTeX
119Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Magdalena Ortiz, Diego Calvanese, Thomas Eiter. Description Logics 2006. Web SearchBibTeXDownload
118Epistemic First-order Queries over Description Logic Knowledge Bases. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. Description Logics 2006. Web SearchBibTeXDownload
117Optimising Query Answering in the Presence of Access Limitations (Position Paper). Andrea Calì, Diego Calvanese. DEXA Workshops 2006, 547-552. Web SearchBibTeXDownload
116ComposingWeb Services with Nondeterministic Behavior. Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese. ICWS 2006, 909-912. Web SearchBibTeXDownload
115Enterprise modeling and Data Warehousing in Telecom Italia. Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini. Inf. Syst. (31): 1-32 (2006). Web SearchBibTeXDownload
114Ontologies and Description Logics. Diego Calvanese, Nicola Guarino. Intelligenza Artificiale (3): 21-27 (2006). Web SearchBibTeX
113Data Complexity of Query Answering in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. KR 2006, 260-270. Web SearchBibTeX
112Linking Data to Ontologies: The Description Logic DL-Lite_A. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati. OWLED 2006. Web SearchBibTeXDownload
111Containment of Conjunctive Queries under Access Limitations. Andrea Calì, Diego Calvanese. SEBD 2006, 131-138. Web SearchBibTeX
2005
110DL-Lite: Tractable Description Logics for Ontologies. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. AAAI 2005, 602-607. Web SearchBibTeX
109QuOnto: Querying Ontologies. Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati. AAAI 2005, 1670-1671. Web SearchBibTeX
108Data Integration: A Logic-Based Perspective. Diego Calvanese, Giuseppe De Giacomo. AI Magazine (26): 59-70 (2005). Web SearchBibTeXDownload
107Reasoning on UML class diagrams. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo. Artif. Intell. (168): 70-118 (2005). Web SearchBibTeXDownload
106Conjunctive Query Containment and Answering under Description Logics Constraints. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. CoRR (abs/cs/0507067) (2005). Web SearchBibTeXDownload
105Data complexity of answering conjunctive queries over SHIQ knowledge bases. Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi. CoRR (abs/cs/0507059) (2005). Web SearchBibTeXDownload
104Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. DBPL 2005, 90-105. Web SearchBibTeXDownload
103Data Complexity of Query Answering in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. Description Logics 2005. Web SearchBibTeXDownload
102Modeling Data & Processes for Service Specifications in Colombo. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella. EMOI-INTEROP 2005. Cited by 5Web SearchBibTeXDownload
101View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. ICDT 2005, 321-336. Web SearchBibTeXDownload
100Composition of Services with Nondeterministic Observable Behavior. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella. ICSOC 2005, 520-526. Web SearchBibTeXDownload
99Automatic Service Composition Based on Behavioral Descriptions. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. Int. J. Cooperative Inf. Syst. (14): 333-376 (2005). Web SearchBibTeXDownload
98Automatic Composition of Web Services in Colombo. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella. SEBD 2005, 8-15. Cited by 15Web SearchBibTeX
97Efficiently Managing Data Intensive Ontologies. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. SWAP 2005. Web SearchBibTeXDownload
96Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. Diego Calvanese. TABLEAUX 2005, 1. Web SearchBibTeXDownload
95Decidable containment of recursive queries. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. Theor. Comput. Sci. (336): 33-56 (2005). Cited by 28Web SearchBibTeXDownload
94Automatic Composition of Transition-based Semantic Web Services with Messaging. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella. VLDB 2005, 613-624. Cited by 172Web SearchBibTeXDownload
2004
93Towards Implementing Finite Model Reasoning in Description Logics. Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo. Description Logics 2004. Web SearchBibTeXDownload
92A Description Logic Based Approach for Matching User Profiles. Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini. Description Logics 2004. Web SearchBibTeXDownload
91DL-Lite: Practical Reasoning for Rich Dls. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere. Description Logics 2004. Web SearchBibTeXDownload
90Hyper: A Framework for Peer-to-Peer Data Integration on Grids. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere. ICSNW 2004, 144-157. Web SearchBibTeXDownload
89Synthesis of underspecified composite e-services based on automated reasoning. Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese. ICSOC 2004, 105-114. Web SearchBibTeXDownload
88Data integration under integrity constraints. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Inf. Syst. (29): 147-163 (2004). Web SearchBibTeXDownload
87A Logic-Based Approach for Matching User Profiles. Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini. KES 2004, 187-195. Web SearchBibTeXDownload
86What to Ask to a Peer: Ontolgoy-based Query Reformulation. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. KR 2004, 469-478. Web SearchBibTeX
85Logical Foundations of Peer-To-Peer Data Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. PODS 2004, 241-251. Web SearchBibTeXDownload
84Query Reformulation over Ontology-based Peers. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. SEBD 2004, 418-425. Web SearchBibTeX
83: A Tool for Automatic Composition ofServices Based on Logics of Programs. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. TES 2004, 80-94. Web SearchBibTeXDownload
2003
82IBIS: Semantic Data Integration at Work. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola. CAiSE 2003, 79-94. Web SearchBibTeXDownload
81Data Integration in Data Warehousing (Keynote Address). Diego Calvanese. CAiSE Workshops 2003. Web SearchBibTeXDownload
80Semantic Data Integration in P2P Systems. Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. DBISP2P 2003, 77-90. Web SearchBibTeXDownload
79Expressive Description Logics. Diego Calvanese, Giuseppe De Giacomo. Description Logic Handbook 2003, 178-218. Web SearchBibTeX
78Relationships with other Formalisms. Ulrike Sattler, Diego Calvanese, Ralf Molitor. Description Logic Handbook 2003, 137-177. Web SearchBibTeX
77e-Service Composition by Description Logics Based Reasoning. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. Description Logics 2003. Web SearchBibTeXDownload
76Reasoning on UML Class Diagrams is EXPTIME-hard. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo. Description Logics 2003. Web SearchBibTeXDownload
75Toward a new landscape of systems management in an autonomic computing environment. Giovanni Lanfranchi, Pietro Della Peruta, Antonio Perrone, Diego Calvanese. IBM Systems Journal (42): 119-128 (2003). Web SearchBibTeXDownload
74Decidable Containment of Recursive Queries. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. ICDT 2003, 327-342. Web SearchBibTeXDownload
73Automatic Composition of E-services That Export Their Behavior. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. ICSOC 2003, 43-58. Web SearchBibTeXDownload
72Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. Diego Calvanese, Riccardo Rosati. KRDB 2003. Web SearchBibTeXDownload
71View-based Query Processing for Semistructured Data. Diego Calvanese. KRDB 2003. Web SearchBibTeXDownload
70View-based query containment. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 2003, 56-67. Cited by 18Web SearchBibTeXDownload
69Query Containment Using Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SEBD 2003, 467-474. Web SearchBibTeX
68Reasoning on regular path queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SIGMOD Record (32): 83-92 (2003). Cited by 14Web SearchBibTeXDownload
67A Foundational Vision of e-Services. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. WES 2003, 28-40. Web SearchBibTeXDownload
2002
66Data Integration under Integrity Constraints. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. CAiSE 2002, 262-279. Web SearchBibTeXDownload
65Description Logics for Information Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Computational Logic: Logic Programming and Beyond 2002, 41-60. Web SearchBibTeXDownload
64Optimized Querying of Integrated Data over the Web. Andrea Calì, Diego Calvanese. Engineering Information Systems in the Internet Context 2002, 285-301. Web SearchBibTeX
63On the Expressive Power of Data Integration Systems. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ER 2002, 338-350. Web SearchBibTeXDownload
62On the Role of Integrity Constraints in Data Integration. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. IEEE Data Eng. Bull. (25): 39-45 (2002). Web SearchBibTeXDownload
61A Formal Framework for Reasoning on UML Class Diagrams. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ISMIS 2002, 503-513. Web SearchBibTeXDownload
60Rewriting of Regular Expressions and Regular Path Queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. J. Comput. Syst. Sci. (64): 443-465 (2002). Cited by 108Web SearchBibTeXDownload
59Reasoning about Actions and Planning in LTL Action Theories. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. KR 2002, 593-602. Web SearchBibTeX
58Description Logics: Foundations for Class-based Knowledge Representation. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. LICS 2002, 359-370. Web SearchBibTeXDownload
57Lossless Regular Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 2002, 247-258. Cited by 21Web SearchBibTeXDownload
56IBIS: Data Integration at Work. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola. SEBD 2002, 291-298. Web SearchBibTeX
55Accessing Data Integration Systems through Conceptual Schemas. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. SEBD 2002, 161-168. Web SearchBibTeX
54The multilingual thesaurus of LAURIN. Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci. SEKE 2002, 83-90. Cited by 1Web SearchBibTeXDownload
2001
53View-Based Query Answering and Query Containment over Semistructured Data. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. DBPL 2001, 40-61. Cited by 38Web SearchBibTeXDownload
52Ontology of Integration and Integration of Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 2001. Web SearchBibTeXDownload
51Accessing Data Integration Systems through Conceptual Schemas. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ER 2001, 270-284. Web SearchBibTeXDownload
50Reasoning in Expressive Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi. Handbook of Automated Reasoning 2001, 1581-1634. Web SearchBibTeX
49Identification Constraints and Functional Dependencies in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. IJCAI 2001, 155-160. Web SearchBibTeX
48Data Integration in Data Warehousing. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati. Int. J. Cooperative Inf. Syst. (10): 237-271 (2001). Web SearchBibTeXDownload
47Towards a Comprehensive Methodological Framework for Integration. Diego Calvanese, Silvana Castano, Francesco Guerra, Domenico Lembo, Michele Melchiori, Giorgio Terracina, Domenico Ursino, Maurizio Vincini. KRDB 2001. Web SearchBibTeXDownload
46Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies. Andrea Calì, Diego Calvanese. SEBD 2001, 33-44. Web SearchBibTeX
45A Framework for Ontology Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. SWWS 2001, 303-316. Web SearchBibTeXDownload
44LAURIN: A Distributed Digital Library of Newspaper Clippings. Diego Calvanese, Tiziana Catarci, Giuseppe Santucci. World Wide Web (4): 5-20 (2001). Cited by 4Web SearchBibTeXDownload
2000
43Answering Queries Using Views over Description Logics Knowledge Bases. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. AAAI/IAAI 2000, 386-391. Web SearchBibTeX
42Building a Digital Library of Newspaper Clippings: The Laurin Project. Diego Calvanese, Tiziana Catarci, Giuseppe Santucci. ADL 2000, 15-26. Cited by 9Web SearchBibTeXDownload
41What is Query Rewriting?. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. CIA 2000, 51-59. Cited by 13Web SearchBibTeXDownload
40Keys for Free in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 2000, 79-88. Web SearchBibTeXDownload
39Answering Regular Path Queries Using Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. ICDE 2000, 389-398. Cited by 98Web SearchBibTeXDownload
38Containment of Conjunctive Regular Path Queries with Inverse. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. KR 2000, 176-185. Cited by 38Web SearchBibTeX
37What is View-Based Query Rewriting?. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. KRDB 2000, 17-27. Cited by 9Web SearchBibTeXDownload
36Semistructured data schemas with expressive constraints. Andrea Calì, Diego Calvanese, Maurizio Lenzerini. KRDB 2000, 3-16. Web SearchBibTeXDownload
35LAURIN: A Distributed Digital Library of Newspaper Clippings. Diego Calvanese, Tiziana Catarci, Giuseppe Santucci. Kyoto International Conference on Digital Libraries 2000, 187-194. Cited by 4Web SearchBibTeX
34View-Based Query Processing and Constraint Satisfaction. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. LICS 2000, 361-371. Cited by 54Web SearchBibTeXDownload
33View-Based Query Processing for Regular Path Queries with Inverse. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 2000, 58-66. Cited by 40Web SearchBibTeX
32Local constraint in semistructured data schemas. Andrea Calì, Diego Calvanese, Maurizio Lenzerini. SEBD 2000, 65-78. Web SearchBibTeX
31Concept Based Design of Data Warehouses: The DWQ Demonstrators. Matthias Jarke, Christoph Quix, Diego Calvanese, Maurizio Lenzerini, Enrico Franconi, Spyros Ligoudistianos, Panos Vassiliadis, Yannis Vassiliou. SIGMOD Conference 2000, 591. Cited by 20Web SearchBibTeX
1999
30Queries and Constraints on Semi-structured Data. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. CAiSE 1999, 434-438. Web SearchBibTeXDownload
29A Principled Approach to Data Integration and Reconciliation in Data Warehousing. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati. DMDW 1999, 16. Web SearchBibTeXDownload
28Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. IJCAI 1999, 84-89. Web SearchBibTeX
27Unifying Class-Based Representation Formalisms. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi. J. Artif. Intell. Res. (JAIR) (11): 199-240 (1999). Web SearchBibTeXDownload
26Representing and Reasoning on XML Documents: A Description Logic Approach. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. J. Log. Comput. (9): 295-318 (1999). Web SearchBibTeXDownload
25Answering Queries Using Views in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. KRDB 1999, 6-10. Web SearchBibTeXDownload
24Modeling and Querying Semi-Structured data . Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Networking and Information Systems (2): 253-273 (1999). Web SearchBibTeX
23Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati. Networking and Information Systems (2): 413-432 (1999). Web SearchBibTeX
22Rewriting of Regular Expressions and Regular Path Queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 1999, 194-204. Cited by 108Web SearchBibTeX
21Rewriting of Regular Path Queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SEBD 1999, 213-224. Web SearchBibTeX
20Query Answering Using Views for Data Integration over the Web. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. WebDB (Informal Proceedings) 1999, 73-78. Cited by 8Web SearchBibTeXDownload
1998
19What can Knowledge Representation do for Semi-Structured Data?. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. AAAI/IAAI 1998, 205-210. Web SearchBibTeX
18Information Integration: Conceptual Modeling and Reasoning Support. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati. CoopIS 1998, 280-291. Web SearchBibTeX
17Semi-structured Data with Constraints and Incomplete Information. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 1998. Web SearchBibTeXDownload
16A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati. Description Logics 1998. Web SearchBibTeXDownload
15Source Integration in Data Warehousing. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati. DEXA Workshop 1998, 192-197. Web SearchBibTeX
14Description Logic Framework for Information Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati. KR 1998, 2-13. Web SearchBibTeX
13Description Logics for Conceptual Data Modeling. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi. Logics for Databases and Information Systems 1998, 229-263. Web SearchBibTeX
12On the Decidability of Query Containment under Constraints. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. PODS 1998, 149-158. Web SearchBibTeX
11Extending Semi-Structured Data. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. SEBD 1998, 87-102. Web SearchBibTeX
1997
10Conjunctive Query Containment in Description Logics with n-ary Relations. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 1997. Web SearchBibTeXDownload
9Representing and Reasoning on SGML Documents. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ISMIS 1997, 540-549. Web SearchBibTeXDownload
1996
8Representing SGML Documents in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 1996, 102-106. Web SearchBibTeX
7Finite Model Reasoning in Description Logics. Diego Calvanese. Description Logics 1996, 25-36. Web SearchBibTeX
6Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity. Diego Calvanese. ECAI 1996, 303-307. Web SearchBibTeX
1995
5Structured Objects: Modeling and Reasoning. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. DOOD 1995, 229-246. Web SearchBibTeXDownload
4Increasing the Power of Structured Objects. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. KRDB 1995. Web SearchBibTeXDownload
1994
3On the Interaction Between ISA and Cardinality Constraints. Diego Calvanese, Maurizio Lenzerini. ICDE 1994, 204-213. Web SearchBibTeXDownload
2A Unified Framework for Class-Based Representation Formalisms. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi. KR 1994, 109-120. Web SearchBibTeX
1Making Object-Oriented Schemas More Expressive. Diego Calvanese, Maurizio Lenzerini. PODS 1994, 243-254. Web SearchBibTeX
from DBLP and Google Scholar
References
1. ^ Untitled Document - Retrieved 2011-02-11 - details
2. ^ Untitled Document - Retrieved 2011-02-11 - details
3. ^ SIGMOD/PODS 2003 Conference - Retrieved 2011-03-19 - details
4. ^ VLDB 2001: Call for Papers - Retrieved 2011-03-19 - details
5. ^ VLDB 2001: Information Exhibitors - Retrieved 2011-03-19 - details
6. ^ SIGMOD/PODS 2003 Conference - Retrieved 2011-03-19 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research