| 2012 |
| 191 | View-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 |
| 190 | Dependencies: Making Ontology Based Data Access Work. Mariano Rodriguez-Muro, Diego Calvanese. AMW 2011. Web SearchBibTeXDownload |
| 189 | Foundations of Relational Artifacts Verification. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli. BPM 2011, 379-395. Web SearchBibTeXDownload |
| 188 | Unifying Class-Based Representation Formalisms. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi. CoRR (abs/1105.5452) (2011). Web SearchBibTeXDownload |
| 187 | Knowledge Base Exchange. Marcelo Arenas, Elena Botoeva, Diego Calvanese. Description Logics 2011. Web SearchBibTeXDownload |
| 186 | The Complexity of Conjunctive Query Abduction in DL-Lite. Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni. Description Logics 2011. Web SearchBibTeXDownload |
| 185 | Verification of Conjunctive-Query Based Semantic Artifacts. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis. Description Logics 2011. Web SearchBibTeXDownload |
| 184 | Dependencies to Optimize Ontology Based Data Access. Mariano Rodriguez-Muro, Diego Calvanese. Description Logics 2011. Web SearchBibTeXDownload |
| 183 | Simplifying schema mappings. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. ICDT 2011, 114-125. Web SearchBibTeXDownload |
| 182 | A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. Diego Calvanese, Domenico Carbotta, Magdalena Ortiz. IJCAI 2011, 798-804. Web SearchBibTeXDownload |
| 181 | Containment of Regular Path Queries under Description Logic Constraints. Diego Calvanese, Magdalena Ortiz, Mantas Simkus. IJCAI 2011, 805-812. Web SearchBibTeXDownload |
| 180 | The 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 |
| 179 | Node Selection Query Languages for Trees. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. AAAI 2010. Web SearchBibTeXDownload |
| 178 | Expressive Approximations in DL-Lite Ontologies. Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro. AIMSA 2010, 21-31. Web SearchBibTeXDownload |
| 177 | Updating ABoxes in DL-Lite. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov. AMW 2010. Web SearchBibTeXDownload |
| 176 | View Synthesis from Schema Mappings. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. CoRR (abs/1003.1179) (2010). Web SearchBibTeXDownload |
| 175 | Checking Full Satisfiability of Conceptual Models. Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García. Description Logics 2010. Web SearchBibTeXDownload |
| 174 | Updating TBoxes in DL-Lite. Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt. Description Logics 2010. Web SearchBibTeXDownload |
| 173 | Query Rewriting in DL-Lite_^(HN)_horn. Elena Botoeva, Alessandro Artale, Diego Calvanese. Description Logics 2010. Web SearchBibTeXDownload |
| 172 | Full Satisfiability of UML Class Diagrams. Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García. ER 2010, 317-331. Web SearchBibTeXDownload |
| 171 | Evolution of DL-Lite Knowledge Bases. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov. International Semantic Web Conference (1) 2010, 112-128. Web SearchBibTeXDownload |
| 170 | Evolution of DL - Lite Knowledge Bases. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov. International Semantic Web Conference (1) 2010, 112-128. Web SearchBibTeXDownload |
| 169 | Web-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 |
| 168 | The Data Complexity of the Syllogistic Fragments of English. Camilo Thorne, Diego Calvanese. Amsterdam Colloquium on Logic, Language and Meaning 2009, 114-123. Web SearchBibTeXDownload |
| 167 | Controlled English Ontology-Based Data Access. Camilo Thorne, Diego Calvanese. CNL 2009, 135-154. Web SearchBibTeXDownload |
| 166 | Conceptual 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 |
| 165 | An Automata-Theoretic Approach to Regular XPath. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. DBPL 2009, 18-35. Cited by 2Web SearchBibTeXDownload |
| 164 | Adding Weight to DL-Lite. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. Description Logics 2009. Web SearchBibTeXDownload |
| 163 | DL-Lite without UNA. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. Description Logics 2009. Web SearchBibTeXDownload |
| 162 | Discovering functional dependencies for multidimensional design. Oscar Romero, Diego Calvanese, Alberto Abelló, Mariano Rodriguez-Muro. DOLAP 2009, 1-8. Web SearchBibTeXDownload |
| 161 | Controlled Aggregate Tree Shaped Questions over Ontologies. Camilo Thorne, Diego Calvanese. FQAS 2009, 394-405. Web SearchBibTeXDownload |
| 160 | Artifact-Centric Workflow Dominance. Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su. ICSOC/ServiceWave 2009, 130-143. Cited by 1Web SearchBibTeXDownload |
| 159 | Regular Path Queries in Expressive Description Logics with Nominals. Diego Calvanese, Thomas Eiter, Magdalena Ortiz. IJCAI 2009, 714-720. Web SearchBibTeXDownload |
| 158 | The DL-Lite Family and Relations. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. J. Artif. Intell. Res. (JAIR) (36): 1-69 (2009). Web SearchBibTeXDownload |
| 157 | Dynamic Query Optimization under Access Limitations and Dependencies. Andrea Calì, Diego Calvanese, Davide Martinenghi. J. UCS (15): 33-62 (2009). Web SearchBibTeXDownload |
| 156 | Ontologies 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 |
| 155 | Using 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 |
| 154 | Conjunctive query containment and answering under description logic constraints. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ACM Trans. Comput. Log. (9) (2008). Web SearchBibTeXDownload |
| 153 | Explanation in DL-Lite. Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro. Description Logics 2008. Web SearchBibTeXDownload |
| 152 | NGS: 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 |
| 151 | Realizing Ontology Based Data Access: A plug-in for protégé. Mariano Rodriguez-Muro, Lina Lubyte, Diego Calvanese. ICDE Workshops 2008, 286-289. Web SearchBibTeXDownload |
| 150 | Automatic 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 |
| 149 | Inconsistency 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 |
| 148 | Data 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 |
| 147 | Linking 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 |
| 146 | Path-Based Identification Constraints in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. KR 2008, 231-241. Web SearchBibTeX |
| 145 | View-Based Query Answering over Description Logic Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. KR 2008, 242-251. Web SearchBibTeX |
| 144 | Aggregate queries over ontologies. Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne. ONISW 2008, 97-104. Web SearchBibTeXDownload |
| 143 | Explanation in the DL-LiteFamily of Description Logics. Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro. OTM Conferences (2) 2008, 1440-1457. Web SearchBibTeXDownload |
| 142 | Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1. Mariano Rodriguez, Diego Calvanese. OWLED 2008. Web SearchBibTeXDownload |
| 141 | OWLlink: 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 |
| 140 | Data 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 |
| 139 | A 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 |
| 138 | Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. Diego Calvanese, Thomas Eiter, Magdalena Ortiz. AAAI 2007, 391-396. Web SearchBibTeX |
| 137 | DL-Lite in the Light of First-Order Logic. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. AAAI 2007, 361-366. Web SearchBibTeX |
| 136 | Finite 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 |
| 135 | English Querying over Ontologies: E-QuOnto. Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne. AI*IA 2007, 170-181. Web SearchBibTeXDownload |
| 134 | Complexity of Reasoning in Entity Relationship Models. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. Description Logics 2007. Web SearchBibTeXDownload |
| 133 | Expressing DL-Lite Ontologies with Controlled English. Raffaella Bernardi, Diego Calvanese, Camilo Thorne. Description Logics 2007. Web SearchBibTeXDownload |
| 132 | Actions and Programs over Description Logic Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. Description Logics 2007. Web SearchBibTeXDownload |
| 131 | A Proof Theory for DL-Lite. Diego Calvanese, Evgeny Kharlamov, Werner Nutt. Description Logics 2007. Web SearchBibTeXDownload |
| 130 | MASTRO-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 |
| 129 | Reasoning over Extended ER Models. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev. ER 2007, 277-292. Web SearchBibTeXDownload |
| 128 | Optimization of Query Plans in the presence of Access Limitations. Andrea Calì, Diego Calvanese, Davide Martinenghi. EROW 2007. Web SearchBibTeXDownload |
| 127 | EQL-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 |
| 126 | Tractable 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 |
| 125 | An Extension of DIG 2.0 for Handling Bulk Data. Diego Calvanese, Mariano Rodriguez-Muro. OWLED 2007. Web SearchBibTeXDownload |
| 124 | Can OWL Model Football Leagues?. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. OWLED 2007. Web SearchBibTeXDownload |
| 123 | Query Answering in Expressive Variants of DL-Lite. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev. SEBD 2007, 250-257. Web SearchBibTeX |
| 122 | Ontology-based Database Access. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati. SEBD 2007, 324-331. Web SearchBibTeX |
| 121 | View-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 |
| 120 | Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. Magdalena Ortiz, Diego Calvanese, Thomas Eiter. AAAI 2006. Web SearchBibTeX |
| 119 | Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Magdalena Ortiz, Diego Calvanese, Thomas Eiter. Description Logics 2006. Web SearchBibTeXDownload |
| 118 | Epistemic First-order Queries over Description Logic Knowledge Bases. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. Description Logics 2006. Web SearchBibTeXDownload |
| 117 | Optimising Query Answering in the Presence of Access Limitations (Position Paper). Andrea Calì, Diego Calvanese. DEXA Workshops 2006, 547-552. Web SearchBibTeXDownload |
| 116 | ComposingWeb Services with Nondeterministic Behavior. Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese. ICWS 2006, 909-912. Web SearchBibTeXDownload |
| 115 | Enterprise 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 |
| 114 | Ontologies and Description Logics. Diego Calvanese, Nicola Guarino. Intelligenza Artificiale (3): 21-27 (2006). Web SearchBibTeX |
| 113 | Data Complexity of Query Answering in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. KR 2006, 260-270. Web SearchBibTeX |
| 112 | Linking 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 |
| 111 | Containment of Conjunctive Queries under Access Limitations. Andrea Calì, Diego Calvanese. SEBD 2006, 131-138. Web SearchBibTeX |
| 2005 |
| 110 | DL-Lite: Tractable Description Logics for Ontologies. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. AAAI 2005, 602-607. Web SearchBibTeX |
| 109 | QuOnto: Querying Ontologies. Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati. AAAI 2005, 1670-1671. Web SearchBibTeX |
| 108 | Data Integration: A Logic-Based Perspective. Diego Calvanese, Giuseppe De Giacomo. AI Magazine (26): 59-70 (2005). Web SearchBibTeXDownload |
| 107 | Reasoning on UML class diagrams. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo. Artif. Intell. (168): 70-118 (2005). Web SearchBibTeXDownload |
| 106 | Conjunctive Query Containment and Answering under Description Logics Constraints. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. CoRR (abs/cs/0507067) (2005). Web SearchBibTeXDownload |
| 105 | Data complexity of answering conjunctive queries over SHIQ knowledge bases. Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi. CoRR (abs/cs/0507059) (2005). Web SearchBibTeXDownload |
| 104 | Inconsistency 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 |
| 103 | Data Complexity of Query Answering in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. Description Logics 2005. Web SearchBibTeXDownload |
| 102 | Modeling 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 |
| 101 | View-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 |
| 100 | Composition of Services with Nondeterministic Observable Behavior. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella. ICSOC 2005, 520-526. Web SearchBibTeXDownload |
| 99 | Automatic 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 |
| 98 | Automatic 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 |
| 97 | Efficiently Managing Data Intensive Ontologies. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati. SWAP 2005. Web SearchBibTeXDownload |
| 96 | Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. Diego Calvanese. TABLEAUX 2005, 1. Web SearchBibTeXDownload |
| 95 | Decidable containment of recursive queries. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. Theor. Comput. Sci. (336): 33-56 (2005). Cited by 28Web SearchBibTeXDownload |
| 94 | Automatic 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 |
| 93 | Towards Implementing Finite Model Reasoning in Description Logics. Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo. Description Logics 2004. Web SearchBibTeXDownload |
| 92 | A 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 |
| 91 | DL-Lite: Practical Reasoning for Rich Dls. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere. Description Logics 2004. Web SearchBibTeXDownload |
| 90 | Hyper: 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 |
| 89 | Synthesis 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 |
| 88 | Data integration under integrity constraints. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Inf. Syst. (29): 147-163 (2004). Web SearchBibTeXDownload |
| 87 | A 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 |
| 86 | What 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 |
| 85 | Logical Foundations of Peer-To-Peer Data Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. PODS 2004, 241-251. Web SearchBibTeXDownload |
| 84 | Query 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 |
| 82 | IBIS: Semantic Data Integration at Work. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola. CAiSE 2003, 79-94. Web SearchBibTeXDownload |
| 81 | Data Integration in Data Warehousing (Keynote Address). Diego Calvanese. CAiSE Workshops 2003. Web SearchBibTeXDownload |
| 80 | Semantic Data Integration in P2P Systems. Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati. DBISP2P 2003, 77-90. Web SearchBibTeXDownload |
| 79 | Expressive Description Logics. Diego Calvanese, Giuseppe De Giacomo. Description Logic Handbook 2003, 178-218. Web SearchBibTeX |
| 78 | Relationships with other Formalisms. Ulrike Sattler, Diego Calvanese, Ralf Molitor. Description Logic Handbook 2003, 137-177. Web SearchBibTeX |
| 77 | e-Service Composition by Description Logics Based Reasoning. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. Description Logics 2003. Web SearchBibTeXDownload |
| 76 | Reasoning on UML Class Diagrams is EXPTIME-hard. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo. Description Logics 2003. Web SearchBibTeXDownload |
| 75 | Toward 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 |
| 74 | Decidable Containment of Recursive Queries. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. ICDT 2003, 327-342. Web SearchBibTeXDownload |
| 73 | Automatic 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 |
| 72 | Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. Diego Calvanese, Riccardo Rosati. KRDB 2003. Web SearchBibTeXDownload |
| 71 | View-based Query Processing for Semistructured Data. Diego Calvanese. KRDB 2003. Web SearchBibTeXDownload |
| 70 | View-based query containment. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 2003, 56-67. Cited by 18Web SearchBibTeXDownload |
| 69 | Query Containment Using Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SEBD 2003, 467-474. Web SearchBibTeX |
| 68 | Reasoning on regular path queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SIGMOD Record (32): 83-92 (2003). Cited by 14Web SearchBibTeXDownload |
| 67 | A Foundational Vision of e-Services. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella. WES 2003, 28-40. Web SearchBibTeXDownload |
| 2002 |
| 66 | Data Integration under Integrity Constraints. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. CAiSE 2002, 262-279. Web SearchBibTeXDownload |
| 65 | Description Logics for Information Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Computational Logic: Logic Programming and Beyond 2002, 41-60. Web SearchBibTeXDownload |
| 64 | Optimized Querying of Integrated Data over the Web. Andrea Calì, Diego Calvanese. Engineering Information Systems in the Internet Context 2002, 285-301. Web SearchBibTeX |
| 63 | On the Expressive Power of Data Integration Systems. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ER 2002, 338-350. Web SearchBibTeXDownload |
| 62 | On 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 |
| 61 | A Formal Framework for Reasoning on UML Class Diagrams. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ISMIS 2002, 503-513. Web SearchBibTeXDownload |
| 60 | Rewriting 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 |
| 59 | Reasoning about Actions and Planning in LTL Action Theories. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi. KR 2002, 593-602. Web SearchBibTeX |
| 58 | Description Logics: Foundations for Class-based Knowledge Representation. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. LICS 2002, 359-370. Web SearchBibTeXDownload |
| 57 | Lossless Regular Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. PODS 2002, 247-258. Cited by 21Web SearchBibTeXDownload |
| 56 | IBIS: Data Integration at Work. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola. SEBD 2002, 291-298. Web SearchBibTeX |
| 55 | Accessing Data Integration Systems through Conceptual Schemas. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. SEBD 2002, 161-168. Web SearchBibTeX |
| 54 | The multilingual thesaurus of LAURIN. Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci. SEKE 2002, 83-90. Cited by 1Web SearchBibTeXDownload |
| 2001 |
| 53 | View-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 |
| 52 | Ontology of Integration and Integration of Ontologies. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 2001. Web SearchBibTeXDownload |
| 51 | Accessing Data Integration Systems through Conceptual Schemas. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ER 2001, 270-284. Web SearchBibTeXDownload |
| 50 | Reasoning in Expressive Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi. Handbook of Automated Reasoning 2001, 1581-1634. Web SearchBibTeX |
| 49 | Identification Constraints and Functional Dependencies in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. IJCAI 2001, 155-160. Web SearchBibTeX |
| 48 | Data 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 |
| 47 | Towards 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 |
| 46 | Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies. Andrea Calì, Diego Calvanese. SEBD 2001, 33-44. Web SearchBibTeX |
| 45 | A Framework for Ontology Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. SWWS 2001, 303-316. Web SearchBibTeXDownload |
| 44 | LAURIN: 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 |
| 43 | Answering Queries Using Views over Description Logics Knowledge Bases. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. AAAI/IAAI 2000, 386-391. Web SearchBibTeX |
| 42 | Building a Digital Library of Newspaper Clippings: The Laurin Project. Diego Calvanese, Tiziana Catarci, Giuseppe Santucci. ADL 2000, 15-26. Cited by 9Web SearchBibTeXDownload |
| 41 | What is Query Rewriting?. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. CIA 2000, 51-59. Cited by 13Web SearchBibTeXDownload |
| 40 | Keys for Free in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 2000, 79-88. Web SearchBibTeXDownload |
| 39 | Answering Regular Path Queries Using Views. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. ICDE 2000, 389-398. Cited by 98Web SearchBibTeXDownload |
| 38 | Containment 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 |
| 37 | What is View-Based Query Rewriting?. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. KRDB 2000, 17-27. Cited by 9Web SearchBibTeXDownload |
| 36 | Semistructured data schemas with expressive constraints. Andrea Calì, Diego Calvanese, Maurizio Lenzerini. KRDB 2000, 3-16. Web SearchBibTeXDownload |
| 35 | LAURIN: 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 |
| 34 | View-Based Query Processing and Constraint Satisfaction. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. LICS 2000, 361-371. Cited by 54Web SearchBibTeXDownload |
| 33 | View-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 |
| 32 | Local constraint in semistructured data schemas. Andrea Calì, Diego Calvanese, Maurizio Lenzerini. SEBD 2000, 65-78. Web SearchBibTeX |
| 31 | Concept 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 |
| 30 | Queries and Constraints on Semi-structured Data. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. CAiSE 1999, 434-438. Web SearchBibTeXDownload |
| 29 | A 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 |
| 28 | Reasoning 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 |
| 27 | Unifying Class-Based Representation Formalisms. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi. J. Artif. Intell. Res. (JAIR) (11): 199-240 (1999). Web SearchBibTeXDownload |
| 26 | Representing 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 |
| 25 | Answering Queries Using Views in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. KRDB 1999, 6-10. Web SearchBibTeXDownload |
| 24 | Modeling and Querying Semi-Structured data . Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Networking and Information Systems (2): 253-273 (1999). Web SearchBibTeX |
| 23 | Data 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 |
| 22 | Rewriting 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 |
| 21 | Rewriting of Regular Path Queries. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi. SEBD 1999, 213-224. Web SearchBibTeX |
| 20 | Query 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 |
| 19 | What can Knowledge Representation do for Semi-Structured Data?. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. AAAI/IAAI 1998, 205-210. Web SearchBibTeX |
| 18 | Information Integration: Conceptual Modeling and Reasoning Support. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati. CoopIS 1998, 280-291. Web SearchBibTeX |
| 17 | Semi-structured Data with Constraints and Incomplete Information. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 1998. Web SearchBibTeXDownload |
| 16 | A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati. Description Logics 1998. Web SearchBibTeXDownload |
| 15 | Source Integration in Data Warehousing. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati. DEXA Workshop 1998, 192-197. Web SearchBibTeX |
| 14 | Description Logic Framework for Information Integration. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati. KR 1998, 2-13. Web SearchBibTeX |
| 13 | Description Logics for Conceptual Data Modeling. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi. Logics for Databases and Information Systems 1998, 229-263. Web SearchBibTeX |
| 12 | On the Decidability of Query Containment under Constraints. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. PODS 1998, 149-158. Web SearchBibTeX |
| 11 | Extending Semi-Structured Data. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. SEBD 1998, 87-102. Web SearchBibTeX |
| 1997 |
| 10 | Conjunctive Query Containment in Description Logics with n-ary Relations. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 1997. Web SearchBibTeXDownload |
| 9 | Representing and Reasoning on SGML Documents. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. ISMIS 1997, 540-549. Web SearchBibTeXDownload |
| 1996 |
| 8 | Representing SGML Documents in Description Logics. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. Description Logics 1996, 102-106. Web SearchBibTeX |
| 7 | Finite Model Reasoning in Description Logics. Diego Calvanese. Description Logics 1996, 25-36. Web SearchBibTeX |
| 6 | Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity. Diego Calvanese. ECAI 1996, 303-307. Web SearchBibTeX |
| 1995 |
| 5 | Structured Objects: Modeling and Reasoning. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. DOOD 1995, 229-246. Web SearchBibTeXDownload |
| 4 | Increasing the Power of Structured Objects. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini. KRDB 1995. Web SearchBibTeXDownload |
| 1994 |
| 3 | On the Interaction Between ISA and Cardinality Constraints. Diego Calvanese, Maurizio Lenzerini. ICDE 1994, 204-213. Web SearchBibTeXDownload |
| 2 | A Unified Framework for Class-Based Representation Formalisms. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi. KR 1994, 109-120. Web SearchBibTeX |
| 1 | Making Object-Oriented Schemas More Expressive. Diego Calvanese, Maurizio Lenzerini. PODS 1994, 243-254. Web SearchBibTeX |