Diego Calvanese

491 papers A* 60A 32B 23C 7Misc 2Journal 129Unranked 212

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Agentic Business Process Management: A Research Manifesto. CoRR Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Emanuele La Malfa, Lior Limonad, Andrea Marrella, Andreas Metzger, Marco Montali, Daniel Amyot, Peter Fettke, Artem Polyvyanyy, Stefanie Rinderle-Ma, Sebastian Sardiña, Niek Tax, Barbara Weber
2026	J	`jnl`	Agentic Business Process Management: A research manifesto. Inf. Syst. Diego Calvanese, Angelo Casciani, Giuseppe De Giacomo, Marlon Dumas, Fabiana Fournier, Timotheus Kampik, Emanuele La Malfa, Lior Limonad, Andrea Marrella, Andreas Metzger, Marco Montali, Daniel Amyot, Peter Fettke, Artem Polyvyanyy, Stefanie Rinderle-Ma, Sebastian Sardiña, Niek Tax, Barbara Weber
2026	B	`conf`	CMiner: An Algorithm to Discover Frequent Structures in Conceptual Models. EDBT Simone Avellino, Emanuele Valore, Giovanni Micale, Antonio Di Maria, Mattia Fumagalli, Tiago Prince Sales, Alfredo Pulvirenti, Diego Calvanese
2026	J	`jnl`	Mining Frequent Structures in Conceptual Models. Softw. Syst. Model. Mattia Fumagalli, Tiago Prince Sales, Pedro Paulo F. Barcelos, Giovanni Micale, Philipp-Lorenz Glaser, Dominik Bork, Vadim Zaytsev, Diego Calvanese, Giancarlo Guizzardi
2025	—	`conf`	A Pattern-Based Approach for Explaining Ontology-Driven Conceptual Models. CAiSE Forum Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2025	C	`conf`	Abstracting Conceptual Models as a Weakening Process. WoLLIC Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi
2025	—	`conf`	Answering MetaQueries over RDFS Ontologies Under the tt SPARQL Metamodeling Semantics Entailment Regime. IJCKG Diego Calvanese, Gianluca Cima, Julien Corman, Roberto Maria Delfino, Maurizio Lenzerini, Lorenzo Marconi, Antonella Poggi, Ognjen Savkovic
2025	B	`conf`	Assessing Privacy Requirements for Controlled Query Evaluation in OBDA. MDAI Divya Baura, Diego Calvanese
2025	—	`conf`	Autonomy in Business Process Execution: Why We Need First-Class Abstractions for Goals and Normative Frames. PMAI Diego Calvanese, Giuseppe De Giacomo, Timotheus Kampik, Yves Lespérance, Andrea Marrella, Andrea Matta
2025	—	`conf`	Beyond Risk Propagation: A Unified Approach. JOWO Alessandro Mosca, Mattia Fumagalli, Gal Engelberg, Victor D. Corvalan, Dan Klein, Pnina Soffer, Diego Calvanese, Giancarlo Guizzardi
2025	—	`conf`	Compact Answers to Temporal Path Queries. ISWC (1) Muhammad Adnan, Diego Calvanese, Julien Corman, Anton Dignös, Werner Nutt, Ognjen Savkovic
2025	J	`jnl`	Compact Answers to Temporal Path Queries. CoRR Muhammad Adnan, Diego Calvanese, Julien Corman, Anton Dignös, Werner Nutt, Ognjen Savkovic
2025	—	`conf`	Computing Compact Answers to Temporal Path Queries Using SQL. RuleML+RR (Companion) Muhammad Adnan, Diego Calvanese, Julien Corman, Anton Dignös, Werner Nutt, Ognjen Savkovic
2025	—	`conf`	Generation of Timelines from Event Knowledge Graphs Using Domain Knowledge. CISIM Rikayan Chaki, Diego Calvanese, Marco Montali
2025	J	`jnl`	Integrating 3D city data through knowledge graphs. Geo spatial Inf. Sci. Linfang Ding, Guohui Xiao, Albulen Pano, Mattia Fumagalli, Dongsheng Chen, Yu Feng, Diego Calvanese, Hongchao Fan, Liqiu Meng
2025	B	`conf`	Minimizing Side-Effects in Virtual Knowledge Graph Updates. RuleML+RR Romuald Esdras Wandji, Diego Calvanese
2025	J	`jnl`	Ontology-based data federation and query optimization. Knowl. Based Syst. Zhenzhen Gu, Davide Lanti, Francesco Corcoglioniti, Marco Di Panfilo, Alessandro Mosca, Diego Calvanese, Guohui Xiao
2025	—	`conf`	Real-world Assessment of Policy-Protected OBDA (Extended Abstract). DL Divya Baura, Diego Calvanese
2025	—	`conf`	Realizing Bidirectional Virtual Knowledge Graphs Using Ontop. IJCKG Romuald Esdras Wandji, Diego Calvanese
2025	—	`conf`	S-PIC4CHU: Semantics-Enriched Techniques for Data Preparation in Data Science. ITADATA Gianvincenzo Alfano, Ilaria Bartolini, Diego Calvanese, Paolo Ciaccia, Sergio Greco, Davide Lanti, Pasquale Leonardo Lazzaro, Emilia Lenzi, Davide Martinenghi, Cristian Molinaro, Marco Patella, Letizia Tanca, Riccardo Torlone, Irina Trubitsyna
2025	—	`conf`	S-PIC4CHU: Semantics-based Provenance, Integrity, and Curation for Consistent, High-quality, and Unbiased Data Science. SEBD Gianvincenzo Alfano, Ilaria Bartolini, Diego Calvanese, Paolo Ciaccia, Sergio Greco, Davide Lanti, Emilia Lenzi, Davide Martinenghi, Cristian Molinaro, Marco Patella, Letizia Tanca, Riccardo Torlone, Irina Trubitsyna
2025	—	`conf`	The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2025. PODS Companion Diego Calvanese, Graham Cormode, Leonid Libkin
2025	—	`conf`	The Actual Weight of Lightweight Description Logics. DL Diego Calvanese
2025	—	`conf`	Towards Leveraging Link Prediction for Geospatial Data Integration. SEBD Albulen Pano, Mattia Fumagalli, Davide Lanti, Diego Calvanese
2025	—	`conf`	User Access Control in Policy-Protected Virtual Knowledge Graphs. IJCKG Divya Baura, Diego Calvanese
2025	—	`conf`	Virtual Knowledge Graphs over Earth Observation Data. ISWC (2) Albulen Pano, Davide Lanti, Diego Calvanese
2024	J	`jnl`	A systematic overview of data federation systems. Semantic Web Zhenzhen Gu, Francesco Corcoglioniti, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese
2024	J	`jnl`	Evaluating quality of ontology-driven conceptual models abstractions. Data Knowl. Eng. Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2024	—	`conf`	ExpO: Towards Explaining Ontology-Driven Conceptual Models. RCIS (2) Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2024	—	`conf`	Implementing controlled query evaluation in OBDA (short paper). JOWO Divya Baura, Diego Calvanese, Lorenzo Marconi
2024	—	`conf`	Improving the cost of updates in virtual knowledge graphs (short paper). JOWO Romuald Esdras Wandji, Diego Calvanese
2024	J	`jnl`	Mining Frequent Structures in Conceptual Models. CoRR Mattia Fumagalli, Tiago Prince Sales, Pedro Paulo F. Barcelos, Giovanni Micale, Vadim Zaytsev, Diego Calvanese, Giancarlo Guizzardi
2024	—	`conf`	OBDF: OBDA + Data Federation - Extended Abstract. ICDEW Zhenzhen Gu, Diego Calvanese, Marco Di Panfilo, Davide Lanti, Alessandro Mosca, Guohui Xiao
2024	B	`conf`	OntoRaster: Extending VKGs with Raster Data. RuleML+RR Arka Ghosh, Albulen Pano, Guohui Xiao, Diego Calvanese
2024	B	`conf`	Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery. RuleML+RR Romuald Esdras Wandji, Diego Calvanese
2024	—	`ed.`	Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024. DAO-XAI@ECAI Roberto Confalonieri, Oliver Kutz, Diego Calvanese, Dagmar Gromann, Andreas Holzinger
2024	J	`jnl`	Technologies and main functionalities of the telemonitoring application reCOVeryaID. Frontiers Big Data Daniela D'Auria, Fabio Bettini, Selene Tognarelli, Diego Calvanese, Arianna Menciassi
2024	J	`jnl`	The role of ontologies and knowledge in Explainable AI. Semantic Web Roberto Confalonieri, Oliver Kutz, Diego Calvanese, Jose Maria Alonso-Moral, Shang-Ming Zhou
2024	—	`conf`	Verification of Unary Communicating Datalog Programs. SEBD Cyriac Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
2024	J	`jnl`	Verification of Unary Communicating Datalog Programs. Proc. ACM Manag. Data C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
2023	J	`jnl`	AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber
2023	J	`jnl`	An Ontology-Based Framework for Geospatial Integration and Querying of Raster Data Cube Using Virtual Knowledge Graphs. ISPRS Int. J. Geo Inf. Younes Hamdani, Guohui Xiao, Linfang Ding, Diego Calvanese
2023	J	`jnl`	An intelligent telemonitoring application for coronavirus patients: reCOVeryaID. Frontiers Big Data Daniela D'Auria, Raffaele Russo, Alfonso Fedele, Federica Addabbo, Diego Calvanese
2023	J	`jnl`	Conceptually-grounded mapping patterns for Virtual Knowledge Graphs. Data Knowl. Eng. Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2023	—	`conf`	Direct Mappings under the Lens of Information Capacity (Extended Abstract). Description Logics Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali
2023	—	`conf`	Exploration of Medieval Manuscripts through Keyword Spotting in the MENS Project. DP@AI*IA Hubert Alisade, Diego Calvanese, Mario Klarer, Alessandro Mosca, Nonyelum Ndefo, Bernadette Rangger, Aaron Tratter
2023	A	`conf`	Extracting Event Data from Document-Driven Enterprise Systems. CAiSE Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, Marco Montali
2023	J	`jnl`	Integrating 3D City Data through Knowledge Graphs. CoRR Linfang Ding, Guohui Xiao, Albulen Pano, Mattia Fumagalli, Dongsheng Chen, Yu Feng, Diego Calvanese, Hongchao Fan, Liqiu Meng
2023	—	`conf`	On the Way to Temporal OBDA Systems (short paper). AMW Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	Ontology-Based Data Federation - A Framework Proposal. SEBD Zhenzhen Gu, Diego Calvanese, Marco Di Panfilo, Davide Lanti, Alessandro Mosca, Guohui Xiao
2023	—	`ed.`	Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023. SEBD Diego Calvanese, Claudia Diamantini, Guglielmo Faggioli, Nicola Ferro, Stefano Marchesin, Gianmaria Silvello, Letizia Tanca
2023	A*	`conf`	SMT Safety Verification of Ontology-Based Processes. AAAI Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
2023	—	`conf`	Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach. RuleML+RR (Companion) Arka Ghosh, Mantas Simkus, Diego Calvanese
2023	J	`jnl`	The biggest business process management problems to solve before we die. Comput. Ind. Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoît Depaire, Gemma Di Federico, Marlon Dumas, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato
2023	—	`conf`	Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. ER (Workshops) Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi
2023	—	`conf`	Towards Techniques for Updating Virtual Knowledge Graphs. RuleML+RR (Companion) Romuald Esdras Wandji, Mantas Simkus, Diego Calvanese
2023	—	`ed.`	Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part I APWeb/WAIM (1) Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa
2023	—	`ed.`	Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part II APWeb/WAIM (2) Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa
2023	—	`ed.`	Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part III APWeb/WAIM (3) Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa
2023	B	`conf`	What Do Users Think About Abstractions of Ontology-Driven Conceptual Models? RCIS Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2022	—	`conf`	A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction. ICPM Workshops Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese
2022	B	`conf`	Abstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts. RCIS Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2022	J	`jnl`	Augmented Business Process Management Systems: A Research Manifesto. CoRR Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber
2022	J	`jnl`	Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2022	—	`conf`	Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs. SEBD Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2022	—	`conf`	Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract). Description Logics Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese
2022	—	`conf`	Ontology-based Data Federation (Extended Abstract). Description Logics Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese
2022	—	`conf`	Ontology-based Data Federation. IJCKG Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese
2022	—	`ed.`	Proceedings of the 11th International Joint Conference on Knowledge Graphs, IJCKG 2022, Hangzhou, China, October 27-28, 2022 IJCKG Alessandro Artale, Diego Calvanese, Haofen Wang, Xiaowang Zhang
2022	B	`conf`	Towards Pragmatic Explanations for Domain Ontologies. EKAW Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi
2022	A*	`conf`	Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2022	—	`conf`	Verification of Generic, Relational Transition Systems. PMAI@IJCAI Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2021	A	`conf`	ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns. CAiSE Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2021	—	`conf`	ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract). Description Logics Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2021	J	`jnl`	Accessing scientific data through knowledge graphs with Patterns Diego Calvanese, Davide Lanti, Tarcisio Mendes de Farias, Alessandro Mosca, Guohui Xiao
2021	J	`jnl`	Consistency assessment for open geodata integration: an ontology-based approach. GeoInformatica Linfang Ding, Guohui Xiao, Diego Calvanese, Liqiu Meng
2021	—	`conf`	Convergence Verification of Declarative Distributed Systems. CILC Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali
2021	J	`jnl`	Editorial for Special Issue of Journal of Big Data Research on "Big Data Meets Knowledge Graphs". Big Data Res. Xin Wang, Diego Calvanese
2021	J	`jnl`	INODE: Building an End-to-End Data Exploration System in Practice [Extended Vision]. CoRR Sihem Amer-Yahia, Georgia Koutrika, Frederic B. Bastian, Theofilos Belmpas, Martin Braschler, Ursin Brunner, Diego Calvanese, Maximilian Fabricius, Orest Gkini, Catherine Kosten, Davide Lanti, Antonis Litke, Hendrik Lücke-Tieke, Francesco Alessandro Massucci, Tarcisio Mendes de Farias, Alessandro Mosca, Francesco Multari, Nikolaos Papadakis, Dimitris Papadopoulos, Yogendra Patil, Aurélien Personnaz, Guillem Rull, Ana Claudia Sima, Ellery Smith, Dimitrios Skoutas, Srividya Subramanian, Guohui Xiao, Kurt Stockinger
2021	J	`jnl`	INODE: Building an End-to-End Data Exploration System in Practice. SIGMOD Rec. Sihem Amer-Yahia, Georgia Koutrika, Martin Braschler, Diego Calvanese, Davide Lanti, Hendrik Lücke-Tieke, Alessandro Mosca, Tarcisio Mendes de Farias, Dimitris Papadopoulos, Yogendra Patil, Guillem Rull, Ellery Smith, Dimitrios Skoutas, Srividya Subramanian, Kurt Stockinger
2021	J	`jnl`	Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2021	—	`ed.`	Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 18th to 19th, 2021 DAO-XAI Roberto Confalonieri, Oliver Kutz, Diego Calvanese
2021	—	`conf`	Process Mining with Common Sense. Problems@BPM Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus
2021	—	`conf`	Realizing Ontology-based Reusable Interfaces for Data Access via Virtual Knowledge Graphs. CHItaly Diego Calvanese, Linfang Ding, Alessandro Mosca, Guohui Xiao
2021	J	`jnl`	SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). CoRR Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
2021	—	`conf`	SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). Description Logics Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali
2021	J	`jnl`	Towards the next generation of the LinkedGeoData project using virtual knowledge graphs. J. Web Semant. Linfang Ding, Guohui Xiao, Albulen Pano, Claus Stadler, Diego Calvanese
2020	J	`jnl`	A Framework Uniting Ontology-Based Geodata Integration and Geovisual Analytics. ISPRS Int. J. Geo Inf. Linfang Ding, Guohui Xiao, Diego Calvanese, Liqiu Meng
2020	—	`conf`	Combined Covers and Beth Definability. IJCAR (1) Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020	J	`jnl`	Counting Query Answers over a DL-Lite Knowledge Base (extended version). CoRR Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski
2020	A*	`conf`	Counting Query Answers over a DL-Lite Knowledge Base. IJCAI Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski
2020	J	`jnl`	Interview with Diego Calvanese. Künstliche Intell. Diego Calvanese, Mantas Simkus
2020	—	`conf`	Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research). Description Logics Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2020	J	`jnl`	Mapping Patterns for Virtual Knowledge Graphs. CoRR Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga
2020	J	`jnl`	On Expansion and Contraction of DL-Lite Knowledge Bases. CoRR Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese
2020	A*	`ed.`	Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. KR Diego Calvanese, Esra Erdem, Michael Thielscher
2020	J	`jnl`	Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). ACM SIGLOG News Diego Calvanese, Paul Fodor, Marco Montali
2020	—	`conf`	Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions. Description Logics Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski
2020	J	`jnl`	SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2020	—	`conf`	Semantic Integration of Bosch Manufacturing Data Using Virtual Knowledge Graphs. ISWC (2) Elem Güzel Kalayci, Irlán Grangel González, Felix Lösch, Guohui Xiao, Anees ul Mehdi, Evgeny Kharlamov, Diego Calvanese
2020	—	`conf`	Serving Bosch Production Data as Virtual KGs. ISWC (Demos/Industry) Elem Guzel Kalayci, Irlán Grangel González, Felix Loesch, Guohui Xiao, Anees Mehdi, Evgeny Kharlamov, Diego Calvanese
2020	—	`conf`	The Virtual Knowledge Graph System Ontop (Extended Abstract). Description Logics Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2020	—	`conf`	The Virtual Knowledge Graph System Ontop. ISWC (2) Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2019	J	`jnl`	Combined Covers and Beth Definability. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	—	`conf`	Enriching Data Models with Behavioral Constraints. Ontology Makes Sense Alessandro Artale, Diego Calvanese, Marco Montali, Wil M. P. van der Aalst
2019	J	`jnl`	Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
2019	A*	`conf`	Enriching Ontology-based Data Access with Provenance. IJCAI Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao
2019	J	`jnl`	Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	A	`conf`	Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	J	`jnl`	Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	—	`conf`	From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	—	`ed.`	GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. GCAI Diego Calvanese, Luca Iocchi
2019	—	`conf`	Model Completeness, Covers and Superposition (Abridged Version). CILC Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	A	`conf`	Model Completeness, Covers and Superposition. CADE Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2019	A	`conf`	Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2019	J	`jnl`	On expansion and contraction of DL-Lite knowledge bases. J. Web Semant. Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese
2019	J	`jnl`	Ontology-based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci. Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2019	J	`jnl`	Ontology-based data access - Beyond relational sources. Intelligenza Artificiale Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao
2019	B	`conf`	Representing and Querying Norm States Using Temporal Ontology-Based Data Access. EDOC Evellin Cardoso, Marco Montali, Diego Calvanese
2019	B	`ed.`	Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings RuleML+RR Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman
2019	J	`jnl`	Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. Theory Pract. Log. Program. Diego Calvanese, Marco Montali, Marlon Dumas, Fabrizio Maria Maggi
2019	—	`conf`	The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2019	C	`conf`	Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2019	J	`jnl`	VIG: Data scaling for OBDA benchmarks. Semantic Web Davide Lanti, Guohui Xiao, Diego Calvanese
2019	J	`jnl`	Virtual Knowledge Graphs: An Overview of Systems and Use Cases. Data Intell. Guohui Xiao, Linfang Ding, Benjamin Cogrel, Diego Calvanese
2018	—	`conf`	A Generalized Framework for Ontology-Based Data Access. AI*IA Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao
2018	B	`conf`	Conceptual Schema Transformation in Ontology-Based Data Access. EKAW Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
2018	—	`conf`	Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract). Description Logics Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst
2018	J	`jnl`	Efficient Handling of SPARQL OPTIONAL for OBDA (Extended Version). CoRR Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2018	—	`conf`	Efficient Handling of SPARQL OPTIONAL for OBDA. ISWC (1) Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva
2018	B	`conf`	Efficient Ontology-Based Data Integration with Canonical IRIs. ESWC Guohui Xiao, Dag Hovland, Dimitris Bilidas, Martin Rezk, Martin Giese, Diego Calvanese
2018	A	`conf`	Expressivity and Complexity of MongoDB Queries. ICDT Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2018	—	`ch.`	First-Order Ontology Mediated Database Querying via Query Reformulation. A Comprehensive Guide Through the Italian Database Research Diego Calvanese, Enrico Franconi
2018	J	`jnl`	First-order Inf. Comput. Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2018	—	`conf`	Formalization and Complexity of MongoDB Queries (Extended Abstract). SEBD Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2018	J	`jnl`	Modelling and Enactment of Data-aware Processes. CoRR Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2018	—	`ch.`	Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2018	A*	`conf`	Ontology-Based Data Access: A Survey. IJCAI Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev
2018	A	`conf`	Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data. CIKM Elem Güzel Kalayci, Guohui Xiao, Vladislav Ryzhikov, Tahir Emre Kalayci, Diego Calvanese
2018	—	`ed.`	Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. JOWO Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom
2018	J	`jnl`	Quantifier Elimination for Database Driven Verification. CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2018	J	`jnl`	Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2018	J	`jnl`	Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. CoRR Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali
2018	A	`conf`	Semantic Technologies for Data Access and Integration. CIKM Diego Calvanese, Guohui Xiao
2018	J	`jnl`	Semantics, Analysis and Simplification of DMN Decision Tables. Inf. Syst. Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
2018	J	`jnl`	Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin
2018	—	`conf`	Verification of Fixed-Topology Declarative Distributed Systems with External Data. AMW Diego Calvanese, Marco Montali, Jorge Lobo
2017	J	`jnl`	Cost-Driven Ontology-Based Data Access (Extended Version). CoRR Davide Lanti, Guohui Xiao, Diego Calvanese
2017	—	`conf`	Cost-Driven Ontology-Based Data Access. ISWC (1) Davide Lanti, Guohui Xiao, Diego Calvanese
2017	—	`conf`	Formalizing MongoDB Queries. AMW Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao
2017	J	`jnl`	Managing Change in Graph-Structured Data Using Description Logics. ACM Trans. Comput. Log. Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2017	J	`jnl`	Metric Temporal Logic for Ontology-Based Data Access over Log Data. CoRR Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev
2017	—	`conf`	New Trends in Databases and Information Systems: Contributions from ADBIS 2017 Workshops. ADBIS (Short Papers and Workshops) Andreas Behrend, Diego Calvanese, Tania Cerquitelli, Silvia Chiusano, Christiane Engels, Stéphane Jean, Natalija Kozmina, Béatrice Markhoff, Oscar Romero, Sahar Vahdati
2017	—	`conf`	OBDA for Log Extraction in Process Mining. RW Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso
2017	—	`conf`	Ontology-Based Data Access for Extracting Event Logs from Legacy Data: The onprom Tool and Methodology. BIS Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Stefano Tinella
2017	J	`jnl`	Ontop: Answering SPARQL queries over relational databases. Semantic Web Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao
2017	—	`ed.`	Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures RW Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, Yuting Zhao
2017	J	`jnl`	Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2017	B	`conf`	Semantic DMN: Formalizing Decision Models with Domain Knowledge. RuleML+RR Diego Calvanese, Marlon Dumas, Fabrizio Maria Maggi, Marco Montali
2017	J	`jnl`	Semantics and Analysis of DMN Decision Tables. EMISA Forum Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
2017	—	`conf`	The onprom Toolchain for Extracting Business Process Logs using Ontology-based Data Access. BPM (Demos) Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso
2016	J	`jnl`	A Formal Presentation of MongoDB (Extended Version). CoRR Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016	—	`conf`	A semantic approach to polystores. IEEE BigData Evgeny Kharlamov, Theofilos P. Mailis, Konstantina Bereta, Dimitris Bilidas, Sebastian Brandt, Ernesto Jiménez-Ruiz, Steffen Lamparter, Christian Neuenstadt, Özgür L. Özçep, Ahmet Soylu, Christoforos Svingos, Guohui Xiao, Dmitriy Zheleznyakov, Diego Calvanese, Ian Horrocks, Martin Giese, Yannis E. Ioannidis, Yannis Kotidis, Ralf Möller, Arild Waaler
2016	—	`conf`	An Evaluation of VIG with the BSBM Benchmark. ISWC (Posters & Demos) Davide Lanti, Guohui Xiao, Diego Calvanese
2016	A*	`conf`	Beyond OWL 2 QL in OBDA: Rewritings and Approximations. AAAI Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2016	J	`jnl`	Data Scaling in OBDA Benchmarks: The VIG Approach. CoRR Davide Lanti, Guohui Xiao, Diego Calvanese
2016	—	`ed.`	Digital Libraries on the Move - 11th Italian Research Conference on Digital Libraries, IRCDL 2015, Bolzano, Italy, January 29-30, 2015, Revised Selected Papers IRCDL Diego Calvanese, Dario De Nart, Carlo Tasso
2016	—	`conf`	Fast and Simple Data Scaling for OBDA Benchmarks. BLINK@ISWC Davide Lanti, Guohui Xiao, Diego Calvanese
2016	B	`conf`	Handling Inconsistencies Due to Class Disjointness in SPARQL Updates. ESWC Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov
2016	J	`jnl`	Knowledge base exchange: The case of OWL 2 QL. Artif. Intell. Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2016	—	`conf`	Managing Change in Graph-structured Data Using Description Logics. Description Logics Diego Calvanese
2016	—	`conf`	OBDA Beyond Relational DBs: A Study for MongoDB. Description Logics Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016	—	`conf`	OBDA Over Non-Relational Databases. AMW Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao
2016	A*	`conf`	On First-Order μ-Calculus over Situation Calculus Action Theories. KR Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2016	J	`jnl`	Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire. Eng. Appl. Artif. Intell. Diego Calvanese, Pietro Maria Liuzzo, Alessandro Mosca, José Remesal, Martin Rezk, Guillem Rull
2016	A*	`conf`	Plan Synthesis for Knowledge and Action Bases. IJCAI Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
2016	A*	`conf`	Regular Open APIs. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2016	J	`jnl`	Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2016	A	`conf`	Semantics and Analysis of DMN Decision Tables. BPM Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
2016	J	`jnl`	Semantics and Analysis of DMN Decision Tables. CoRR Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa
2016	J	`jnl`	Soundness of data-aware, case-centric processes. Int. J. Softw. Tools Technol. Transf. Marco Montali, Diego Calvanese
2016	—	`conf`	Synthesizing and Executing Plans in Knowledge and Action Bases. Description Logics Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy
2016	—	`conf`	Towards Data- and Norm-Aware Multiagent Systems. EMAS@AAMAS Matteo Baldoni, Cristina Baroglio, Diego Calvanese, Roberto Micalizio, Marco Montali
2016	—	`conf`	Towards Practical OBDA with Temporal Ontologies - (Position Paper). RR Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao
2016	A	`conf`	Verification of Evolving Graph-structured Data under Expressive Path Constraints. ICDT Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2016	—	`conf`	Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. Description Logics Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2015	—	`conf`	A 'historical case' of Ontology-Based Data Access. Digital Heritage Diego Calvanese, Alessandro Mosca, José Remesal, Martín Rezk, Guillem Rull
2015	J	`jnl`	Beyond OWL 2 QL in OBDA: Rewritings and Approximations (Extended Version). CoRR Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao
2015	A*	`conf`	Data Complexity of Query Answering in Description Logics (Extended Abstract). IJCAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2015	—	`conf`	Dealing with Inconsistencies due to Class Disjointness in SPARQL Update. Description Logics Albin Ahmeti, Diego Calvanese, Axel Polleres, Vadim Savenkov
2015	A*	`conf`	Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis. IJCAI Diego Calvanese, Marco Montali, Fabio Patrizi, Giuseppe De Giacomo
2015	—	`conf`	How to Stay Ontop of Your Data: Databases, Ontologies and More. ESWC (Satellite Events) Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Davide Lanti, Martín Rezk, Guohui Xiao
2015	—	`conf`	Implementing Data-Centric Dynamic Systems over a Relational DBMS. AMW Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2015	—	`conf`	Inconsistency Management in Generalized Knowledge and Action Bases. Description Logics Diego Calvanese, Marco Montali, Ario Santoso
2015	—	`conf`	Leveraging Relational Technology for Data-Centric Dynamic Systems. SEBD Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin
2015	J	`jnl`	Node Selection Query Languages for Trees. CoRR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2015	—	`conf`	OBDA with the Ontop Framework. SEBD Diego Calvanese, Benjamin Cogrel, Elem Guzel Kalayci, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Guohui Xiao
2015	A*	`conf`	On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies. IJCAI Diego Calvanese, Giuseppe De Giacomo, Mikhail Soutchanski
2015	—	`conf`	Ontology-Based Integration of Cross-Linked Datasets. ISWC (1) Diego Calvanese, Martin Giese, Dag Hovland, Martin Rezk
2015	—	`conf`	Ontology-Driven Extraction of Event Logs from Relational Databases. Business Process Management Workshops Diego Calvanese, Marco Montali, Alifah Syamsiyah, Wil M. P. van der Aalst
2015	—	`ed.`	Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015. Description Logics Diego Calvanese, Boris Konev
2015	A*	`ed.`	Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015 PODS Tova Milo, Diego Calvanese
2015	J	`jnl`	Report on PODS 2015. SIGACT News Diego Calvanese
2015	J	`jnl`	Special issue of the Journal of Web Semantics on ontology-based data access. J. Web Semant. Diego Calvanese, Manolis Koubarakis, David Toman
2015	B	`conf`	The NPD Benchmark: Reality Check for OBDA Systems. EDBT Davide Lanti, Martín Rezk, Guohui Xiao, Diego Calvanese
2015	J	`jnl`	Verification of Generalized Inconsistency-Aware Knowledge and Action Bases (Extended Version). CoRR Diego Calvanese, Marco Montali, Ario Santoso
2015	A*	`conf`	Verification of Generalized Inconsistency-Aware Knowledge and Action Bases. IJCAI Diego Calvanese, Marco Montali, Ario Santoso
2015	A*	`conf`	Verification of Relational Multiagent Systems with Data Types. AAAI Diego Calvanese, Giorgio Delzanno, Marco Montali
2014	—	`conf`	A Scalable Benchmark for OBDA Systems: Preliminary Report. ORE Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao
2014	J	`jnl`	Adding Context to Knowledge and Action Bases. CoRR Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso
2014	J	`jnl`	Answering regular path queries in expressive Description Logics via alternating tree-automata. Inf. Comput. Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2014	A*	`conf`	Capturing Relational Schemas and Functional Dependencies in RDFS. AAAI Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
2014	J	`jnl`	Description Logic Knowledge and Action Bases. CoRR Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2014	—	`conf`	Expressive Identification Constraints to Capture Functional Dependencies in Description Logics. Description Logics Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, Mantas Simkus
2014	A*	`conf`	Managing Change in Graph-Structured Data Using Description Logics. AAAI Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Managing Change in Graph-structured Data Using Description Logics (long version with appendix). CoRR Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Nested Regular Path Queries in Description Logics (Extended Abstract). AMW Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	A*	`conf`	Nested Regular Path Queries in Description Logics. KR Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	J	`jnl`	Nested Regular Path Queries in Description Logics. CoRR Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Planning Problems for Graph Structured Data in Description Logics. Description Logics Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	—	`conf`	Planning and Change in Graph Structured Data under Description Logics Constraints. AMW Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2014	B	`conf`	Query Answering over Description Logic Ontologies. JELIA Diego Calvanese
2014	J	`jnl`	Reasoning about Explanations for Negative Query Answers in DL-Lite. CoRR Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2014	—	`conf`	Rules and Ontology Based Data Access. RR Guohui Xiao, Martin Rezk, Mariano Rodriguez-Muro, Diego Calvanese
2014	—	`conf`	SPARQL Update for Materialized Triple Stores under DL-Lite_RDFS Entailment. Description Logics Albin Ahmeti, Diego Calvanese, Axel Polleres
2014	B	`conf`	Shape and Content - A Database-Theoretic Perspective on the Analysis of Data Structures. IFM Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`conf`	Shape and Content: Incorporating Domain Knowledge into Shape Analysis. Description Logics Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2014	—	`conf`	Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. CILC Marco Montali, Diego Calvanese, Giuseppe De Giacomo
2014	A*	`conf`	State-Boundedness in Data-Aware Dynamic Systems. KR Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Alin Deutsch
2014	J	`jnl`	The DL-Lite Family and Relations. CoRR Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2014	—	`conf`	The NPD Benchmark for OBDA Systems. SSWS@ISWC Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao, Diego Calvanese
2014	—	`conf`	The Ontop Framework for Ontology Based Data Access. CSWS Timea Bagosi, Diego Calvanese, Josef Hardi, Sarah Komla-Ebri, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Mindaugas Slusnys, Guohui Xiao
2014	—	`conf`	Updating RDFS ABoxes and TBoxes in SPARQL. ISWC (1) Albin Ahmeti, Diego Calvanese, Axel Polleres
2014	J	`jnl`	Updating RDFS ABoxes and TBoxes in SPARQL. CoRR Albin Ahmeti, Diego Calvanese, Axel Polleres
2014	J	`jnl`	Verifiable UML Artifact-Centric Business Process Models (Extended Version). CoRR Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
2014	A	`conf`	Verifiable UML Artifact-Centric Business Process Models. CIKM Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
2014	B	`conf`	Verification of Context-Sensitive Knowledge and Action Bases. JELIA Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, Ario Santoso
2014	—	`conf`	Verification of Human Driven Data-Centric Dynamic Systems. AAAI Spring Symposia Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2014	J	`jnl`	Verification of Relational Multiagent Systems with Data Types (Extended Version). CoRR Diego Calvanese, Giorgio Delzanno, Marco Montali
2014	A	`conf`	Verification of data-aware commitment-based multiagent system. AAMAS Marco Montali, Diego Calvanese, Giuseppe De Giacomo
2013	B	`conf`	Automated Activity Recognition in Clinical Documents. IJCNLP Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, Claudio Eccher
2013	J	`jnl`	Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). Dagstuhl Reports Diego Calvanese, Sven Hartmann, Ernest Teniente
2013	J	`jnl`	Capturing model-based ontology evolution at the instance level: The case of DL-Lite. J. Comput. Syst. Sci. Evgeny Kharlamov, Dmitriy Zheleznyakov, Diego Calvanese
2013	—	`conf`	Computing Solutions in OWL 2 QL Knowledge Exchange. Description Logics Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013	—	`ch.`	Data Integration under Integrity Constraints. Seminal Contributions to Information Systems Engineering Andrea Calì, Diego Calvanese, Maurizio Lenzerini
2013	J	`jnl`	Data complexity of query answering in description logics. Artif. Intell. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2013	J	`jnl`	Description Logic Knowledge and Action Bases. J. Artif. Intell. Res. Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2013	—	`conf`	Dynamic Systems Based on Description Logics: Formalization, Verification, and Synthesis. Description Logics Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	—	`conf`	Evaluating SPARQL-to-SQL Translation in Ontop. ORE Mariano Rodriguez-Muro, Martín Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese
2013	—	`conf`	Evolving Graph Databases under Description Logic Constraints. Description Logics Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2013	J	`jnl`	Exchanging OWL 2 QL Knowledge Bases CoRR Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013	A*	`conf`	Exchanging OWL 2 QL Knowledge Bases. IJCAI Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013	—	`conf`	Extending DL-Lite_A with (Singleton) Nominals. Description Logics Maxim Haddad, Diego Calvanese
2013	J	`jnl`	Finite model reasoning on UML class diagrams via constraint programming. Intelligenza Artificiale Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
2013	A*	`conf`	Foundations of data-aware process analysis: a database theory perspective. PODS Diego Calvanese, Giuseppe De Giacomo, Marco Montali
2013	—	`conf`	On Rewriting, Answering Queries in OBDA Systems for Big Data (Short Paper). OWLED Diego Calvanese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Meier, Mariano Rodriguez-Muro, Dmitriy Zheleznyakov
2013	J	`jnl`	On simplification of schema mappings. J. Comput. Syst. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2013	—	`conf`	Optique: OBDA Solution for Big Data. ESWC (Satellite Events) Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Johan W. Klüwer, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, T. Nordtveit, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov
2013	J	`jnl`	Preface. Semantic Web Diego Calvanese, Thomas Lukasiewicz
2013	—	`conf`	Process Fragment Recognition in Clinical Documents. AI*IA Camilo Thorne, Elena Cardillo, Claudio Eccher, Marco Montali, Diego Calvanese
2013	J	`jnl`	Reasoning about Explanations for Negative Query Answers in DL-Lite. J. Artif. Intell. Res. Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2013	—	`ch.`	Rewrite and Conquer: Dealing with Integrity Constraints in Data Integration. Seminal Contributions to Information Systems Engineering Andrea Calì, Diego Calvanese, Maurizio Lenzerini
2013	J	`jnl`	Shape and Content: Incorporating Domain Knowledge into Shape Analysis. CoRR Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, Florian Zuleger
2013	—	`conf`	The Optique Project: Towards OBDA Systems for Industry (Short Paper). OWLED Diego Calvanese, Martin Giese, Peter Haase, Ian Horrocks, Thomas Hubauer, Yannis E. Ioannidis, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Herald Kllapi, Manolis Koubarakis, Steffen Lamparter, Ralf Möller, Christian Neuenstadt, Özgür L. Özçep, Mariano Rodriguez-Muro, Mikhail Roshchin, Marco Ruzzi, Domenico Fabio Savo, Michael Schmidt, Ahmet Soylu, Arild Waaler, Dmitriy Zheleznyakov
2013	—	`conf`	Verification and Synthesis in Description Logic Based Dynamic Systems (Abridged Version). AIBP@AI*IA Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	—	`conf`	Verification and Synthesis in Description Logic Based Dynamic Systems. RR Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi
2013	J	`jnl`	Verification of Inconsistency-Aware Knowledge and Action Bases (Extended Version) CoRR Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
2013	—	`conf`	Verification of Inconsistency-Aware Knowledge and Action Bases. Description Logics Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
2013	A*	`conf`	Verification of Inconsistency-Aware Knowledge and Action Bases. IJCAI Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov
2013	J	`jnl`	Verification of Semantically-Enhanced Artifact Systems (Extended Version). CoRR Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2013	A	`conf`	Verification of Semantically-Enhanced Artifact Systems. ICSOC Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, Dmitry Solomakhin
2013	A*	`conf`	Verification of relational data-centric dynamic systems with external services. PODS Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2012	—	`conf`	Best Service Synthesis in the Weighted Roman Model. ZEUS Diego Calvanese, Ario Santoso
2012	A*	`conf`	Exchanging Description Logic Knowledge Bases. KR Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2012	A*	`conf`	High Performance Query Answering over DL-Lite Ontologies. KR Mariano Rodriguez-Muro, Diego Calvanese
2012	—	`conf`	Inconsistency Tolerance in OWL 2 QL Knowledge and Action Bases. OWLED Diego Calvanese, Evgeny Kharlamov, Marco Montali, Dmitriy Zheleznyakov
2012	A	`conf`	Introducing Datatypes in DL-Lite. ECAI Ognjen Savkovic, Diego Calvanese
2012	—	`conf`	OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
2012	J	`jnl`	OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
2012	—	`conf`	Ontology-Based Governance of Data-Aware Processes. RR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
2012	J	`jnl`	Query Processing under GLAV Mappings for Relational and Graph Databases. Proc. VLDB Endow. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2012	—	`conf`	Quest, an OWL 2 QL Reasoner for Ontology-based Data Access. OWLED Mariano Rodriguez-Muro, Diego Calvanese
2012	—	`conf`	Quest: Effcient SPARQL-to-SQL for RDF and OWL. ISWC (Posters & Demos) Mariano Rodriguez-Muro, Josef Hardi, Diego Calvanese
2012	—	`conf`	Representability in DL-Lite_R Knowledge Base Exchange. Description Logics Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2012	—	`conf`	Semantically-Governed Data-Aware Processes. KiBP@KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, Ario Santoso
2012	A*	`conf`	The Complexity of Explaining Negative Query Answers in DL-Lite. KR Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2012	J	`jnl`	Tractability and Intractability of Controlled Languages for Data Access. Stud Logica Camilo Thorne, Diego Calvanese
2012	A	`conf`	Verification of Description Logic Knowledge and Action Bases. ECAI Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli, Marco Montali
2012	J	`jnl`	Verification of Relational Data-Centric Dynamic Systems with External Services CoRR Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, Marco Montali
2012	J	`jnl`	View-based query answering in Description Logics: Semantics and complexity. J. Comput. Syst. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2011	A*	`conf`	A Practical Automata-Based Technique for Reasoning in Expressive Description Logics. IJCAI Diego Calvanese, Domenico Carbotta, Magdalena Ortiz
2011	A*	`conf`	Containment of Regular Path Queries under Description Logic Constraints. IJCAI Diego Calvanese, Magdalena Ortiz, Mantas Simkus
2011	—	`conf`	Dependencies to Optimize Ontology Based Data Access. Description Logics Mariano Rodriguez-Muro, Diego Calvanese
2011	—	`conf`	Dependencies: Making Ontology Based Data Access Work. AMW Mariano Rodriguez-Muro, Diego Calvanese
2011	A	`conf`	Foundations of Relational Artifacts Verification. BPM Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, Paolo Felli
2011	—	`conf`	Knowledge Base Exchange. Description Logics Marcelo Arenas, Elena Botoeva, Diego Calvanese
2011	A	`conf`	Simplifying schema mappings. ICDT Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2011	—	`conf`	The Complexity of Conjunctive Query Abduction in DL-Lite. Description Logics Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni
2011	J	`jnl`	The MASTRO system for ontology-based data access. Semantic Web Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo
2011	J	`jnl`	Unifying Class-Based Representation Formalisms CoRR Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
2011	—	`conf`	Verification of Conjunctive-Query Based Semantic Artifacts. Description Logics Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis
2010	—	`conf`	Checking Full Satisfiability of Conceptual Models. Description Logics Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
2010	—	`conf`	Evolution of DL-Lite Knowledge Bases. ISWC (1) Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov
2010	Misc	`conf`	Expressive Approximations in AIMSA Elena Botoeva, Diego Calvanese, Mariano Rodriguez-Muro
2010	A	`conf`	Full Satisfiability of UML Class Diagrams. ER Alessandro Artale, Diego Calvanese, Yazmín Angélica Ibáñez-García
2010	A*	`conf`	Node Selection Query Languages for Trees. AAAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2010	—	`conf`	Query Rewriting in DL-Lite_^(HN)_horn. Description Logics Elena Botoeva, Alessandro Artale, Diego Calvanese
2010	—	`conf`	Updating ABoxes in DL-Lite. AMW Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Dmitriy Zheleznyakov
2010	—	`conf`	Updating TBoxes in DL-Lite. Description Logics Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt
2010	J	`jnl`	View Synthesis from Schema Mappings CoRR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2010	Misc	`conf`	Web-based graphical querying of databases through an ontology: the Wonder system. SAC Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, Giorgio Stefanoni
2009	—	`conf`	Adding Weight to DL-Lite. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	—	`conf`	An Automata-Theoretic Approach to Regular XPath. DBPL Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2009	—	`conf`	Artifact-Centric Workflow Dominance. ICSOC/ServiceWave Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Jianwen Su
2009	—	`conf`	Conceptual Modeling for Data Integration. Conceptual Modeling: Foundations and Applications Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2009	C	`conf`	Controlled Aggregate Tree Shaped Questions over Ontologies. FQAS Camilo Thorne, Diego Calvanese
2009	—	`conf`	Controlled English Ontology-Based Data Access. CNL Camilo Thorne, Diego Calvanese
2009	—	`conf`	DL-Lite without UNA. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	C	`conf`	Discovering functional dependencies for multidimensional design. DOLAP Oscar Romero, Diego Calvanese, Alberto Abelló, Mariano Rodriguez-Muro
2009	J	`jnl`	Dynamic Query Optimization under Access Limitations and Dependencies. J. Univers. Comput. Sci. Andrea Calì, Diego Calvanese, Davide Martinenghi
2009	—	`conf`	Exploring Controlled English Ontology-Based Data Access. CNL (Pre-Proceedings) Camilo Thorne, Diego Calvanese
2009	—	`conf`	Ontologies and Databases: The DL-Lite Approach. Reasoning Web Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati
2009	A*	`conf`	Regular Path Queries in Expressive Description Logics with Nominals. IJCAI Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2009	J	`jnl`	The DL-Lite Family and Relations. J. Artif. Intell. Res. Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2009	—	`conf`	The Data Complexity of the Syllogistic Fragments of English. Amsterdam Colloquium on Logic, Language and Meaning Camilo Thorne, Diego Calvanese
2009	—	`ch.`	Using OWL in Data Integration. Semantic Web Information Management Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi
2008	—	`conf`	A New Generation Search Engine Supporting Cross Domain Queries. SEBD Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone
2008	—	`conf`	Aggregate queries over ontologies. ONISW Diego Calvanese, Evgeny Kharlamov, Werner Nutt, Camilo Thorne
2008	J	`jnl`	Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Fabio Patrizi
2008	J	`jnl`	Conjunctive query containment and answering under description logic constraints. ACM Trans. Comput. Log. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2008	J	`jnl`	Data Complexity of Query Answering in Expressive Description Logics via Tableaux. J. Autom. Reason. Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2008	—	`conf`	Data Integration throughDL-Lite SDKB Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, Marco Ruzzi
2008	—	`conf`	Explanation in DL-Lite. Description Logics Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro
2008	—	`conf`	Explanation in the DL-LiteFamily of Description Logics. OTM Conferences (2) Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro
2008	J	`jnl`	Inconsistency tolerance in P2P data integration: An epistemic logic approach. Inf. Syst. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008	J	`jnl`	Linking Data to Ontologies. J. Data Semant. Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2008	—	`conf`	NGS: a framework for multi-domain query answering. ICDE Workshops Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, Riccardo Torlone
2008	—	`conf`	OWLlink: DIG for OWL 2. OWLED Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, Evren Sirin
2008	A*	`conf`	Path-Based Identification Constraints in Description Logics. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2008	—	`conf`	Realizing Ontology Based Data Access: A plug-in for protégé. ICDE Workshops Mariano Rodriguez-Muro, Lina Lubyte, Diego Calvanese
2008	—	`conf`	Towards an Open Framework for Ontology Based Data Access with Protégé and DIG 1.1. OWLED Mariano Rodriguez, Diego Calvanese
2008	A*	`conf`	View-Based Query Answering over Description Logic Ontologies. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2008	—	`ed.`	Web Reasoning and Rule Systems, Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings RR Diego Calvanese, Georg Lausen
2007	—	`conf`	A Proof Theory for DL-Lite. Description Logics Diego Calvanese, Evgeny Kharlamov, Werner Nutt
2007	—	`conf`	Actions and Programs over Description Logic Ontologies. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2007	—	`conf`	An Extension of DIG 2.0 for Handling Bulk Data. OWLED Diego Calvanese, Mariano Rodriguez-Muro
2007	A*	`conf`	Answering Regular Path Queries in Expressive Description Logics: An Automata-Theoretic Approach. AAAI Diego Calvanese, Thomas Eiter, Magdalena Ortiz
2007	—	`conf`	Can OWL Model Football Leagues? OWLED Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	—	`conf`	Complexity of Reasoning in Entity Relationship Models. Description Logics Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007	A*	`conf`	DL-Lite in the Light of First-Order Logic. AAAI Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007	A*	`conf`	EQL-Lite: Effective First-Order Query Processing in Description Logics. IJCAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	—	`conf`	English Querying over Ontologies: E-QuOnto. AI*IA Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, Camilo Thorne
2007	—	`conf`	Expressing DL-Lite Ontologies with Controlled English. Description Logics Raffaella Bernardi, Diego Calvanese, Camilo Thorne
2007	—	`conf`	Finite Model Reasoning on UML Class Diagrams Via Constraint Programming. AI*IA Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, Toni Mancini
2007	—	`conf`	MASTRO-I: Efficient Integration of Relational Data through DL Ontologies. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Domenico Lembo, Antonella Poggi, Riccardo Rosati
2007	—	`conf`	Ontology-based Database Access. SEBD Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2007	—	`conf`	Optimization of Query Plans in the presence of Access Limitations. EROW Andrea Calì, Diego Calvanese, Davide Martinenghi
2007	—	`ed.`	Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007 Description Logics Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, Sergio Tessaris
2007	—	`conf`	Query Answering in Expressive Variants of DL-Lite. SEBD Alessandro Artale, Diego Calvanese, Roman Kontchakov, Michael Zakharyaschev
2007	A	`conf`	Reasoning over Extended ER Models. ER Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev
2007	J	`jnl`	Tractable Reasoning and Efficient Query Answering in Description Logics: The J. Autom. Reason. Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2007	J	`jnl`	View-based query processing: On the relationship between rewriting, answering and losslessness. Theor. Comput. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2006	A*	`conf`	Characterizing Data Complexity for Conjunctive Query Answering in Expressive Description Logics. AAAI Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2006	A	`conf`	ComposingWeb Services with Nondeterministic Behavior. ICWS Daniela Berardi, Giuseppe De Giacomo, Massimo Mecella, Diego Calvanese
2006	—	`conf`	Containment of Conjunctive Queries under Access Limitations. SEBD Andrea Calì, Diego Calvanese
2006	—	`conf`	Data Complexity of Answering Unions of Conjunctive Queries in Description Logics Magdalena Ortiz, Diego Calvanese, Thomas Eiter
2006	A*	`conf`	Data Complexity of Query Answering in Description Logics. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006	J	`jnl`	Enterprise modeling and Data Warehousing in Telecom Italia. Inf. Syst. Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, Stefano Trisolini
2006	—	`conf`	Epistemic First-order Queries over Description Logic Knowledge Bases. Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2006	—	`conf`	Linking Data to Ontologies: The Description Logic DL-Lite_A. OWLED Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati
2006	B	`conf`	Multilingual Search in Libraries. The case-study of the Free University of Bozen-Bolzano. LREC Raffaella Bernardi, Diego Calvanese, Luca Dini, Vittorio Di Tomaso, Elisabeth Frasnelli, Ulrike Kugler, Barbara Plank
2006	J	`jnl`	Ontologies and Description Logics. Intelligenza Artificiale Diego Calvanese, Nicola Guarino
2006	—	`conf`	Optimising Query Answering in the Presence of Access Limitations (Position Paper). DEXA Workshops Andrea Calì, Diego Calvanese
2005	A*	`conf`	Automatic Composition of Transition-based Semantic Web Services with Messaging. VLDB Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
2005	—	`conf`	Automatic Composition of Web Services in Colombo. SEBD Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Massimo Mecella
2005	J	`jnl`	Automatic Service Composition Based on Behavioral Descriptions. Int. J. Cooperative Inf. Syst. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2005	A	`conf`	Composition of Services with Nondeterministic Observable Behavior. ICSOC Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella
2005	J	`jnl`	Conjunctive Query Containment and Answering under Description Logics Constraints CoRR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2005	A*	`conf`	DL-Lite: Tractable Description Logics for Ontologies. AAAI Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	Data Complexity of Query Answering in Description Logics. Description Logics Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	J	`jnl`	Data Integration: A Logic-Based Perspective. AI Mag. Diego Calvanese, Giuseppe De Giacomo
2005	J	`jnl`	Data complexity of answering conjunctive queries over SHIQ knowledge bases CoRR Magdalena Ortiz, Diego Calvanese, Thomas Eiter, Enrico Franconi
2005	J	`jnl`	Decidable containment of recursive queries. Theor. Comput. Sci. Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
2005	—	`conf`	Efficiently Managing Data Intensive Ontologies. SWAP Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	Inconsistency Tolerance in P2P Data Integration: An Epistemic Logic Approach. DBPL Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2005	—	`conf`	Modeling Data & Processes for Service Specifications in Colombo. EMOI-INTEROP Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Richard Hull, Maurizio Lenzerini, Massimo Mecella
2005	—	`ed.`	Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, SEBD 2005, Brixen-Bressanone (near Bozen-Bolzano), Italy, June 19-22, 2005 SEBD Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, Letizia Tanca
2005	A*	`conf`	QuOnto: Querying Ontologies. AAAI Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, Riccardo Rosati
2005	B	`conf`	Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach. TABLEAUX Diego Calvanese
2005	J	`jnl`	Reasoning on UML class diagrams. Artif. Intell. Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
2005	A	`conf`	View-Based Query Processing: On the Relationship Between Rewriting, Answering and Losslessness. ICDT Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2004	—	`conf`	: A Tool for Automatic Composition ofServices Based on Logics of Programs. TES Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2004	—	`conf`	A Description Logic Based Approach for Matching User Profiles. Description Logics Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
2004	B	`conf`	A Logic-Based Approach for Matching User Profiles. KES Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, Francesco M. Donini
2004	—	`conf`	DL-Lite: Practical Reasoning for Rich Dls. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
2004	J	`jnl`	Data integration under integrity constraints. Inf. Syst. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2004	—	`conf`	Hyper: A Framework for Peer-to-Peer Data Integration on Grids. ICSNW Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, Guido Vetere
2004	A*	`conf`	Logical Foundations of Peer-To-Peer Data Integration. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2004	—	`conf`	Query Reformulation over Ontology-based Peers. SEBD Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2004	A	`conf`	Synthesis of underspecified composite ICSOC Daniela Berardi, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, Diego Calvanese
2004	—	`conf`	Towards Implementing Finite Model Reasoning in Description Logics. Description Logics Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo
2004	A*	`conf`	What to Ask to a Peer: Ontolgoy-based Query Reformulation. KR Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati
2003	—	`conf`	A Foundational Vision of e-Services. WES Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2003	—	`conf`	Anwering Recursive Queries under Keys and Foreign Keys is Undecidable. KRDB Diego Calvanese, Riccardo Rosati
2003	A	`conf`	Automatic Composition of E-services That Export Their Behavior. ICSOC Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2003	—	`conf`	Data Integration in Data Warehousing (Keynote Address). CAiSE Workshops Diego Calvanese
2003	A	`conf`	Decidable Containment of Recursive Queries. ICDT Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
2003	—	`ch.`	Expressive Description Logics. Description Logic Handbook Diego Calvanese, Giuseppe De Giacomo
2003	A	`conf`	IBIS: Semantic Data Integration at Work. CAiSE Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola
2003	—	`ed.`	Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003 Description Logics Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi
2003	—	`conf`	Query Containment Using Views. SEBD Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2003	—	`conf`	Reasoning on UML Class Diagrams is EXPTIME-hard. Description Logics Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo
2003	J	`jnl`	Reasoning on regular path queries. SIGMOD Rec. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2003	—	`ch.`	Relationships with other Formalisms. Description Logic Handbook Ulrike Sattler, Diego Calvanese, Ralf Molitor
2003	—	`conf`	Semantic Data Integration in P2P Systems. DBISP2P Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati
2003	—	`book`	The Description Logic Handbook: Theory, Implementation, and Applications Description Logic Handbook Franz Baader, Diego Calvanese, Deborah L. McGuinness, Daniele Nardi, Peter F. Patel-Schneider
2003	J	`jnl`	Toward a new landscape of systems management in an autonomic computing environment. IBM Syst. J. Giovanni Lanfranchi, Pietro Della Peruta, Antonio Perrone, Diego Calvanese
2003	—	`conf`	View-based Query Processing for Semistructured Data. KRDB Diego Calvanese
2003	A*	`conf`	View-based query containment. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2003	—	`conf`	e-Service Composition by Description Logics Based Reasoning. Description Logics Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella
2002	—	`conf`	2ATAs make DLs easy. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	C	`conf`	A Formal Framework for Reasoning on UML Class Diagrams. ISMIS Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	—	`conf`	Accessing Data Integration Systems through Conceptual Schemas. SEBD Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	A	`conf`	Data Integration under Integrity Constraints. CAiSE Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	A	`ed.`	Database Theory - ICDT 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings ICDT Diego Calvanese, Maurizio Lenzerini, Rajeev Motwani
2002	—	`conf`	Description Logics for Information Integration. Computational Logic: Logic Programming and Beyond Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	A*	`conf`	Description Logics: Foundations for Class-based Knowledge Representation. LICS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	—	`conf`	IBIS: Data Integration at Work. SEBD Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, Fabio Vernacotola
2002	A*	`conf`	Lossless Regular Views. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2002	A	`conf`	On the Expressive Power of Data Integration Systems. ER Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	J	`jnl`	On the Role of Integrity Constraints in Data Integration. IEEE Data Eng. Bull. Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2002	—	`conf`	Optimized Querying of Integrated Data over the Web. Engineering Information Systems in the Internet Context Andrea Calì, Diego Calvanese
2002	—	`ed.`	Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002 Alexander Borgida, Diego Calvanese, Laurence Cholvy, Marie-Christine Rousset
2002	A*	`conf`	Reasoning about Actions and Planning in LTL Action Theories. KR Diego Calvanese, Giuseppe De Giacomo, Moshe Y. Vardi
2002	J	`jnl`	Rewriting of Regular Expressions and Regular Path Queries. J. Comput. Syst. Sci. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2002	C	`conf`	The multilingual thesaurus of LAURIN. SEKE Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, Giuseppe Santucci
2001	—	`conf`	A Framework for Ontology Integration. SWWS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	—	`conf`	A Framework for Ontology Integration. The Emerging Semantic Web Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	A	`conf`	Accessing Data Integration Systems through Conceptual Schemas. ER Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	J	`jnl`	Data Integration in Data Warehousing. Int. J. Cooperative Inf. Syst. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
2001	A*	`conf`	Identification Constraints and Functional Dependencies in Description Logics. IJCAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	J	`jnl`	LAURIN: A Distributed Digital Library of Newspaper Clippings. World Wide Web Diego Calvanese, Tiziana Catarci, Giuseppe Santucci
2001	—	`conf`	Ontology of Integration and Integration of Ontologies. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2001	—	`conf`	Optimizing Query Planning with Limited Source Capabilities in the Presence of Inclusion and Functional Dependencies. SEBD Andrea Calì, Diego Calvanese
2001	—	`ch.`	Reasoning in Expressive Description Logics. Handbook of Automated Reasoning Diego Calvanese, Giuseppe De Giacomo, Daniele Nardi, Maurizio Lenzerini
2001	—	`conf`	Towards a Comprehensive Methodological Framework for Integration. KRDB Diego Calvanese, Silvana Castano, Francesco Guerra, Domenico Lembo, Michele Melchiori, Giorgio Terracina, Domenico Ursino, Maurizio Vincini
2001	—	`conf`	View-Based Query Answering and Query Containment over Semistructured Data. DBPL Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	Answering Queries Using Views over Description Logics Knowledge Bases. AAAI/IAAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2000	A*	`conf`	Answering Regular Path Queries Using Views. ICDE Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	Building a Digital Library of Newspaper Clippings: The Laurin Project. ADL Diego Calvanese, Tiziana Catarci, Giuseppe Santucci
2000	—	`conf`	Concept Based Design of Data Warehouses: The DWQ Demonstrators. SIGMOD Conference Matthias Jarke, Christoph Quix, Diego Calvanese, Maurizio Lenzerini, Enrico Franconi, Spyros Ligoudistianos, Panos Vassiliadis, Yannis Vassiliou
2000	A*	`conf`	Containment of Conjunctive Regular Path Queries with Inverse. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	Keys for Free in Description Logics. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
2000	—	`conf`	LAURIN: A Distributed Digital Library of Newspaper Clippings. Kyoto International Conference on Digital Libraries Diego Calvanese, Tiziana Catarci, Giuseppe Santucci
2000	—	`conf`	Local constraint in semistructured data schemas. SEBD Andrea Calì, Diego Calvanese, Maurizio Lenzerini
2000	—	`conf`	Semistructured data schemas with expressive constraints. KRDB Andrea Calì, Diego Calvanese, Maurizio Lenzerini
2000	A*	`conf`	View-Based Query Processing and Constraint Satisfaction. LICS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	A*	`conf`	View-Based Query Processing for Regular Path Queries with Inverse. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	What is Query Rewriting? CIA Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
2000	—	`conf`	What is View-Based Query Rewriting? KRDB Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1999	—	`conf`	A Principled Approach to Data Integration and Reconciliation in Data Warehousing. DMDW Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1999	—	`conf`	Answering Queries Using Views in Description Logics. KRDB Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	J	`jnl`	Data Integration and Reconciliation in data Warehousing: Conceptual Modeling and Reasoning Support. Netw. Inf. Syst. J. Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
1999	J	`jnl`	Modeling and Querying Semi-Structured data . Netw. Inf. Syst. J. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	A	`conf`	Queries and Constraints on Semi-structured Data. CAiSE Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	—	`conf`	Query Answering Using Views for Data Integration over the Web. WebDB (Informal Proceedings) Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1999	A*	`conf`	Reasoning in Expressive Description Logics with Fixpoints based on Automata on Infinite Trees. IJCAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	J	`jnl`	Representing and Reasoning on XML Documents: A Description Logic Approach. J. Log. Comput. Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1999	A*	`conf`	Rewriting of Regular Expressions and Regular Path Queries. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1999	—	`conf`	Rewriting of Regular Path Queries. SEBD Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Moshe Y. Vardi
1999	J	`jnl`	Unifying Class-Based Representation Formalisms. J. Artif. Intell. Res. Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
1998	—	`conf`	A Note on Encoding Inverse Roles and Functional Restrictions in ALC Knowledge Bases. Description Logics Diego Calvanese, Giuseppe De Giacomo, Riccardo Rosati
1998	A*	`conf`	Description Logic Framework for Information Integration. KR Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998	—	`conf`	Description Logics for Conceptual Data Modeling. Logics for Databases and Information Systems Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
1998	—	`conf`	Extending Semi-Structured Data. SEBD Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1998	B	`conf`	Information Integration: Conceptual Modeling and Reasoning Support. CoopIS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998	A*	`conf`	On the Decidability of Query Containment under Constraints. PODS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1998	—	`conf`	Semi-structured Data with Constraints and Incomplete Information. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1998	—	`conf`	Source Integration in Data Warehousing. DEXA Workshop Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati
1998	—	`conf`	What can Knowledge Representation do for Semi-Structured Data? AAAI/IAAI Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1997	—	`conf`	Conjunctive Query Containment in Description Logics with n-ary Relations. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1997	C	`conf`	Representing and Reasoning on SGML Documents. ISMIS Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1996	—	`conf`	Finite Model Reasoning in Description Logics. Description Logics Diego Calvanese
1996	A*	`conf`	Finite Model Reasoning in Description Logics. KR Diego Calvanese
1996	A	`conf`	Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity. ECAI Diego Calvanese
1996	—	`conf`	Representing SGML Documents in Description Logics. Description Logics Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1995	—	`conf`	Increasing the Power of Structured Objects. KRDB Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1995	—	`conf`	Structured Objects: Modeling and Reasoning. DOOD Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini
1994	A*	`conf`	A Unified Framework for Class-Based Representation Formalisms. KR Diego Calvanese, Maurizio Lenzerini, Daniele Nardi
1994	A*	`conf`	Making Object-Oriented Schemas More Expressive. PODS Diego Calvanese, Maurizio Lenzerini
1994	A*	`conf`	On the Interaction Between ISA and Cardinality Constraints. ICDE Diego Calvanese, Maurizio Lenzerini