![]() | 2009 | |
---|---|---|
173 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications 2009: 173-197 |
172 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: An Automata-Theoretic Approach to Regular XPath. DBPL 2009: 18-35 |
171 | ![]() ![]() ![]() ![]() ![]() ![]() | Oscar Romero, Diego Calvanese, Alberto Abelló, Mariano Rodriguez-Muro: Discovering functional dependencies for multidimensional design. DOLAP 2009: 1-8 |
170 | ![]() ![]() ![]() ![]() ![]() ![]() | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: Adding Weight to DL-Lite. Description Logics 2009 |
169 | ![]() ![]() ![]() ![]() ![]() ![]() | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev: DL-Lite without UNA. Description Logics 2009 |
168 | ![]() ![]() ![]() ![]() ![]() ![]() | Camilo Thorne, Diego Calvanese: Controlled Aggregate Tree Shaped Questions over Ontologies. FQAS 2009: 394-405 |
167 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su: Artifact-Centric Workflow Dominance. ICSOC/ServiceWave 2009: 130-143 |
166 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Thomas Eiter, Magdalena Ortiz: Regular Path Queries in Expressive Description Logics with Nominals. IJCAI 2009: 714-720 |
165 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati: Ontologies and Databases: The DL-Lite Approach. Reasoning Web 2009: 255-356 |
164 | ![]() ![]() ![]() ![]() ![]() ![]() | Andrea Calì, Diego Calvanese, Davide Martinenghi: Dynamic Query Optimization under Access Limitations and Dependencies. J. UCS 15(1): 33-62 (2009) |
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 | ![]() ![]() ![]() ![]() ![]() ![]() | Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro: Explanation in DL-Lite. Description Logics 2008 |
161 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne: Aggregate queries over ontologies. ONISW 2008: 97-104 |
156 | ![]() ![]() ![]() ![]() ![]() ![]() | Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro: Explanation in the DL-LiteFamily of Description Logics. OTM Conferences (2) 2008: 1440-1457 |
155 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Mariano Rodriguez, Diego Calvanese: Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1. OWLED 2008 |
153 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. 9(3): (2008) |
150 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne: English Querying over Ontologies: E-QuOnto. AI*IA 2007: 170-181 |
142 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Evgeny Kharlamov, Werner Nutt: A Proof Theory for DL-Lite. Description Logics 2007 |
140 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Actions and Programs over Description Logic Ontologies. Description Logics 2007 |
139 | ![]() ![]() ![]() ![]() ![]() ![]() | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Complexity of Reasoning in Entity Relationship Models. Description Logics 2007 |
138 | ![]() ![]() ![]() ![]() ![]() ![]() | Raffaella Bernardi, Diego Calvanese, Camilo Thorne: Expressing DL-Lite Ontologies with Controlled English. Description Logics 2007 |
137 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev: Reasoning over Extended ER Models. ER 2007: 277-292 |
135 | ![]() ![]() ![]() ![]() ![]() ![]() | Andrea Calì, Diego Calvanese, Davide Martinenghi: Optimization of Query Plans in the presence of Access Limitations. EROW 2007 |
134 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Mariano Rodriguez-Muro: An Extension of DIG 2.0 for Handling Bulk Data. OWLED 2007 |
132 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Andrea Calì, Diego Calvanese: Optimising Query Answering in the Presence of Access Limitations (Position Paper). DEXA Workshops 2006: 547-552 |
125 | ![]() ![]() ![]() ![]() ![]() ![]() | Magdalena Ortiz, Diego Calvanese, Thomas Eiter: Data Complexity of Answering Unions of Conjunctive Queries in SHIQ. Description Logics 2006 |
124 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics 2006 |
123 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Data Complexity of Query Answering in Description Logics. Description Logics 2005 |
112 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati: Efficiently Managing Data Intensive Ontologies. SWAP 2005 |
107 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese: Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. TABLEAUX 2005: 1 |
106 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML class diagrams. Artif. Intell. 168(1-2): 70-118 (2005) |
103 | ![]() ![]() ![]() ![]() ![]() ![]() | Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi: Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR abs/cs/0507059: (2005) |
102 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Conjunctive Query Containment and Answering under Description Logics Constraints CoRR abs/cs/0507067: (2005) |
101 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable containment of recursive queries. Theor. Comput. Sci. 336(1): 33-56 (2005) |
2004 | ||
99 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere: DL-Lite: Practical Reasoning for Rich Dls. Description Logics 2004 |
97 | ![]() ![]() ![]() ![]() ![]() ![]() | Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo: Towards Implementing Finite Model Reasoning in Description Logics. Description Logics 2004 |
96 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola: IBIS: Semantic Data Integration at Work. CAiSE 2003: 79-94 |
85 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese: Data Integration in Data Warehousing (Keynote Address). CAiSE Workshops 2003 |
84 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo: Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics 2003 |
80 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: e-Service Composition by Description Logics Based Reasoning. Description Logics 2003 |
79 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi: Decidable Containment of Recursive Queries. ICDT 2003: 327-342 |
78 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Riccardo Rosati: Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB 2003 |
76 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese: View-based Query Processing for Semistructured Data. KRDB 2003 |
75 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella: A Foundational Vision of e-Services. WES 2003: 28-40 |
72 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Data Integration under Integrity Constraints. CAiSE 2002: 262-279 |
67 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond 2002: 41-60 |
66 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Description Logics: Foundations for Class-based Knowledge Representation. LICS 2002: 359-370 |
61 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci: The multilingual thesaurus of LAURIN. SEKE 2002: 83-90 |
57 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Ontology of Integration and Integration of Ontologies. Description Logics 2001 |
53 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Keys for Free in Description Logics. Description Logics 2000: 79-88 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: What is View-Based Query Rewriting? KRDB 2000: 17-27 |
37 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi: View-Based Query Processing and Constraint Satisfaction. LICS 2000: 361-371 |
34 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Queries and Constraints on Semi-structured Data. CAiSE 1999: 434-438 |
30 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Answering Queries Using Views in Description Logics. KRDB 1999: 6-10 |
27 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. (JAIR) 11: 199-240 (1999) |
23 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati: A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics 1998 |
16 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Maurizio Lenzerini, Daniele Nardi: Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems 1998: 229-263 |
13 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini: Increasing the Power of Structured Objects. KRDB 1995 |
1994 | ||
3 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Diego Calvanese, Maurizio Lenzerini: Making Object-Oriented Schemas More Expressive. PODS 1994: 243-254 |