Diego Calvanese's Publications (by year)


2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994
The same list sorted by topic.

2024


A systematic overview of data federation systems
Zhenzhen Gu, Francesco Corcoglioniti, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, and Diego Calvanese.
Semantic Web J., 15(1):107--165, 2024. [url]

2023


Conceptually-grounded mapping patterns for Virtual Knowledge Graphs
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga.
Data and Knowledge Engineering, 145:102157, 2023. [pdf]

The biggest business process management problems to solve before we die
Iris Beerepoota, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoit Depaire, Gemma Di Federico, Marlon Dumas, Christopher van Dun, Tobias Fehrer, Dominik A. Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo Lopez, 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, and Francesca Zerbato.
Computers in Industry, 146(103837), 2023. [pdf]

AI-augmented business process management systems: A research manifesto
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, and Ingo Weber.
ACM Trans. on Management Information Systems, 14(1):11:1--11:19, 2023. [pdf]

An ontology-based framework for geospatial integration and querying of raster data cube using virtual knowledge graphs
Younes Hamdani, Guohui Xiao, Linfang Ding, and Diego Calvanese.
Int. J. of Geo-Information, 12(9):375, 2023. [pdf] [url]

An intelligent telemonitoring application for coronavirus patients: reCOVeryaID
Daniela D'Auria, Raffaele Russo, Alfonso Fedele, Federica Addabbo, and Diego Calvanese.
Frontiers in Big Data, 6:1205766, 2023. [pdf] [url]

Extracting event data from document-driven enterprise systems
Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, and Marco Montali.
In Proc. of the 35th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2023), volume 13901 of Lecture Notes in Computer Science, pages 193--209. Springer, 2023. [pdf] [url]

SMT safety verification of ontology-based processes
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, and Marco Montali.
In Proc. of the 37th AAAI Conf. on Artificial Intelligence (AAAI 2023), pages 6271--6279. AAAI Press, 2023. [pdf]

What do users think about abstractions of ontology-driven conceptual models?
Elena Romanenko, Diego Calvanese, and Giancarlo Guizzardi.
In Proc. of the 17th Int. Conf. on Research Challenges in Information Science (RCIS 2023), volume 476 of Lecture Notes in Business Information Processing, pages 53--68. Springer, 2023. [pdf] [url]

Towards techniques for updating Virtual Knowledge Graphs
Romuald Esdras Wandji, Mantas Simkus, and Diego Calvanese.
In Proc. of the 17th Int. Rule Challenge and 7th Doctoral Consortium at RuleML+RR 2023, volume 3485 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2023. [pdf] [url]

Semantic querying of integrated raster and relational data: A Virtual Knowledge Graph approach
Arka Ghosh, Mantas Simkus, and Diego Calvanese.
In Proc. of the 17th Int. Rule Challenge and 7th Doctoral Consortium at RuleML+RR 2023, volume 3485 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2023. [pdf] [url]

Ontology-based data federation -- A framework proposal
Zhenzhen Gu, Diego Calvanese, Marco Di Panfilo, Davide Lanti, Alessandro Mosca, and Guohui Xiao.
In Proc. of the 31st Symp. on Advanced Database Systems (SEBD 2023), volume 3478 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 210--219. CEUR-WS.org, 2023. [pdf] [url]

Exploration of medieval manuscripts through keyword spotting in the MENS project
Hubert Alisade, Diego Calvanese, Mario Klarer, Alessandro Mosca, Nonyelum Ndefo, Bernadette Rangger, and Aaron Tratter.
In Proc. of the 22nd Int. Conf. of the Italian Association for Artificial Intelligence (AIxIA 2023) -- Discussion Papers, CEUR Workshop Proceedings, https://ceur-ws.org/, pages 210--219. CEUR-WS.org, 2023. [pdf]

On the way to temporal OBDA systems
Diego Calvanese, Cem Okulmus, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 15th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2023), volume 3409 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2023. [pdf] [url]

Direct mappings under the lens of information capacity (extended abstract)
Davide Lanti, Alessandro Mosca, Diego Calvanese, and Marco Montali.
In Proc. of the 36th Int. Workshop on Description Logics (DL 2023), volume 3515 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2023. [pdf] [url]

Querying CityGML data through Virtual Knowledge Graphs
Linfang Ding, Guohui Xiao, Albulen Pano, Hongchao Fan, Diego Calvanese, and Liqiu Meng.
Abstracts of the Int. Cartographic Association, 6(53), 2023. [pdf] [url]

Towards semantics for abstractions in ontology-driven conceptual modeling
Elena Romanenko, Oliver Kutz, Diego Calvanese, and Giancarlo Guizzardi.
In Proc. of the ER 2023 Workshops -- 9th Int. Workshop on Ontologies and Conceptual Modeling (OntoCom 2023), volume 14319 of Lecture Notes in Computer Science, pages 199--209. Springer, 2023. [pdf] [url]

Künstliche Intelligenz - Was ist das?
Diego Calvanese.
Zum Lesen - Fachzeitschrift für Südtiroler Bibliotheken, 27(2):21--22, 2023. In German. [pdf]

Proc. of the 31st Symp. on Advanced Database Systems (SEBD 2023)
Diego Calvanese, Claudia Diamantini, Guglielmo Faggioli, Nicola Ferro, Stefano Marchesin, Gianmaria Silvello, and Letizia Tanca, editors.
Volume 3478 of CEUR Workshop Proceedings, https://ceur-ws.org/ CEUR-WS.org 2023. [url]

2022


Augmented business process management systems: A research manifesto
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, and Ingo Weber.
CoRR Technical Report arXiv:2201.12855, arXiv.org e-Print archive, 2021. Available at https://arxiv.org/abs/2201.12855. [pdf] [url]

Combination of uniform interpolants via Beth definability
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
J. of Automated Reasoning, 66(3):409--435, 2022. [pdf]

Gene expression landscape of Chronic Myeloid Leukemia K562 cells overexpressing the tumor suppressor gene PTPRG
Giulia Lombardi, Roberta Valeria Latorre, Alessandro Mosca, Diego Calvanese, Luisa Tomasello, Christian Boni, Manuela Ferracin, Massimo Negrini, Nader Al Dewik, Mohamed Yassin, Mohamed A. Ismail, Bruno Carpentieri, Claudio Sorio, and Paola Lecca.
Int. J. of Molecular Sciences, 23(17):9899, 2022. [pdf]

Towards pragmatic explanations for domain ontologies
Elena Romanenko, Diego Calvanese, and Giancarlo Guizzardi.
In Proc. of the 23rd Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2022), volume 13514 of Lecture Notes in Artificial Intelligence, pages 201--208. Springer, 2022. [pdf] [url]

Verification and monitoring for First-Order LTL with persistence-preserving quantification over finite and infinite traces
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi.
In Proc. of the 31st Int. Joint Conf. on Artificial Intelligence (IJCAI 2022), pages 2553--2560. IJCAI Org., 2022. [pdf] [url]

Ontology-based data federation
Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, and Diego Calvanese.
In Proc. of the 11th Int. Joint Conf. on Knowledge Graphs (IJCKG 2022), pages 10--19. ACM, 2022. [pdf]

Conceptually-grounded mapping patterns for virtual knowledge graphs (discussion paper)
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga.
In Proc. of the 30th Symp. on Advanced Database Systems (SEBD 2022), volume 3194 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 85--92. CEUR-WS.org, 2022. [pdf] [url]

Abstracting ontology-driven conceptual models: Objects, aspects, events, and their parts
Elena Romanenko, Diego Calvanese, and Giancarlo Guizzardi.
In Proc. of the 16th Int. Conf. on Research Challenges in Information Science (RCIS 2022), volume 446 of Lecture Notes in Business Information Processing, pages 372--388. Springer, 2022. [pdf] [url]

Ontology-based data federation (extended abstract)
Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, and Diego Calvanese.
In Proc. of the 35th Int. Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2022. [pdf] [url]

Extraction of object-centric event logs through virtual knowledge graphs (extended abstract)
Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, and Diego Calvanese.
In Proc. of the 35th Int. Workshop on Description Logics (DL 2022), volume 3263 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2022. [pdf] [url]

Verification of generic, relational transition systems
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi.
In Proc. of the IJCAI 2022 Int. Workshop on Process Management in the AI era (PMAI@IJCAI 2022), volume 3310 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 93--96. CEUR-WS.org, 2022. [pdf] [url]

A Virtual Knowledge Graph based approach for object-centric event logs extraction
Jing Xiong, Guohui Xiao, Tahir Emre Kalyci, Marco Montali, Zhenzhen Gu, and Diego Calvanese.
In Revised Selected Papers of the Process Mining Workshops (ISPM-WS 2022), volume 468 of Lecture Notes in Business Information Processing, pages 466--478. Springer, 2022. [pdf] [url]

Combination of quantifier-free uniform interpolants using Beth definability (Abridged version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
In Proc. of the 10th Int. Conf. on Topology, Algebra and Categories in Logic (TACL 2022), 2022. [pdf] [url]

Building virtual knowledge graphs from CityGML data
Linfang Ding, Guohui Xiao, Hongchao Fan, Diego Calvanese, and Liqiu Meng.
In Proc. of the 17th Int. Conf. on Location Based Services (LBS 2022), pages 136--139, 2022. [pdf]

Semantic technologies in the public administration: Data and process management at unibz
Diego Calvanese, Francesco Corcoglioniti, Julien Corman, Davide Lanti, Marco Montali, Alessandro Mosca, Nicolas Troquard, and Guohui Xiao.
In Atti del Secondo Convegno Nazionale CINI sull'Intelligenza Artificiale (ItalIA 2022) -- Workshop IA per la Pubblica Amministrazione, 2022. [pdf]

AI for industry at the Computer Science Faculty of the Free University of Bozen-Bolzano
Diego Calvanese, Paolo Felli, Fabrizio Maria Maggi, and Marco Montali.
In Atti del Secondo Convegno Nazionale CINI sull'Intelligenza Artificiale (ItalIA 2022) -- Workshop IA per l'Industria, 2022. [pdf]

AI's many roads to a more sustainable future: Sustainable AI at unibz
Alessandro Artale, Diego Calvanese, Roberto Confalonieri, Francesco Corcoglioniti, Julien Corman, Johann Gamper, Oliver Kutz, Davide Lanti, Antonio Liotta, David Massimo, Alessandro Mosca, Youssouf Oualhadj, Francesco Ricci, Nicolas Troquard, and Markus Zanker.
In Atti del Secondo Convegno Nazionale CINI sull'Intelligenza Artificiale (ItalIA 2022) -- Workshop IA per la Sostenibilità, 2022. [pdf]

Proc. of the 6th Int. Joint Conf. on Web and Big Data (APWeb-WAIM 2022), Part 1
Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, and Toshiyuki Amagasa, editors.
Volume 13421 of Lecture Notes in Computer Science Springer 2023.

Proc. of the 6th Int. Joint Conf. on Web and Big Data (APWeb-WAIM 2022), Part 2
Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, and Toshiyuki Amagasa, editors.
Volume 13422 of Lecture Notes in Computer Science Springer 2023.

Proc. of the 6th Int. Joint Conf. on Web and Big Data (APWeb-WAIM 2022), Part 3
Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, and Toshiyuki Amagasa, editors.
Volume 13423 of Lecture Notes in Computer Science Springer 2023.

Proc. of the 11th Int. Joint Conf. on Knowledge Graphs (IJCKG 2022)
Alessandro Artale, Diego Calvanese, Haofen Wang, and Xiaowang Zhang, editors.
ACM 2022.

2021


Consistency assessment for open geodata integration: An ontology-based approach
Linfang Ding, Guohui Xiao, Diego Calvanese, and Liqiu Meng.
GeoInformatica, 25(4):733--758, 2021. [pdf] [url]

Model completeness, uniform interpolants and superposition calculus (With applications to verification of data-aware processes)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
J. of Automated Reasoning, 65(7):941--969, 2021. [pdf]

Towards the next generation of the LinkedGeoData project using virtual knowledge graphs
Linfang Ding, Guohui Xiao, Albulen Pano, Claus Stadler, and Diego Calvanese.
J. of Web Semantics, 71:100662, 2021. [pdf]

Accessing scientific data through knowledge graphs with Ontop
Diego Calvanese, Davide Lanti, Tarcisio Mendes de Farias, Alessandro Mosca, and Guohui Xiao.
Patterns, 2:1--10, 2021. [pdf] [url]

INODE: Building an end-to-end data exploration system in practice
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, and Kurt Stockinger.
SIGMOD Record, 50(4):23--29, 2021. [pdf]

Realizing ontology-based reusable interfaces for data access via virtual knowledge graphs
Diego Calvanese, Linfang Ding, Alessandro Mosca, and Guohui Xiao.
In Proc. of the 14th Biannual Conference of the Italian SIGCHI Chapter (CHItaly 2021). ACM, 2021. [pdf]

ADaMaP: Automatic alignment of relational data sources using mapping patterns
Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga.
In Proc. of the 33rd Int. Conf. on Advanced Information Systems Engineering (CAiSE 2021), volume 12751 of Lecture Notes in Computer Science, pages 193--209. Springer, 2021. [pdf] [url]

ADaMaP: Automatic alignment of relational data sources using mapping patterns (Abstract)
Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga.
In Proc. of the 34th Int. Workshop on Description Logics (DL 2021), volume 2954 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2021. [pdf] [url]

SMT-Based safety verification of data-aware processes under ontologies (Preliminary results)
Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, and Marco Montali.
In Proc. of the 34th Int. Workshop on Description Logics (DL 2021), volume 2954 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2021. [pdf] [url]

Process mining with common sense
Diego Calvanese, Sanja Lukumbuzya, Marco Montali, and Mantas Simkus.
In Proc. of the Int. Workshop on BPM Problems to Solve Before We Die (PROBLEMS 2021), volume 2938 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 45--50. CEUR-WS.org, 2021. [pdf] [url]

Editorial for special issue of Journal of Big Data Research on "Big data meets knowledge graphs"
Xin Wang and Diego Calvanese.
Big Data Research, 25:100215, 2021. [pdf] [url]

2020


SMT-based verification of data-aware processes: A model-theoretic approach
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
Mathematical Structures in Computer Science, 30(3):271--313, 2020. [pdf]

A framework uniting ontology-based geodata integration and geovisual analytics
Linfang Ding, Guohui Xiao, Diego Calvanese, and Liqiu Meng.
Int. J. of Geo-Information, 9(8), 2020. [pdf]

The virtual knowledge graph system Ontop
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel-Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, and Elena Botoeva.
In Proc. of the 19th Int. Semantic Web Conf. (ISWC 2020), volume 12507 of Lecture Notes in Computer Science, pages 259--277. Springer, 2020. [pdf] [url]

Semantic integration of Bosch manufacturing data using virtual knowledge graphs
Elem Güzel Kalayci, Irlan Grangel González, Felix Lösch, Guohui Xiao, Anees ul Mehdi, Evgeny Kharlamov, and Diego Calvanese.
In Proc. of the 19th Int. Semantic Web Conf. (ISWC 2020), volume 12507 of Lecture Notes in Computer Science, pages 464--481. Springer, 2020. [pdf] [url]

Serving Bosch production data as virtual KGs
Elem Guzel Kalayci, Irlán Grangel-González, Felix Loesch, Guohui Xiao, Anees Mehdi, Evgeny Kharlamov, and Diego Calvanese.
In Proc. of the 19th Int. Semantic Web Conf., Demos & Industry Track (ISWC 2020 DI), volume 2721 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 354--358. CEUR-WS.org, 2020. [pdf] [url]

Rewriting count queries over DL-Lite TBoxes with number restrictions
Diego Calvanese, Julien Corman, Davide Lanti, and Simon Razniewski.
In Proc. of the 33rd Int. Workshop on Description Logics (DL 2020), volume 2663 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2020. [pdf] [url]

Mapping patterns for virtual knowledge graphs (A report on ongoing research)
Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, and Roee Shraga.
In Proc. of the 33rd Int. Workshop on Description Logics (DL 2020), volume 2663 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2020. [pdf] [url]

The virtual knowledge graph system Ontop (Extended abstract)
Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel-Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, and Elena Botoeva.
In Proc. of the 33rd Int. Workshop on Description Logics (DL 2020), volume 2663 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2020. [pdf] [url]

Counting query answers over a DL-Lite knowledge base
Diego Calvanese, Julien Corman, Davide Lanti, and Simon Razniewski.
In Proc. of the 29th Int. Joint Conf. on Artificial Intelligence (IJCAI 2020), pages 1658--1666. IJCAI Org., 2020. [pdf] [url]

Combined covers and Beth definability
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
In Proc. of the 10th Int. Joint Conf. on Automated Reasoning (IJCAR 2020), volume 12166 of Lecture Notes in Computer Science, pages 181--200. Springer, 2020. [pdf]

Interview with Diego Calvanese
Diego Calvanese and Mantas Simkus.
Künstliche Intelligenz, 34(3):551--555, 2020. [pdf] [url]

Proc. of the 17th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2020)
Diego Calvanese, Esra Erdem, and Michael Thielscher, editors.
IJCAI Org. 2020. [url]

Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019)
Diego Calvanese, Paul Fodor, and Marco Montali.
ACM SIGLOG News, 7(2):16--18, 2020. [pdf] [url]

Counting query answers over a DL-Lite knowledge base (Extended version)
Diego Calvanese, Julien Corman, Davide Lanti, and Simon Razniewski.
CoRR Technical Report arXiv:2005.05886, arXiv.org e-Print archive, 2020. Available at https://arxiv.org/abs/2005.05886. [pdf] [url]

2019


On expansion and contraction of DL-Lite knowledge bases
Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, and Diego Calvanese.
J. of Web Semantics, 57:1--19, 2019. [pdf] [url]

VIG: Data scaling for OBDA benchmarks
Davide Lanti, Guohui Xiao, and Diego Calvanese.
Semantic Web J., 10(2):413--433, 2019. [pdf] [url]

Ontology-based access to temporal data with Ontop: A framework proposal
Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev.
Applied Mathematics and Computer Science, 29(1):17--30, 2019. [pdf] [url]

Semantic DMN: Formalizing and reasoning about decisions in the presence of background knowledge
Diego Calvanese, Marco Montali, Marlon Dumas, and Fabrizio M. Maggi.
Theory and Practice of Logic Programming, 19(4):536--573, 2019. [pdf] [url]

Virtual Knowledge Graphs: An overview of systems and use cases
Guohui Xiao, Linfang Ding, Benjamin Cogrel, and Diego Calvanese.
Data Intelligence, 1(3):201--223, 2019. [pdf] [url]

Ontology-based data access -- Beyond relational sources
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, and Guohui Xiao.
Intelligenza Artificiale, 13(1):21--36, 2019. [pdf] [url]

Evolution of OWL 2 QL knowledge bases: From inexpressibility to practical approaches
Evgeny Kharlamov, Dmitriy Zheleznyakov, Werner Nutt, and Diego Calvanese.
In Proc. of the 18th Int. Semantic Web Conf., Journal Track (ISWC 2019), volume 2576 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2019. [pdf] [url]

Representing and querying norm states using temporal ontology-based data access
Evellin Cardoso, Marco Montali, and Diego Calvanese.
In Proc. of the 23rd IEEE Int. Enterprise Distributed Object Computing Conf. (EDOC 2019), pages 122--131. IEEE Computer Society Press, 2019. Best paper award. [pdf] [url]

Two-dimensional rule language for querying sensor log data: A framework and use cases
Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev.
In Proc. of the 26th Int. Symp. on Temporal Representation and Reasoning (TIME 2019), volume 147 of Leibniz International Proceedings in Informatics (LIPIcs), pages 7:1--7:15, Dagstuhl, Germany, 2019. Schloss Dagstuhl--Leibniz-Zentrum für Informatik. [pdf] [url]

Formal modeling and SMT-based parameterized verification of data-aware BPMN
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
In Proc. of the 17th Int. Conf. on Business Process Management (BPM 2019), volume 11675 of Lecture Notes in Computer Science, pages 157--175. Springer, 2019. [pdf]

Model completeness, covers and superposition
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
In Proc. of the 27th Int. Conf. on Automated Deduction (CADE 2019), volume 11716 of Lecture Notes in Computer Science, pages 142--160. Springer, 2019. [pdf]

Verification of data-aware processes: Challenges and opportunities for automated reasoning
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
In Proc. of the 2nd Int. Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019), volume 311 of Electronic Proceedings in Theoretical Computer Science, pages 53--58, 2019. [pdf] [url]

Enriching ontology-based data access with provenance
Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, and Guohui Xiao.
In Proc. of the 28th Int. Joint Conf. on Artificial Intelligence (IJCAI 2019), pages 1616--1623. IJCAI Org., 2019. [pdf] [url]

Modeling and in-database management of relational, data-aware processes
Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin.
In Proc. of the 31st Int. Conf. on Advanced Information Systems Engineering (CAiSE 2019), volume 11483 of Lecture Notes in Computer Science, pages 328--345. Springer, 2019. [pdf]

The What-To-Ask problem for ontology-based peers
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Description Logic, Theory Combination, and All That -- Essays Dedicated to Franz Baader on the Occasion of his 60th Birthday, volume 11560 of Lecture Notes in Computer Science, pages 187--211. Springer, 2019. [pdf]

From model completeness to verification of data aware processes
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
In Description Logic, Theory Combination, and All That -- Essays Dedicated to Franz Baader on the Occasion of his 60th Birthday, volume 11560 of Lecture Notes in Computer Science, pages 212--239. Springer, 2019. [pdf]

Enriching data models with behavioral constraints
Alessandro Artale, Diego Calvanese, Marco Montali, and Wil M. P. van der Aalst.
In Ontology Makes Sense -- Essays in honor of Nicola Guarino, volume 316 of Frontiers in Artificial Intelligence and Applications, pages 257--277. IOS Press, 2019. [pdf]

Proc. of the 3rd Int. Joint Conf. on Rules and Reasoning (RuleML+RR 2019)
Paul Fodor, Marco Montali, Diego Calvanese, and Dimitru Roman, editors.
Volume 11784 of Lecture Notes in Computer Science Springer 2019. [url]

Proc. of the 5th Global Conf. on Artificial Intelligence (GCAI 2019)
Diego Calvanese and Luca Iocchi, editors.
Volume 65 of EasyChair Proceedings and Collections EasyChair 2019. [url]

Formal modeling and SMT-based parameterized verification of data-aware BPMN (Extended version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
CoRR Technical Report arXiv:1906.07811, arXiv.org e-Print archive, 2019. Available at https://arxiv.org/abs/1906.07811. [pdf] [url]

Formal modeling and SMT-based parameterized verification of multi-case data-aware BPMN
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
CoRR Technical Report arXiv:1905.12991, arXiv.org e-Print archive, 2019. Available at https://arxiv.org/abs/1905.12991. [pdf] [url]

2018


Semantics, analysis and simplification of DMN decision tables
Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio M. Maggi, Marco Montali, and Irene Teinemaa.
Information Systems, 78:112--125, 2018. [pdf] [url]

First-order mu-calculus over generic transition systems and applications to the Situation Calculus
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi.
Information and Computation, 259(3):328--347, 2018. [pdf] [url]

Research directions for principles of data management (Dagstuhl Perspectives Workshop 16151)
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, and Ke Yi.
Dagstuhl Manifestos, 7(1):1--29, 2018. [pdf]

Conceptual schema transformation in ontology-based data access
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, and Wil van der Aalst.
In Proc. of the 21st Int. Conf. on Knowledge Engineering and Knowledge Management (EKAW 2018), volume 11313 of Lecture Notes in Computer Science, pages 50--67. Springer, 2018. [pdf]

Conceptual schema transformation in ontology-based data access (Extended abstract)
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, and Wil van der Aalst.
In Proc. of the 31st Int. Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2018. [pdf] [url]

A generalized framework for ontology-based data access
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, and Guohui Xiao.
In Proc. of the 17th Int. Conf. of the Italian Assoc. for Artificial Intelligence (AI*IA 2018), volume 11298 of Lecture Notes in Computer Science, pages 166--180. Springer, 2018. Best paper award. [pdf]

Semantic technologies for data access and integration
Diego Calvanese and Guohui Xiao.
In Proc. of the 27th ACM Int. Conf. on Information and Knowledge Management (CIKM 2018), pages 2303--2304, 2018. [pdf] [url]

Ontop-temporal: A tool for ontology-based query answering over temporal data
Elem Güzel Kalayci, Guohui Xiao, Vladislav Ryzhikov, Tahir Emre Kalayci, and Diego Calvanese.
In Proc. of the 27th ACM Int. Conf. on Information and Knowledge Management (CIKM 2018), pages 1927--1930, 2018. [pdf] [url]

Efficient handling of SPARQL OPTIONAL for OBDA
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, and Elena Botoeva.
In Proc. of the 17th Int. Semantic Web Conf. (ISWC 2018), volume 11136 of Lecture Notes in Computer Science, pages 354--373. Springer, 2018. [pdf] [url]

Ontology-based data access: A survey
Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, and Michael Zakharyaschev.
In Proc. of the 27th Int. Joint Conf. on Artificial Intelligence (IJCAI 2018), pages 5511--5519. IJCAI Org., 2018. [pdf] [url]

Formalization and complexity of MongoDB queries (Extended abstract)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, and Guohui Xiao.
In Proc. of the 26th Symp. on Advanced Database Systems (SEBD 2018), volume 2161 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2018. [pdf] [url]

Verification of fixed-topology declarative distributed systems with external data
Diego Calvanese, Marco Montali, and Jorge Lobo.
In Proc. of the 12th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2018), volume 2100 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2018. [pdf] [url]

Efficient ontology-based data integration with canonical IRIs
Guohui Xiao, Dag Hovland, Dimitris Bilidas, Martin Rezk, Martin Giese, and Diego Calvanese.
In Proc. of the 15th Extended Semantic Web Conf. (ESWC 2018), volume 10843 of Lecture Notes in Computer Science, pages 697--713. Springer, 2018. [pdf] [url]

Expressivity and complexity of MongoDB queries
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, and Guohui Xiao.
In Proc. of the 21st Int. Conf. on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), pages 9:1--9:23, Dagstuhl, Germany, 2018. Schloss Dagstuhl--Leibniz-Zentrum für Informatik. [pdf] [url]

First-order ontology mediated database querying via query reformulation
Diego Calvanese and Enrico Franconi.
In Sergio Flesca, Sergio Greco, Elio Masciari, and Domenico Saccà, editors, A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years, volume 31 of Studies in Big Data, pages 169--185. Springer, 2018. [pdf] [url]

Efficient handling of SPARQL OPTIONAL for OBDA (Extended version)
Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, and Elena Botoeva.
CoRR Technical Report arXiv:1806.05918, arXiv.org e-Print archive, 2018. Available at https://arxiv.org/abs/1806.05918. [url]

Verification of data-aware processes via array-based systems (extended version)
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
CoRR Technical Report arXiv:1806.11459, arXiv.org e-Print archive, 2018. Available at https://arxiv.org/abs/1806.11459. [pdf] [url]

Quantifier elimination for database driven verification
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, and Andrey Rivkin.
CoRR Technical Report arXiv:1806.09686, arXiv.org e-Print archive, 2018. Available at https://arxiv.org/abs/1806.09686. [pdf] [url]

Cost-driven ontology-based data access (Extended version)
Davide Lanti, Guohui Xiao, and Diego Calvanese.
CoRR Technical Report arXiv:1707.06974, arXiv.org e-Print archive, 2018. Available at https://arxiv.org/abs/1707.06974. [pdf] [url]

2017


Ontop: Answering SPARQL queries over relational databases
Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, and Guohui Xiao.
Semantic Web J., 8(3):471--487, 2017. Semantic Web Journal outstanding paper award for 2016. [pdf] [url]

Managing change in graph-structured data using description logics
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
ACM Trans. on Computational Logic, 18(4):27:1--27:35, 2017. [pdf] [url]

Cost-driven ontology-based data access
Davide Lanti, Guohui Xiao, and Diego Calvanese.
In Proc. of the 16th Int. Semantic Web Conf. (ISWC 2017), volume 10587 of Lecture Notes in Computer Science, pages 452--470. Springer, 2017. [pdf] [url]

New trends in databases and information systems: Contributions from ADBIS 2017 workshops
Andreas Behrend, Diego Calvanese, Tania Cerquitelli, Silvia Chiusano, Christiane Engels, Stéphane Jean, Natalija Kozmina, Béatrice Markhoff, Oscar Romero, and Sahar Vahdati.
In New Trends in Databases and Information Systems -- ADBIS 2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH, DC, volume 767 of Communications in Computer and Information Science, pages 111--122. Springer, 2017. [url]

The onprom toolchain for extracting business process logs using ontology-based data access
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, and Ario Santoso.
In Proc. of the BPM Demo Track and BPM Dissertation Award, co-located with 15th Int. Conf. on Business Process Management (BPM 2017), volume 1920 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2017. [pdf] [url]

Semantic DMN: Formalizing decision models with domain knowledge
Diego Calvanese, Marlon Dumas, Fabrizio M. Maggi, and Marco Montali.
In Proc. of the 1st Int. Joint Conf. on Rules and Reasoning (RuleML+RR 2017), volume 10364 of Lecture Notes in Computer Science, pages 70--86. Springer, 2017. Best paper award. [pdf] [url]

Semantic DMN: Formalizing decision models with domain knowledge (Extended Abstract)
Diego Calvanese, Marlon Dumas, Fabrizio M. Maggi, and Marco Montali.
In Proc. of the 30th Int. Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2017. [url]

OBDA for log extraction in process mining
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, and Ario Santoso.
In Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, and Steffen Staab, editors, Reasoning Web: Semantic Interoperability on the Web -- 13th Int. Summer School Tutorial Lectures (RW 2017), volume 10370 of Lecture Notes in Computer Science, pages 292--345. Springer, 2017. [pdf] [url]

Formalizing MongoDB queries
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, and Guohui Xiao.
In Proc. of the 11th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2017), volume 1912 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2017. [pdf] [url]

Ontology-based data access for extracting event logs from legacy data: The onprom tool and methodology
Diego Calvanese, Tahir Emre Kalayci, Marco Montali, and Stefano Tinella.
In Proc. of 20th Int. Conf. on Business Information Systems (BIS 2017), volume 288 of Lecture Notes in Business Information Processing, pages 220--236. Springer, 2017. [pdf] [url]

Ontology-based data access and integration
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Ling Liu and M. Tamer Özsu, editors, Encyclopedia of Database Systems, pages 1--7. Springer, 2017. [pdf] [url]

Metric Temporal Logic for ontology-based data access over log data
Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev.
CoRR Technical Report arXiv:1701.00976, arXiv.org e-Print archive, 2017. Available at https://arxiv.org/abs/1701.00976. [pdf] [url]

Expressivity and complexity of MongoDB (Extended version)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, and Guohui Xiao.
CoRR Technical Report arXiv:1603.09291, arXiv.org e-Print archive, 2017. Available at https://arxiv.org/abs/1603.09291. [pdf] [url]

2016


Knowledge base exchange: The case of OWL 2 QL
Marcelo Arenas, Elena Botoeva, Diego Calvanese, and Vladislav Ryzhikov.
Artificial Intelligence, 238:11--62, 2016. [pdf] [url]

Soundness of data-aware, case-centric processes
Marco Montali and Diego Calvanese.
Int. J. on Software Tools for Technology Transfer, 18(5):535--558, 2016. [pdf] [url]

Ontology-based data integration in EPNet: Production and distribution of food during the Roman Empire
Diego Calvanese, Pietro Liuzzo, Alessandro Mosca, Jose Remesal, Martin Rezk, and Guillem Rull.
Engineering Applications of Artificial Intelligence, 51:212--229, 2016. [pdf]

Research directions for principles of data management (Abridged)
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, and Ke Yi.
SIGMOD Record, 45(4):5--17, 2016. [pdf] [url]

Knowledge-enriched data management
Diego Calvanese.
In Report from Dagstuhl Perspectives Workshop 16151 -- Foundations of Data Management, volume 6(4), page 47, 2016. [pdf]

A semantic approach to polystores
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, and Arild Waaler.
In Proc. of the 4th IEEE Int. Conf. on Big Data (BigData 2016), pages 2565--2573, 2016. [pdf]

Semantics and analysis of DMN decision tables
Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio M. Maggi, Marco Montali, and Irene Teinemaa.
In Proc. of the 14th Int. Conference on Business Process Management (BPM 2016), volume 9850 of Lecture Notes in Computer Science, pages 217--233. Springer, 2016. Best paper award. [pdf] [url]

Semantics and analysis of DMN decision tables
Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, and Irene Teinemaa.
CoRR Technical Report arXiv:1603.07466, arXiv.org e-Print archive, 2016. Available at https://arxiv.org/abs/1603.07466. [url]

Towards practical OBDA with temporal ontologies (Position paper)
Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, and Guohui Xiao.
In Proc. of the 10th Int. Conf. on Web Reasoning and Rule Systems (RR 2016), volume 9898 of Lecture Notes in Computer Science, pages 18--24. Springer, 2016. [pdf] [url]

Metric Temporal Logic for ontology-based data access over log data
Diego Calvanese, Elem Güzel Kalayci, Vladislav Ryzhikov, Guohui Xiao, and Michael Zakharyaschev.
In Proc. of the 2nd Int. Workshop on Ontologies and Logic Programming for Query Answering (ONTOLP 2016), pages 7--11, 2016. [pdf]

Plan synthesis for knowledge and action bases
Diego Calvanese, Marco Montali, Fabio Patrizi, and Michele Stawowy.
In Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI 2016), pages 1022--1029. AAAI Press, 2016. [pdf] [url]

Towards data- and norm-aware multiagent systems
Matteo Baldoni, Cristina Baroglio, Diego Calvanese, Roberto Micalizio, and Marco Montali.
In Revised, Selected, and Invited Papers of the 4th Int. Workshop on Engineering Multi-Agent Systems (EMAS 2016), volume 10093 of Lecture Notes in Computer Science, pages 22--38. Springer, 2016. [pdf] [url]

An evaluation of VIG with the BSBM benchmark
Davide Lanti, Guohui Xiao, and Diego Calvanese.
In Proc. of the 15th Int. Semantic Web Conf., Posters & Demonstrations Track (ISWC-2016 PD), volume 1690 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2016. [pdf] [url]

Fast and simple data scaling for OBDA benchmarks
Davide Lanti, Guohui Xiao, and Diego Calvanese.
In Proc. of the Workshop on Benchmarking Linked Data (BLINK 2016), co-located with ISWC 2016, volume 1700 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2016. [pdf] [url]

Data scaling in OBDA benchmarks: The VIG approach
Davide Lanti, Guohui Xiao, and Diego Calvanese.
CoRR Technical Report arXiv:1607.06343, arXiv.org e-Print archive, 2016. Available at https://arxiv.org/abs/1607.06343. [pdf] [url]

OBDA over non-relational databases
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, and Guohui Xiao.
In Proc. of the 10th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2016), volume 1644 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2016. [pdf] [url]

Reasoning over evolving graph-structured data under constraints
Diego Calvanese.
In Proc. of the 10th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2016), volume 1577 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2016. [url]

Handling inconsistencies due to class disjointness in SPARQL updates
Albin Ahmeti, Diego Calvanese, Axel Polleres, and Vadim Savenkov.
In Proc. of the 13th Extended Semantic Web Conf. (ESWC 2016), volume 9678 of Lecture Notes in Computer Science, pages 387--404. Springer, 2016. [pdf] [url]

On first-order mu-calculus over situation calculus action theories
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi.
In Proc. of the 15th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2016), pages 411--420. AAAI Press, 2016. [pdf] [url]

Regular open APIs
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 15th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2016), pages 329--338. AAAI Press, 2016. [pdf] [url]

OBDA beyond relational DBs: A study for MongoDB
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, and Guohui Xiao.
In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), volume 1577 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2016. [pdf] [url]

Virtual OBDA over expressive ontologies: Rewritings and approximations
Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, and Guohui Xiao.
In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), volume 1577 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2016. [pdf] [url]

Synthesizing and executing plans in knowledge and action bases
Diego Calvanese, Marco Montali, Fabio Patrizi, and Michele Stawowy.
In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), volume 1577 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2016. [pdf] [url]

Managing change in graph-structured data using description logics
Diego Calvanese.
In Proc. of the 29th Int. Workshop on Description Logics (DL 2016), volume 1577 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2016. [url]

Verification of evolving graph-structured data under expressive path constraints
Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 19th Int. Conf. on Database Theory (ICDT 2016), volume 48 of Leibniz International Proceedings in Informatics (LIPIcs), pages 15:1--15:19, Dagstuhl, Germany, 2016. Schloss Dagstuhl--Leibniz-Zentrum für Informatik. [pdf] [url]

A formal presentation of MongoDB (Extended version)
Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, and Guohui Xiao.
CoRR Technical Report arXiv:1603.09291v1, arXiv.org e-Print archive, 2016. Available at https://arxiv.org/abs/1603.09291v1. [url]

Beyond OWL 2 QL in OBDA: Rewritings and approximations
Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, and Guohui Xiao.
In Proc. of the 30th AAAI Conf. on Artificial Intelligence (AAAI 2016), pages 921--928, 2016. [pdf] [url]

Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering -- 12th Int. Summer School Tutorial Lectures (RW 2016)
Jeff Z. Pan, Diego Calvanese, Thomas Eiter, Ian Horrocks, Michael Kifer, Fangzhen Lin, and Yuting Zhao, editors.
Volume 9885 of Lecture Notes in Computer Science Springer 2016. [url]

2015


Preface to the special issue on ontology-based data access
Diego Calvanese, Manolis Koubarakis, and David Toman.
J. of Web Semantics, 33:1--2, 2015. [pdf] [url]

Report on PODS 2015
Diego Calvanese.
ACM SIGACT News, 46(4):79--81, 2015. [pdf] [url]

PODS 2015 general and program chairs' welcome message
Tova Milo and Diego Calvanese.
In Proc. of the 34th ACM SIGACT SIGMOD SIGAI Symp. on Principles of Database Systems (PODS 2015). ACM, 2015. [pdf]

Digital Libraries on the Move -- Revised Selected Papers of the 11th Italian Research Conference on Digital Libraries (IRCDL 2015)
Diego Calvanese, Dario De Nart, and Carlo Tasso, editors.
Volume 612 of Communications in Computer and Information Science Springer 2016. [url]

Node selection query languages for trees
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
CoRR Technical Report arXiv:1509.08979, arXiv.org e-Print archive, 2015. Available at https://arxiv.org/abs/1509.08979. [pdf] [url]

Ontology-driven extraction of event logs from relational databases
Diego Calvanese, Marco Montali, Alifah Syamsiyah, and Wil M. P. van der Aalst.
In Proc. of the 11th Int. Workshop on Business Process Intelligence (BPI 2015), volume 256 of Lecture Notes in Business Information Processing, pages 140--153. Springer, 2016. [pdf] [url]

Ontology-based integration of cross-linked datasets
Diego Calvanese, Martin Giese, Dag Hovland, and Martin Rezk.
In Proc. of the 14th Int. Semantic Web Conf. (ISWC 2015), volume 9366 of Lecture Notes in Computer Science, pages 199--216. Springer, 2015. [pdf] [url]

A 'historical case' of ontology-based data access
Diego Calvanese, Alessandro Mosca, Jose Remesal, Martin Rezk, and Guillem Rull.
In Proc. of Digital Heritage 2015 (DH 2015), pages 291--298. IEEE Computer Society Press, 2015. [pdf] [url]

How to stay Ontop of your data: Databases, ontologies and more
Diego Calvanese, Benjamin Cogrel, Sarah Komla-Ebri, Davide Lanti, Martin Rezk, and Guohui Xiao.
In Revised Selected Papers of ESWC 2015 Satellite Events, volume 9341 of Lecture Notes in Computer Science, pages 20--25. Springer, 2015. [pdf] [url]

Data complexity of query answering in description logics (Extended abstract)
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), pages 4163--4167. AAAI Press, 2015. [pdf] [url]

Description logic based dynamic systems: Modeling, verification, and synthesis
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi.
In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), pages 4247--4253. AAAI Press, 2015. [pdf] [url]

On the undecidability of the situation calculus extended with description logic ontologies
Diego Calvanese, Giuseppe De Giacomo, and Mikhail Soutchanski.
In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), pages 2840--2846. AAAI Press, 2015. [pdf] [url]

Verification of generalized inconsistency-aware knowledge and action bases
Diego Calvanese, Marco Montali, and Ario Santoso.
In Proc. of the 24th Int. Joint Conf. on Artificial Intelligence (IJCAI 2015), pages 2847--2853. AAAI Press, 2015. [pdf] [url]

OBDA with the Ontop framework
Diego Calvanese, Benjamin Cogrel, Elem Güzel Kalayci, Sarah Komla Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, and Guohui Xiao.
In Proc. of the 23rd Symp. on Advanced Database Systems (SEBD 2015), pages 296--303, 2015. [pdf]

Leveraging relational technology for data-centric dynamic systems
Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin.
In Proc. of the 23rd Symp. on Advanced Database Systems (SEBD 2015), pages 60--71, 2015. [pdf]

Dealing with inconsistencies due to class disjointness in SPARQL update
Albin Ahmeti, Diego Calvanese, Axel Polleres, and Vadim Savenkov.
In Proc. of the 28th Int. Workshop on Description Logics (DL 2015), volume 1350 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2015. [pdf] [url]

Inconsistency management in generalized knowledge and action bases
Diego Calvanese, Marco Montali, and Ario Santoso.
In Proc. of the 28th Int. Workshop on Description Logics (DL 2015), volume 1350 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2015. [pdf] [url]

Implementing Data-Centric Dynamic Systems over a relational DBMS
Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin.
In Proc. of the 9th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2015), volume 1378 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2015. [pdf] [url]

The NPD benchmark: Reality check for OBDA systems
Davide Lanti, Martin Rezk, Guohui Xiao, and Diego Calvanese.
In Proc. of the 18th Int. Conf. on Extending Database Technology (EDBT 2015), pages 617--628. OpenProceedings.org, 2015. [pdf] [url]

Verification of relational multiagent systems with data types
Diego Calvanese, Giorgio Delzanno, and Marco Montali.
In Proc. of the 29th AAAI Conf. on Artificial Intelligence (AAAI 2015), pages 2031--2037. AAAI Press, 2015. [pdf] [url]

2014


Verifiable UML artifact-centric business process models
Diego Calvanese, Marco Montali, Montserrat Estanol, and Ernest Teniente.
In Proc. of the 23rd ACM Int. Conf. on Information and Knowledge Management (CIKM 2014), pages 1289--1298, 2014. [pdf] [url]

Updating RDFS ABoxes and TBoxes in SPARQL
Albin Ahmeti, Diego Calvanese, and Axel Polleres.
In Proc. of the 13th Int. Semantic Web Conf. (ISWC 2014), volume 8796 of Lecture Notes in Computer Science, pages 441--456. Springer, 2014. [pdf] [url]

The NPD benchmark for OBDA systems
Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao, and Diego Calvanese.
In Proc. of the 10th Int. Workshop on Scalable Semantic Web Knowledge Base Systems (SSWS 2014), volume 1261 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 3--18. CEUR-WS.org, 2014. [pdf] [url]

The Ontop framework for ontology based data access
Timea Bagosi, Diego Calvanese, Josef Hardi, Sarah Komla-Ebri, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, Mindaugas Slusnys, and Guohui Xiao.
In Proc. of the 8th Chinese Semantic Web Symposium and Web Science Conference (Posters and Demos), volume 480 of Communications in Computer and Information Science, pages 67--77. Springer, 2014. [pdf]

Query answering over description logic ontologies
Diego Calvanese.
In Proc. of the 14th European Conf. on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, pages 1--17. Springer, 2014. [pdf] [url]

Verification of context-sensitive knowledge and action bases
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario Santoso.
In Proc. of the 14th European Conf. on Logics in Artificial Intelligence (JELIA 2014), volume 8761 of Lecture Notes in Computer Science, pages 514--528. Springer, 2014. [pdf] [url]

Shape and content: A database-theoretic perspective on the analysis of data structures
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, and Florian Zuleger.
In Proc. of the 11th Int. Conf. on Integrated Formal Methods (IFM 2014), volume 8739 of Lecture Notes in Computer Science, pages 3--17. Springer, 2014. [pdf] [url]

Adding context to knowledge and action bases
Diego Calvanese, Ismail Ilkan Ceylan, Marco Montali, and Ario Santoso.
In Workshop Notes of the 6th Int. Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014), volume arXiv:1412.7965 of CoRR Technical Report, pages 25--36. arXiv.org e-Print archive, 2014. Available at https://arxiv.org/abs/1412.7965. [pdf] [url]

Rules and ontology based data access
Guohui Xiao, Martin Rezk, Mariano Rodriguez-Muro, and Diego Calvanese.
In Proc. of the 8th Int. Conf. on Web Reasoning and Rule Systems (RR 2014), volume 8741 of Lecture Notes in Computer Science, pages 157--172. Springer, 2014. [pdf] [url]

Managing change in graph-structured data using description logics
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 28th AAAI Conf. on Artificial Intelligence (AAAI 2014), pages 966--973. AAAI Press, 2014. [pdf] [url]

Managing change in graph-structured data using description logics (Long version with appendix)
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
CoRR Technical Report arXiv:1404.4274, arXiv.org e-Print archive, 2014. Available at https://arxiv.org/abs/1404.4274. [pdf] [url]

Capturing relational schemas and functional dependencies in RDFS
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, and Mantas Simkus.
In Proc. of the 28th AAAI Conf. on Artificial Intelligence (AAAI 2014), pages 1003--1011. AAAI Press, 2014. [pdf] [url]

Planning problems for graph structured data in description logics
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 27th Int. Workshop on Description Logics (DL 2014), volume 1193 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 4--7. CEUR-WS.org, 2014. [pdf] [url]

SPARQL update for materialized triple stores under DL-LiteRDFS entailment
Albin Ahmeti, Diego Calvanese, and Axel Polleres.
In Proc. of the 27th Int. Workshop on Description Logics (DL 2014), volume 1193 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 8--20. CEUR-WS.org, 2014. [pdf] [url]

Shape and content: Incorporating domain knowledge into shape analysis
Diego Calvanese, Tomer Kotek, Mantas Simkus, Helmut Veith, and Florian Zuleger.
In Proc. of the 27th Int. Workshop on Description Logics (DL 2014), volume 1193 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 124--127. CEUR-WS.org, 2014. [pdf] [url]

Expressive identification constraints to capture functional dependencies in description logics
Diego Calvanese, Wolfgang Fischl, Reinhard Pichler, Emanuel Sallinger, and Mantas Simkus.
In Proc. of the 27th Int. Workshop on Description Logics (DL 2014), volume 1193 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 416--420. CEUR-WS.org, 2014. [pdf] [url]

A scalable benchmark for OBDA systems: Preliminary report
Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, and Guohui Xiao.
In Proc. of the 3rd Int. Workshop on OWL Reasoner Evaluation (ORE 2014), volume 1207 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 36--43. CEUR-WS.org, 2014. [pdf] [url]

Nested regular path queries in description logics (extended abstract)
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 8th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2014), volume 1189 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2014. [pdf] [url]

Planning and change in graph structured data under description logics constraints
Shqiponja Ahmetaj, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 8th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2014), volume 1189 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2014. [pdf] [url]

Specification and verification of commitment-regulated data-aware multiagent systems
Marco Montali, Diego Calvanese, and Giuseppe De Giacomo.
In Proc. of the 29th Italian Conf. on Computational Logic (CILC 2014), volume 1195 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 84--98. CEUR-WS.org, 2014. [pdf] [url]

Answering regular path queries in expressive description logics via alternating tree-automata
Diego Calvanese, Thomas Eiter, and Magdalena Ortiz.
Information and Computation, 237:12--55, 2014. [pdf] [url]

State-boundedness in data-aware dynamic systems
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, and Alin Deutsch.
In Proc. of the 14th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2014), pages 458--467. AAAI Press, 2014. [pdf] [url]

Nested regular path queries in description logics
Meghyn Bienvenu, Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 14th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2014), pages 218--227. AAAI Press, 2014. [pdf] [url]

Verification of data-aware commitment-based multiagent systems
Marco Montali, Diego Calvanese, and Giuseppe De Giacomo.
In Proc. of the 13th Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS 2014), pages 157--164, 2014. [pdf] [url]

Verification of human driven data-centric dynamic systems
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Alin Deutsch.
In Proc. of the 2014 AAAI Spring Symposium on Formal Verification and Modeling in Human-Machine Systems, volume SS-14-02 of AAAI Technical Reports. AAAI Press, 2014. [pdf] [url]

Designing efficient controlled languages for ontologies
Camilo Thorne, Raffaella Bernardi, and Diego Calvanese.
In Harry Bunt, Johan Bos, and Stephen Pulman, editors, Computing Meaning, Volume 4, volume 47 of Text, Speech and Language Technology, pages 149--173. Springer, 2014. [pdf]

Verification of relational multiagent systems with data types (Extended version)
Diego Calvanese, Giorgio Delzanno, and Marco Montali.
CoRR Technical Report arXiv:1411.4516, arXiv.org e-Print archive, 2014. Available at https://arxiv.org/abs/1411.4516. [pdf] [url]

Verifiable UML artifact-centric business process models (Extended version)
Diego Calvanese, Marco Montali, Montserrat Estanol, and Ernest Teniente.
CoRR Technical Report arXiv:1408.5094, arXiv.org e-Print archive, 2014. Available at https://arxiv.org/abs/1408.5094. [pdf] [url]

2013


Data complexity of query answering in description logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
Artificial Intelligence, 195:335--360, 2013. [pdf] [url]

On simplification of schema mappings
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
J. of Computer and System Sciences, 79(6):816--834, 2013. [pdf] [url]

Capturing model-based ontology evolution at the instance level: The case of DL-Lite
Evgeny Kharlamov, Dmitriy Zheleznyakov, and Diego Calvanese.
J. of Computer and System Sciences, 79(6):835--872, 2013. [pdf] [url]

Description logic Knowledge and Action Bases
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, and Paolo Felli.
J. of Artificial Intelligence Research, 46:651--686, 2013. [pdf] [url]

Reasoning about explanations for negative query answers in DL-Lite
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, and Giorgio Stefanoni.
J. of Artificial Intelligence Research, 48:635--669, 2013. [pdf] [url]

Preface to the special issue on selected papers presented at the 4th International Conference on Web Reasoning and Rule Systems (RR 2010)
Diego Calvanese and Thomas Lukasiewicz.
Semantic Web J., 4(4):349, 2013. [pdf] [url]

Scalable end-user access to Big Data
Martin Giese, Diego Calvanese, Peter Haase, Ian Horrocks, Yannis Ioannidis, Heralk Kllapi, Manolis Koubarakis, Maurizio Lenzerini, Ralf Möller, Özgür Özcep, Mariano Rodriguez-Muro, Riccardo Rosati, Rudolf Schlatte, Michael Schmidt, Ahmet Soylu, and Arild Waaler.
In Rajendra Akerkar, editor, Big Data Computing, chapter 6. CRC Press, 2013. [pdf]

Process fragment recognition in clinical documents
Camilo Thorne, Elena Cardillo, Claudio Eccher, Marco Montali, and Diego Calvanese.
In Proc. of the 13th Int. Conf. of the Italian Assoc. for Artificial Intelligence (AI*IA 2013), volume 8249 of Lecture Notes in Computer Science, pages 227--238. Springer, 2013. [pdf] [url]

Automated activity recognition in clinical documents
Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, and Claudio Eccher.
In Proc. of the 6th Int. Joint Conf. on Natural Language Processing (IJCNLP 2013), pages 1129--1133. Asian Federation of Natural Language Processing, 2013. [pdf] [url]

Verification of semantically-enhanced artifact systems
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, and Dmitry Solomakhin.
In Proc. of the 11th Int. Conf. on Service Oriented Computing (ICSOC 2013), volume 8274 of Lecture Notes in Computer Science, pages 600--607. Springer, 2013. [pdf] [url]

Verification of semantically-enhanced artifact systems (Extended version)
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Ario Santoso, and Dmitry Solomakhin.
CoRR Technical Report arXiv:1308.6292, arXiv.org e-Print archive, 2013. Available at https://arxiv.org/abs/1308.6292. [pdf] [url]

Automated reasoning on conceptual schemas (Dagstuhl Seminar 13211)
Diego Calvanese, Sven Hartmann, and Ernest Teniente.
Dagstuhl Reports, 3(5):43--77, 2013. [pdf] [url]

Finite model reasoning on UML class diagrams via constraint programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini.
Intelligenza Artificiale, 7(1):57--65, 2013. [pdf] [url]

Evolving graph databases under description logic constraints
Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 26th Int. Workshop on Description Logics (DL 2013), volume 1014 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 120--131. CEUR-WS.org, 2013. [pdf] [url]

Extending DL-LiteA with (singleton) nominals
Maxim G. Haddad and Diego Calvanese.
In Proc. of the 26th Int. Workshop on Description Logics (DL 2013), volume 1014 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 704--723. CEUR-WS.org, 2013. [pdf] [url]

Computing solutions in OWL 2 QL knowledge base exchange
Marcelo Arenas, Elena Botoeva, Diego Calvanese, and Vladislav Ryzhikov.
In Proc. of the 26th Int. Workshop on Description Logics (DL 2013), volume 1014 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 4--16. CEUR-WS.org, 2013. [pdf] [url]

Dynamic systems based on description logics: Formalization, verification, and synthesis
Diego Calvanese, Marco Montali, Giuseppe De Giacomo, and Fabio Patrizi.
In Proc. of the 26th Int. Workshop on Description Logics (DL 2013), volume 1014 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 573--586. CEUR-WS.org, 2013. [pdf] [url]

Verification of inconsistency-aware knowledge and action bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov.
In Proc. of the 26th Int. Workshop on Description Logics (DL 2013), volume 1014 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 107--119. CEUR-WS.org, 2013. [pdf] [url]

Optique: OBDA solution for big data
D. Calvanese, M. Giese, P. Haase, I. Horrocks, T. Hubauer, Y. Ioannidis, E. Jiménez-Ruiz, E. Kharlamov, H. Kllapi, J. Klüwer, M. Koubarakis, S. Lamparter, R. Möller, C. Neuenstadt, T. Nordtveit, Ö. Özcep, M. Rodriguez-Muro, M. Roshchin, F. Savo, M. Schmidt, A. Soylu, A. Waaler, and D. Zheleznyakov.
In Revised Selected Papers of ESWC 2013 Satellite Events, volume 7955 of Lecture Notes in Computer Science, pages 293--295. Springer, 2013. [pdf] [url]

Evaluating SPARQL-to-SQL translation in ontop
Mariano Rodriguez-Muro, Martin Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, and Diego Calvanese.
In Proc. of the 2nd Int. Workshop on OWL Reasoner Evaluation (ORE 2013), volume 1015 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 94--100. CEUR-WS.org, 2013. [pdf] [url]

The Optique project: Towards OBDA systems for industry
D. Calvanese, M. Giese, P. Haase, I. Horrocks, T. Hubauer, Y. Ioannidis, E. Jiménez-Ruiz, E. Kharlamov, H. Kllapi, J. Klüwer, M. Koubarakis, S. Lamparter, R. Möller, C. Neuenstadt, T. Nordtveit, Ö. Özcep, M. Rodriguez-Muro, M. Roshchin, M. Ruzzi, F. Savo, M. Schmidt, A. Soylu, A. Waaler, and D. Zheleznyakov.
In Proc. of the 10th Int. Workshop on OWL: Experiences and Directions (OWLED 2013), volume 1080 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2013. [pdf] [url]

On rewriting and answering queries in OBDA systems for big data
Diego Calvanese, Ian Horrocks, Ernesto Jiménez-Ruiz, Evgeny Kharlamov, Michael Meier, Mariano Rodriguez-Muro, and Dmitriy Zheleznyakov.
In Proc. of the 10th Int. Workshop on OWL: Experiences and Directions (OWLED 2013), volume 1080 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2013. [pdf] [url]

Verification and synthesis in description logic based dynamic systems
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi.
In Proc. of the 7th Int. Conf. on Web Reasoning and Rule Systems (RR 2013), volume 7994 of Lecture Notes in Computer Science, pages 50--64. Springer, 2013. Best paper award. [pdf] [url]

Rewrite and conquer: Dealing with integrity constraints in data integration
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Janis Bubenko, John Krogstie, Oscar Pastor, Barbara Pernici, Colette Rolland, and Arne Solvberg, editors, Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE, pages 353--359. Springer, 2013. [pdf] [url]

Verification of relational data-centric dynamic systems with external services
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, and Marco Montali.
In Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2013), pages 163--174, 2013. [pdf] [url]

Foundations of data-aware process analysis: A database theory perspective
Diego Calvanese, Giuseppe De Giacomo, and Marco Montali.
In Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2013), pages 1--12, 2013. [pdf] [url]

Verification of inconsistency-aware knowledge and action bases
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov.
In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), 2013. [pdf] [url]

Verification of inconsistency-aware knowledge and action bases (Extended version)
Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, and Dmitriy Zheleznyakov.
CoRR Technical Report arXiv:1304.6442, arXiv.org e-Print archive, 2013. Available at https://arxiv.org/abs/1304.6442. [pdf] [url]

Exchanging OWL 2 QL knowledge bases
Marcelo Arenas, Elena Botoeva, Diego Calvanese, and Vladislav Ryzhikov.
In Proc. of the 23rd Int. Joint Conf. on Artificial Intelligence (IJCAI 2013), 2013. Extended version available as CoRR technical report at https://arxiv.org/abs/1304.5810. [pdf] [url]

Exchanging OWL 2 QL knowledge bases (Extended version)
Marcelo Arenas, Elena Botoeva, Diego Calvanese, and Vladislav Ryzhikov.
CoRR Technical Report arXiv:1304.5810, arXiv.org e-Print archive, March 2013. Available at https://arxiv.org/abs/1304.5810. [pdf] [url]

The VeriCliG project: Extraction of computer interpretable guidelines via syntactic and semantic annotation
Camilo Thorne, Marco Montali, Diego Calvanese, Elena Cardillo, and Claudio Eccher.
In Proc. of the Workshop on Computational Semantics in Clinical Text (CSCT 2013), pages 54--58, 2013. [pdf]

Techniques and tools for KAB, to manage action linkage with the Artifact Layer -- Iteration 2
Diego Calvanese, Babak Bagheri Hariri, Riccardo De Masellis, Domenico Lembo, Marco Montali, Ario Santoso, Dimitry Solomakhin, and Sergio Tessaris.
Deliverable ACSI-D2.4.2, ACSI Consortium, May 2013. [pdf]

2012


Query processing under GLAV mappings for relational and graph databases
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
Proc. of the VLDB Endowment, 6(2):61--72, 2012. [pdf] [url]

View-based query answering in description logics: Semantics and complexity
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati.
J. of Computer and System Sciences, 78:26--46, 2012. [pdf] [url]

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
Anna Queralt, Alessandro Artale, Diego Calvanese, and Ernest Teniente.
Data and Knowledge Engineering, 73:1--22, 2012. [pdf] [url]

Tractability and intractability of controlled languages for data access
Camilo Thorne and Diego Calvanese.
Studia Logica, 100(4):787--813, 2012. [pdf] [url]

Quest: Efficient SPARQL-to-SQL for RDF and OWL
Mariano Rodriguez-Muro, Josef Hardi, and Diego Calvanese.
In Proc. of the 11th Int. Semantic Web Conf., Posters & Demonstrations Track (ISWC-2012 PD), volume 914 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2012. [pdf] [url]

Circumscribing DL-Lite
Elena Botoeva and Diego Calvanese.
In Proc. of the ECAI 2012 Workshop on Belief Change, Non-Monotonic Reasoning and Conflict resolution (BNC@ECAI 2012), 2012. [pdf]

Ontology-based governance of data-aware processes
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso.
In Proc. of the 6th Int. Conf. on Web Reasoning and Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer Science, pages 25--41. Springer, 2012. [pdf] [url]

Semantically-governed data-aware processes
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Marco Montali, and Ario Santoso.
In Proc. of the 1st Int. Workshop on Knowledge-intensive Business Processes (KiBP 2012), volume 861 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 21--32. CEUR-WS.org, 2012. [pdf] [url]

Quest, an OWL 2 QL reasoner for ontology-based data access
Mariano Rodriguez-Muro and Diego Calvanese.
In Proc. of the 9th Int. Workshop on OWL: Experiences and Directions (OWLED 2012), volume 849 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2012. [pdf] [url]

Inconsistency tolerance in OWL 2 QL Knowledge and Action Bases -- Statement of interest
Diego Calvanese, Evgeny Kharlamov, Marco Montali, and Dmitriy Zheleznyakov.
In Proc. of the 9th Int. Workshop on OWL: Experiences and Directions (OWLED 2012), volume 849 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2012. [pdf] [url]

Representability in DL-LiteR knowledge base exchange
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, and Evgeny Sherkhonov.
In Proc. of the 25th Int. Workshop on Description Logics (DL 2012), volume 846 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 4--14. CEUR-WS.org, 2012. [pdf] [url]

OCL-Lite: A decidable (yet expressive) fragment of OCL
Anna Queralt, Alessandro Artale, Diego Calvanese, and Ernest Teniente.
In Proc. of the 25th Int. Workshop on Description Logics (DL 2012), volume 846 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 312--322. CEUR-WS.org, 2012. [pdf] [url]

Verification of description logic Knowledge and Action Bases
Babak Bagheri Hariri, Diego Calvanese, Marco Montali, Giuseppe De Giacomo, Riccardo De Masellis, and Paolo Felli.
In Proc. of the 20th European Conf. on Artificial Intelligence (ECAI 2012), volume 242 of Frontiers in Artificial Intelligence and Applications, pages 103--108. IOS Press, 2012. [pdf] [url]

Introducing datatypes in DL-Lite
Ognjen Savkovic and Diego Calvanese.
In Proc. of the 20th European Conf. on Artificial Intelligence (ECAI 2012), volume 242 of Frontiers in Artificial Intelligence and Applications, pages 720--725. IOS Press, 2012. [pdf] [url]

Verification of relational data-centric dynamic systems with external services
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, and Marco Montali.
CoRR Technical Report arXiv:1203.0024, arXiv.org e-Print archive, March 2012. Available at https://arxiv.org/abs/1203.0024. [pdf] [url]

Best service synthesis in the Weighted Roman Model
Diego Calvanese and Ario Santoso.
In Proc. of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012), volume 847 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 42--49. CEUR-WS.org, 2012. [pdf] [url]

High performance query answering over DL-Lite ontologies
Mariano Rodriguez-Muro and Diego Calvanese.
In Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), pages 308--318. AAAI Press, 2012. [pdf]

Exchanging description logic knowledge bases
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, and Evgeny Sherkhonov.
In Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), pages 563--567. AAAI Press, 2012. [pdf]

The complexity of explaining negative query answers in DL-Lite
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, and Giorgio Stefanoni.
In Proc. of the 13th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2012), pages 583--587. AAAI Press, 2012. [pdf]

2011


The Mastro system for ontology-based data access
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Riccardo Rosati, Marco Ruzzi, and Domenico Fabio Savo.
Semantic Web J., 2(1):43--53, 2011. Listed among the 5 most cited papers in the first five years of the Semantic Web Journal . [pdf] [url]

Semantic index: Scalable query answering without forward chaining or exponential rewritings
Mariano Rodriguez-Muro and Diego Calvanese.
In Posters of the 10th Int. Semantic Web Conf. (ISWC 2011), 2011. [pdf]

Foundations of relational artifacts verification
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis, and Paolo Felli.
In Proc. of the 9th Int. Conference on Business Process Management (BPM 2011), volume 6896 of Lecture Notes in Computer Science, pages 379--395. Springer, 2011. [pdf] [url]

Actions and programs over description logic knowledge bases: A functional approach
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati.
In Gerhard Lakemeyer and Sheila A. McIlraith, editors, Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque. College Publications, 2011. [pdf]

Containment of regular path queries under description logic constraints
Diego Calvanese, Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), pages 805--812, 2011. [pdf] [url]

A practical automata-based technique for reasoning in expressive description logics
Diego Calvanese, Domenico Carbotta, and Magdalena Ortiz.
In Proc. of the 22nd Int. Joint Conf. on Artificial Intelligence (IJCAI 2011), pages 798--804, 2011. [pdf] [url]

Verification of conjunctive-query based semantic artifacts
Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, and Riccardo De Masellis.
In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 48--58. CEUR-WS.org, 2011. [pdf] [url]

Dependencies to optimize ontology based data access
Mariano Rodriguez-Muro and Diego Calvanese.
In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 367--377. CEUR-WS.org, 2011. [pdf] [url]

Knowledge base exchange
Marcelo Arenas, Elena Botoeva, and Diego Calvanese.
In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 4--14. CEUR-WS.org, 2011. [pdf] [url]

The complexity of conjunctive query abduction in DL-Lite
Diego Calvanese, Magdalena Ortiz, Mantas Simkus, and Giorgio Stefanoni.
In Proc. of the 24th Int. Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 81--91. CEUR-WS.org, 2011. [pdf] [url]

Dependencies: Making ontology based data access work in practice
Mariano Rodriguez-Muro and Diego Calvanese.
In Proc. of the 5th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2011), volume 749 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2011. [pdf] [url]

Simplifying schema mappings
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 14th Int. Conf. on Database Theory (ICDT 2011), pages 114--125, 2011. [pdf] [url]

2010


A logical framework for representing ontologies
Diego Calvanese, Bernardo Cuenca Grau, Domenico Lembo, Davide Martinenghi, and Anni-Yasmin Turhan.
Manuscript, 2010.

Evolution of DL-Lite knowledge bases
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, and Dmitriy Zheleznyakov.
In Proc. of the 9th Int. Semantic Web Conf. (ISWC 2010), volume 6496 of Lecture Notes in Computer Science, pages 112--128. Springer, 2010. [pdf] [url]

Full satisfiability of UML class diagrams
Alessandro Artale, Diego Calvanese, and Angelica Ibanez-Garcia.
In Proc. of the 29th Int. Conf. on Conceptual Modeling (ER 2010), volume 6412 of Lecture Notes in Computer Science, pages 317--331. Springer, 2010. [pdf] [url]

Expressive approximations in DL-Lite ontologies
Elena Botoeva, Diego Calvanese, and Mariano Rodriguez-Muro.
In Proc. of the 14th Int. Conf. on Artificial Intelligence: Methodology, Systems, Applications (AIMSA 2010), volume 6304 of Lecture Notes in Computer Science, pages 21--31. Springer, 2010. [pdf] [url]

Node selection query languages for trees
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 24th AAAI Conf. on Artificial Intelligence (AAAI 2010), pages 279--284, 2010. [pdf] [url]

Updating ABoxes in DL-Lite
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, and Dmitriy Zheleznyakov.
In Proc. of the 4th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2010), volume 619 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 3.1--3.12. CEUR-WS.org, 2010. [pdf] [url]

Updating TBoxes in DL-Lite
Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, and Werner Nutt.
In Proc. of the 23rd Int. Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 102--113. CEUR-WS.org, 2010. [pdf] [url]

Checking full satisfiability of conceptual models
Alessandro Artale, Diego Calvanese, and Angelica Ibanez-Garcia.
In Proc. of the 23rd Int. Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 55--66. CEUR-WS.org, 2010. [pdf] [url]

Query rewriting in DL-LiteHNhorn
Elena Botoeva, Alessandro Artale, and Diego Calvanese.
In Proc. of the 23rd Int. Workshop on Description Logics (DL 2010), volume 573 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 267--278. CEUR-WS.org, 2010. [pdf] [url]

Web-based graphical querying of databases through an ontology: the Wonder system
Diego Calvanese, C. Maria Keet, Werner Nutt, Mariano Rodriguez-Muro, and Giorgio Stefanoni.
In Proc. of the 25th ACM Symposium on Applied Computing (SAC 2010), Semantic Web and Applications Track, pages 1388--1395, 2010. [pdf] [url]

View synthesis from schema mappings
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
CoRR Technical Report arXiv:1003.1179, arXiv.org e-Print archive, March 2010. Available at https://arxiv.org/abs/1003.1179. [pdf] [url]

The description logic handbook: Theory, implementation, and applications
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors.
Cambridge University Press, 2nd edition, 2010. Paperback edition. [url]

2009


Dynamic query optimization under access limitations and dependencies
Andrea Calì, Diego Calvanese, and Davide Martinenghi.
J. of Universal Computer Science, 15(1):33--62, 2009. [pdf] [url]

Artifact-centric workflow dominance
Diego Calvanese, Giuseppe De Giacomo, Rick Hull, and Jianwen Su.
In Proc. of the 7th Int. Joint Conf. on Service Oriented Computing (ICSOC 2009), volume 5900 of Lecture Notes in Computer Science, pages 130--143. Springer, 2009. [pdf] [url]

Discovering functional dependencies for multidimensional design
Oscar Romero, Diego Calvanese, Alberto Abello, and Mariano Rodriguez-Muro.
In Proc. of the 12th ACM Int. Workshop on Data Warehousing and OLAP (DOLAP 2009), pages 1--8, 2009. [pdf] [url]

Full satisfiability of UML class diagrams (extended abstract)
Alessandro Artale, Diego Calvanese, and Angelica Ibanez-Garcia.
In Leopoldo Bertossi and Henning Christiansen, editors, Proc. of the 2009 Int. Workshop on Logic in Databases (LID 2009), volume 127 of Computer Science Research Reports, pages 15--26. Roskilde University, 2009. [pdf]

Controlled aggregate tree shaped questions over ontologies
Camilo Thorne and Diego Calvanese.
In Proc. of the 8th Int. Conf. on Flexible Query Answering Systems (FQAS 2009), volume 5822 of Lecture Notes in Computer Science, pages 394--405. Springer, 2009. [pdf] [url]

The DL-Lite family and relations
Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev.
J. of Artificial Intelligence Research, 36:1--69, 2009. [pdf] [url]

Using OWL in data integration
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, and Marco Ruzzi.
In R. De Virgilio, F. Giunchiglia, and L. Tanca, editors, Semantic Web Information Management -- A Model-Based Perspective, chapter 17, pages 397--424. Springer, 2009. [pdf]

Ontologies and databases: The DL-Lite approach
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, and Riccardo Rosati.
In Sergio Tessaris and Enrico Franconi, editors, Reasoning Web: Semantic Technologies for Informations Systems -- 5th Int. Summer School Tutorial Lectures (RW 2009), volume 5689 of Lecture Notes in Computer Science, pages 255--356. Springer, 2009. [pdf] [url]

DL-Lite without UNA
Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev.
In Proc. of the 22nd Int. Workshop on Description Logics (DL 2009), volume 477 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2009. [pdf] [url]

Adding weight to DL-Lite
Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev.
In Proc. of the 22nd Int. Workshop on Description Logics (DL 2009), volume 477 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2009. [pdf] [url]

An automata-theoretic approach to Regular XPath
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 12th Int. Symposium on Database Programming Languages (DBPL 2009), volume 5708 of Lecture Notes in Computer Science, pages 18--35. Springer, 2009. [pdf] [url]

Regular path queries in expressive description logics with nominals
Diego Calvanese, Thomas Eiter, and Magdalena Ortiz.
In Proc. of the 21st Int. Joint Conf. on Artificial Intelligence (IJCAI 2009), pages 714--720, 2009. [pdf] [url]

Controlled English ontology-based data access
Camilo Thorne and Diego Calvanese.
In Revised Papers of the 2009 Workshop on Controlled Natural Language (CNL 2009), volume 5972 of Lecture Notes in Computer Science, pages 135--154. Springer, 2010. [pdf] [url]

The data complexity of the syllogistic fragments of English
Camilo Thorne and Diego Calvanese.
In Revised Selected Papers of the 17th Amsterdam Colloquium on Logic, Language and Meaning (AC 2009), volume 6042 of Lecture Notes in Artificial Intelligence, pages 114--123. Springer, 2009. [pdf]

Conceptual modeling for data integration
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Alex T. Borgida, Vinay Chaudhri, Paolo Giorgini, and Eric Yu, editors, Conceptual Modeling: Foundations and Applications -- Essays in Honor of John Mylopoulos, volume 5600 of Lecture Notes in Computer Science, pages 173--197. Springer, 2009. [pdf] [url]

2008


Linking data to ontologies
Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati.
J. on Data Semantics, 10:133--173, 2008. [pdf]

Inconsistency tolerance in P2P data integration: An epistemic logic approach
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
Information Systems, 33(4--5):360--384, 2008. [pdf]

Data complexity of query answering in expressive description logics via tableaux
Magdalena Ortiz, Diego Calvanese, and Thomas Eiter.
J. of Automated Reasoning, 41(1):61--98, 2008. [pdf]

Conjunctive query containment and answering under description logics constraints
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
ACM Trans. on Computational Logic, 9(3):22.1--22.31, 2008. [pdf] [url]

Automatic service composition and synthesis: the Roman Model
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Massimo Mecella, and Fabio Patrizi.
Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 31(3):18--22, 2008. [pdf] [url]

Proc. of the 2nd Int. Conf. on Web Reasoning and Rule Systems (RR 2008)
Diego Calvanese and Georg Lausen, editors.
Volume 5341 of Lecture Notes in Computer Science Springer 2008. [url]

Towards an open framework for ontology based data access with Protégé and DIG 1.1
Mariano Rodriguez-Muro and Diego Calvanese.
In Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008), volume 432 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2008. [pdf] [url]

OWLlink: DIG for OWL 2
Thorsten Liebig, Marko Luther, Olaf Noppens, Mariano Rodriguez, Diego Calvanese, Michael Wessel, Ralf Möller, Matthew Horridge, Sean Bechhofer, Dmitry Tsarkov, and Evren Sirin.
In Proc. of the 5th Int. Workshop on OWL: Experiences and Directions (OWLED 2008), volume 432 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2008. [pdf] [url]

Aggregate queries over ontologies
Diego Calvanese, Evgeny Kharlamov, Werner Nutt, and Camilo Thorne.
In Proc. of the 2nd Int. Workshop on Ontologies and Inf. Systems for the Semantic Web (ONISW 2008), pages 97--104, 2008. [pdf] [url]

Explanation in the DL-Lite family of description logics
Alexander Borgida, Diego Calvanese, and Mariano Rodriguez-Muro.
In Proc. of the 7th Int. Conf. on Ontologies, DataBases, and Applications of Semantics (ODBASE 2008), volume 5332 of Lecture Notes in Computer Science, pages 1440--1457. Springer, 2008. [pdf] [url]

NGS: A New Generation Search engine supporting cross domain queries
Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, and Riccardo Torlone.
In Proc. of the 16th Symp. on Advanced Database Systems (SEBD 2008), pages 342--349, 2008. [pdf]

Data integration through DL-LiteA ontologies
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati, and Marco Ruzzi.
In Klaus-Dieter Schewe and Bernhard Thalheim, editors, Revised Selected Papers of the 3rd Int. Workshop on Semantics in Data and Knowledge Bases (SDKB 2008), volume 4925 of Lecture Notes in Computer Science, pages 26--47. Springer, 2008. [pdf] [url]

View-based query answering over description logic ontologies
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), pages 242--251. AAAI Press, 2008. [pdf]

Path-based identification constraints in description logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 11th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2008), pages 231--241. AAAI Press, 2008. [pdf]

Explanation in DL-Lite
Alexander Borgida, Diego Calvanese, and Mariano Rodriguez-Muro.
In Proc. of the 21st Int. Workshop on Description Logics (DL 2008), volume 353 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2008. [pdf] [url]

Regular XPath: Constraints, query containment and view-based answering for XML documents
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 2008 Int. Workshop on Logic in Databases (LID 2008), 2008. [pdf]

Realizing ontology based data access: A plug-in for Protégé
Mariano Rodriguez-Muro, Lina Lubyte, and Diego Calvanese.
In Proc. of the ICDE Workshop on Information Integration Methods, Architectures, and Systems (IIMAS 2008), pages 286--289. IEEE Computer Society Press, 2008. [pdf]

NGS: a framework for multi-domain query answering
Daniele Braga, Diego Calvanese, Alessandro Campi, Stefano Ceri, Florian Daniel, Davide Martinenghi, Paolo Merialdo, and Riccardo Torlone.
In Proc. of the Workshop on Information Integration Methods, Architectures, and Systems (IIMAS 2008), pages 254--261. IEEE Computer Society Press, 2008. [pdf]

2007


Tractable reasoning and efficient query answering in description logics: The DL-Lite family
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
J. of Automated Reasoning, 39(3):385--429, 2007. [pdf]

View-based query processing: On the relationship between rewriting, answering and losslessness
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
Theoretical Computer Science, 371(3):169--182, 2007. [pdf]

The description logic handbook: Theory, implementation, and applications
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors.
Cambridge University Press, 2nd edition, 2007. [url]

English querying over ontologies: E-QuOnto
Raffaella Bernardi, Francesca Bonin, Diego Calvanese, Domenico Carbotta, and Camilo Thorne.
In Proc. of the 10th Congress of the Italian Assoc. for Artificial Intelligence (AI*IA 2007), volume 4733 of Lecture Notes in Artificial Intelligence, pages 170--181. Springer, 2007. [pdf]

Finite model reasoning on UML class diagrams via constraint programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini.
In Proc. of the 10th Congress of the Italian Assoc. for Artificial Intelligence (AI*IA 2007), volume 4733 of Lecture Notes in Artificial Intelligence, pages 36--47. Springer, 2007. [pdf]

Ontology-based database access
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati.
In Proc. of the 15th Symp. on Advanced Database Systems (SEBD 2007), pages 324--331, 2007. [pdf]

Query answering in expressive variants of DL-Lite
Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev.
In Proc. of the 15th Symp. on Advanced Database Systems (SEBD 2007), pages 250--257, 2007. [pdf]

Answering regular path queries in expressive description logics: An automata-theoretic approach
Diego Calvanese, Thomas Eiter, and Magdalena Ortiz.
In Proc. of the 22nd AAAI Conf. on Artificial Intelligence (AAAI 2007), pages 391--396, 2007. [pdf]

DL-Lite in the light of first-order logic
Alessandro Artale, Diego Calvanese, Roman Kontchakov, and Michael Zakharyaschev.
In Proc. of the 22nd AAAI Conf. on Artificial Intelligence (AAAI 2007), pages 361--366, 2007. [pdf]

Proc. of the 20th Int. Workshop on Description Logics (DL 2007)
Diego Calvanese, Enrico Franconi, Volker Haarslev, Domenico Lembo, Boris Motik, Anni-Yasmin Turhan, and Sergio Tessaris, editors.
Volume 250 of CEUR Workshop Proceedings, https://ceur-ws.org/ CEUR-WS.org 2007. [url]

Actions and programs over description logic ontologies
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 20th Int. Workshop on Description Logics (DL 2007), volume 250 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 29--40. CEUR-WS.org, 2007. [pdf] [url]

Complexity of reasoning over Entity Relationship models
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev.
In Proc. of the 20th Int. Workshop on Description Logics (DL 2007), volume 250 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 163--170. CEUR-WS.org, 2007. [pdf] [url]

Complexity of reasoning in Entity Relationship models
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev.
Technical report, Faculty of Computer Science, Free University of Bozen-Bolzano, 2007. Full version of a paper published in the Proc. of the 20th Int. Workshop on Description Logics (DL 2007). [pdf]

Mastro-i: Efficient integration of relational data through DL ontologies
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati.
In Proc. of the 20th Int. Workshop on Description Logics (DL 2007), volume 250 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 227--234. CEUR-WS.org, 2007. [pdf] [url]

Expressing DL-Lite ontologies with Controlled English
Raffaella Bernardi, Diego Calvanese, and Camilo Thorne.
In Proc. of the 20th Int. Workshop on Description Logics (DL 2007), volume 250 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 195--202. CEUR-WS.org, 2007. [pdf] [url]

A proof theory for DL-Lite
Diego Calvanese, Evgeny Kharlamov, and Werner Nutt.
In Proc. of the 20th Int. Workshop on Description Logics (DL 2007), volume 250 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 235--242. CEUR-WS.org, 2007. [pdf] [url]

Can OWL model football leagues?
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 3rd Int. Workshop on OWL: Experiences and Directions (OWLED 2007), volume 258 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2007. [pdf] [url]

An extension of DIG 2.0 for handling bulk data
Diego Calvanese and Mariano Rodriguez-Muro.
In Proc. of the 3rd Int. Workshop on OWL: Experiences and Directions (OWLED 2007), volume 258 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2007. [pdf] [url]

Reasoning over extended ER models
Alessandro Artale, Diego Calvanese, Roman Kontchakov, Vladislav Ryzhikov, and Michael Zakharyaschev.
In Proc. of the 26th Int. Conf. on Conceptual Modeling (ER 2007), volume 4801 of Lecture Notes in Computer Science, pages 277--292. Springer, 2007. [pdf] [url]

Lite natural language
Raffaella Bernardi, Diego Calvanese, and Camilo Thorne.
In Proc. of the 7th Int. Workshop on Computational Semantics (IWCS 2007), 2007. [pdf]

EQL-Lite: Effective first-order query processing in description logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pages 274--279, 2007. [pdf]

Optimization of query plans in the presence of access limitations
Andrea Calì, Diego Calvanese, and Davide Martinenghi.
In Proc. of the ICDT 2007 Workshop on Emerging Research Opportunities in Web Data Management (EROW 2007), volume 229 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2007. [pdf] [url]

2006


Enterprise modeling and data warehousing in Telecom Italia
Diego Calvanese, Luigi Dragone, Daniele Nardi, Riccardo Rosati, and Stefano M. Trisolini.
Information Systems, 31(1):1--32, 2006. [pdf]

Ontologies and description logics
Diego Calvanese and Nicola Guarino.
Intelligenza Artificiale, 3(1--2):21--27, 2006. [pdf]

Linking data to ontologies: The description logic DL-LiteA
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, and Riccardo Rosati.
In Proc. of the 2nd Int. Workshop on OWL: Experiences and Directions (OWLED 2006), volume 216 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2006. [pdf] [url]

Optimising query answering in the presence of access limitations (position paper)
Andrea Calì and Diego Calvanese.
In Proc. of 2nd Int. Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC 2006), DEXA 2006 Workshops, pages 547--552, 2006.

Containment of conjunctive queries under access limitations
Andrea Calì and Diego Calvanese.
In Proc. of the 14th Symp. on Advanced Database Systems (SEBD 2006), 2006. [pdf]

Automatic web service composition: Service-tailored vs. client-tailored approaches
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, and Massimo Mecella.
In Proc. of the 4th Int. Workshop on AI for Service Composition (AISC 2006), pages 63--66, 2006. [pdf] [url]

Data complexity of answering unions of conjunctive queries in SHIQ
Magdalena Ortiz, Diego Calvanese, and Thomas Eiter.
Technical report, Faculty of Computer Science, Free University of Bozen-Bolzano, March 2006. [pdf]

Automatic composition of web services with nondeterministic behavior
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, and Massimo Mecella.
Technical Report 5-2006, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2006. [pdf]

Composing web services with nondeterministic behavior
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, and Massimo Mecella.
In Proc. of the IEEE Int. Conf. on Web Services 2006 (ICWS 2006), pages 909--912, 2006. [pdf]

Characterizing data complexity for conjunctive query answering in expressive description logics
Magdalena Ortiz, Diego Calvanese, and Thomas Eiter.
In Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI 2006), pages 275--280, 2006. [pdf] [url]

Data complexity of query answering in description logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2006), pages 260--270, 2006. [pdf]

Epistemic first-order queries over description logic knowledge bases
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 19th Int. Workshop on Description Logics (DL 2006), volume 189 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 51--61. CEUR-WS.org, 2006. [pdf] [url]

Data complexity of answering unions of conjunctive queries in SHIQ
Magdalena Ortiz, Diego Calvanese, and Thomas Eiter.
In Proc. of the 19th Int. Workshop on Description Logics (DL 2006), volume 189 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 62--73. CEUR-WS.org, 2006. [pdf] [url]

Multilingual search in libraries: The case-study of the Free University of Bozen-Bolzano
Raffaella Bernardi, Diego Calvanese, Luca Dini, Vittorio Di Tomaso, Elisabeth Frasnelli, Ulrike Kugler, and Barbara Plank.
In Proc. of the 5th Int. Conf. on Language Resources and Evaluation (LREC 2006), 2006. [pdf] [url]

Data management in peer-to-peer data integration systems
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Roberto Baldoni, Giovanni Cortese, Fabrizio Davide, and Angelo Melpignano, editors, Global Data Management, volume 8 of Emerging Communication: Studies in New Technologies and Practices in Communication, pages 177--201. IOS Press, 2006. [pdf]

2005


Reasoning on UML class diagrams
Daniela Berardi, Diego Calvanese, and Giuseppe De Giacomo.
Artificial Intelligence, 168(1--2):70--118, 2005. [pdf]

Automatic service composition based on behavioral descriptions
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
Int. J. of Cooperative Information Systems, 14(4):333--376, 2005. [pdf]

Decidable containment of recursive queries
Diego Calvanese, Giuseppe De Giacomo, and Moshe Y. Vardi.
Theoretical Computer Science, 336(1):33--56, 2005. [pdf]

Data integration: A logic-based perspective
Diego Calvanese and Giuseppe De Giacomo.
AI Magazine, 26(1):59--70, 2005. [pdf] [url]

Efficiently managing data intensive ontologies
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 2nd Italian Semantic Web Workshop: Semantic Web Applications and Perspectives (SWAP 2005), volume 166 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2005. [pdf] [url]

Tailoring OWL for data intensive ontologies
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 1st Int. Workshop on OWL: Experiences and Directions (OWLED 2005), volume 188 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2005. [pdf] [url]

Composition of services with nondeterministic observable behavior
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, and Massimo Mecella.
In Proc. of the 3rd Int. Conf. on Service Oriented Computing (ICSOC 2005), volume 3826 of Lecture Notes in Computer Science, pages 520--526. Springer, 2005. [pdf] [url]

Automatic composition of transition-based semantic web services with messaging
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Rick Hull, and Massimo Mecella.
In Proc. of the 31st Int. Conf. on Very Large Data Bases (VLDB 2005), pages 613--624, 2005. [pdf] [url]

Inconsistency tolerance in P2P data integration: An epistemic logic approach
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Revised selected papers of the 10th Int. Symposium on Database Programming Languages (DBPL 2005), volume 3774 of Lecture Notes in Computer Science, pages 90--105. Springer, 2005. [pdf] [url]

Towards automatic web service discovery and composition in a context with semantics, messages, and internal process flow (a position paper)
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Massimo Mecella, and Rick Hull.
In Proc. of the W3C Workshop on Frameworks for Semantics in Web Services (SWSF 2005), 2005.

Modeling data & processes for service specifications in Colombo
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Rick Hull, Maurizio Lenzerini, and Massimo Mecella.
In In Proc. of the 2nd INTEROP Workshop on Enterprise Modelling and Ontologies for Interoperability (EMOI-INTEROP 2005), volume 160 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2005. [pdf] [url]

Automatic composition of web services in Colombo
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Rick Hull, and Massimo Mecella.
In Proc. of the 13th Italian Symp. on Advanced Database Systems (SEBD 2005), pages 8--15, 2005. [pdf]

Proc. of the 13th Italian Symp. on Advanced Database Systems (SEBD 2005)
Andrea Calì, Diego Calvanese, Enrico Franconi, Maurizio Lenzerini, and Letizia Tanca, editors.
2005.

Automatic composition of process-based web services: a challenge
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, and Massimo Mecella.
In Proc. of the WWW 2005 Workshop on Web Service Semantics: Towards Dynamic Business Integration (WSS 2005), 2005. [pdf] [url]

Data complexity of query answering in description logics
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 18th Int. Workshop on Description Logics (DL 2005), volume 147 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2005. [pdf] [url]

DL-Lite: Tractable description logics for ontologies
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pages 602--607, 2005. AAAI 2021 Classic Paper Award for the most influential AAAI paper in the past 15 years. [pdf]

QuOnto: Querying Ontologies
Andrea Acciarri, Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Mattia Palmieri, and Riccardo Rosati.
In Proc. of the 20th Nat. Conf. on Artificial Intelligence (AAAI 2005), pages 1670--1671, 2005. [pdf]

View-based query processing: On the relationship between rewriting, answering and losslessness
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 10th Int. Conf. on Database Theory (ICDT 2005), volume 3363 of Lecture Notes in Computer Science, pages 321--336. Springer, 2005. [pdf] [url]

2004


Data integration under integrity constraints
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
Information Systems, 29(2):147--163, 2004. [pdf]

A logic based approach for matching user profiles
Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, and Francesco M. Donini.
In Proc. of the 8th Int. Conf. on Knowledge-Based Intelligent Information & Engineering Systems (KES 2004), volume 3215 of Lecture Notes in Artificial Intelligence, pages 187--195, 2004. [pdf]

E SC : A tool for automatic composition of e-Services based on logics of programs
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
In Proc. of the 5th VLDB Workshop on Technologies for E-Services (TES 2004), volume 3324 of Lecture Notes in Computer Science, pages 80--94. Springer, 2004. [pdf] [url]

Synthesis of underspecified composite e-Services based on automated reasoning
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
In Proc. of the 2nd Int. Conf. on Service Oriented Computing (ICSOC 2004), pages 105--114, 2004. [pdf] [url]

Query reformulation over ontology-based peers
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 12th Italian Symp. on Advanced Database Systems (SEBD 2004), pages 418--425, 2004. [pdf]

Hyper: A framework for peer-to-peer data integration on grids
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, and Guido Vetere.
In Proc. of the Int. Conference on Semantics of a Networked World: Semantics for Grid Databases (ICSNW 2004), volume 3226 of Lecture Notes in Computer Science, pages 144--157, 2004. [pdf] [url]

DL-Lite: Practical reasoning for rich DLs
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati, and Guido Vetere.
In Proc. of the 17th Int. Workshop on Description Logics (DL 2004), volume 104 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 92--99. CEUR-WS.org, 2004. [pdf] [url]

Towards implementing finite model reasoning in description logics
Marco Cadoli, Diego Calvanese, and Giuseppe De Giacomo.
In Proc. of the 17th Int. Workshop on Description Logics (DL 2004), volume 104 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 83--91. CEUR-WS.org, 2004. [pdf] [url]

A description logic based approach for matching user profiles
Andrea Calì, Diego Calvanese, Simona Colucci, Tommaso Di Noia, and Francesco M. Donini.
In Proc. of the 17th Int. Workshop on Description Logics (DL 2004), volume 104 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 110--119. CEUR-WS.org, 2004. [pdf] [url]

Finite satisfiability of UML class diagrams by constraint programming
Marco Cadoli, Diego Calvanese, Giuseppe De Giacomo, and Toni Mancini.
In In Proc. of the CP 2004 Workshop on CSP Techniques With Immediate Application, 2004. [pdf]

Synthesis of composite e-services based on automated reasoning
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
In Proc. of the ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (P4WGS 2004), 2004. [pdf]

Logical foundations of peer-to-peer data integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 23rd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2004), pages 241--251, 2004. [pdf] [url]

What to ask to a peer: Ontology-based query reformulation
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 9th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2004), pages 469--478, 2004. [pdf]

2003


Reasoning on regular path queries
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
SIGMOD Record, 32(4):83--92, 2003. [pdf] [url]

Toward a new landscape of system management in an autonomic computing environment
Giovanni Lanfranchi, Pietro Della Peruta, Antonio Perrone, and Diego Calvanese.
IBM Systems J., 42(1):119--128, 2003. [pdf]

The description logic handbook: Theory, implementation, and applications
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter F. Patel-Schneider, editors.
Cambridge University Press, 2003. [url]

Relationship with other formalisms
Ulrike Sattler, Diego Calvanese, and Ralf Molitor.
In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation and Applications, chapter 4, pages 137--177. Cambridge University Press, 2003.

Expressive description logics
Diego Calvanese and Giuseppe De Giacomo.
In Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider, editors, The Description Logic Handbook: Theory, Implementation and Applications, chapter 5, pages 178--218. Cambridge University Press, 2003.

Answering recursive queries under keys and foreign keys is undecidable
Diego Calvanese and Riccardo Rosati.
In Proc. of the 10th Int. Workshop on Knowledge Representation meets Databases (KRDB 2003), volume 79 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 3--14. CEUR-WS.org, 2003. [ps.gz] [pdf] [url]

Automatic composition of e-services that export their behavior
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
In Proc. of the 1st Int. Conf. on Service Oriented Computing (ICSOC 2003), volume 2910 of Lecture Notes in Computer Science, pages 43--58. Springer, 2003. Award for the most influential paper in the first 10 years of the International Conference on Service Oriented Computing . [pdf] [url]

Automatic composition of e-services
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
Technical Report 22-2003, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2003. [ps.gz] [pdf]

Semantic data integration in P2P systems
Diego Calvanese, Elio Damaggio, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati.
In Revised papers of the Int. Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P 2003), volume 2944 of Lecture Notes in Computer Science, pages 77--90. Springer, 2003. [ps.gz] [pdf] [url]

Proc. of the 16th Int. Workshop on Description Logics (DL 2003)
Diego Calvanese, Giuseppe De Giacomo, and Enrico Franconi, editors.
Volume 81 of CEUR Workshop Proceedings, https://ceur-ws.org/ CEUR-WS.org 2003. [url]

Reasoning on UML class diagrams is ExpTime-hard
Daniela Berardi, Diego Calvanese, and Giuseppe De Giacomo.
In Proc. of the 16th Int. Workshop on Description Logics (DL 2003), volume 81 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 28--37. CEUR-WS.org, 2003. [ps.gz] [pdf] [url]

e-Service composition by description logics based reasoning
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
In Proc. of the 16th Int. Workshop on Description Logics (DL 2003), volume 81 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 75--84. CEUR-WS.org, 2003. [ps.gz] [pdf] [url]

Using the CIM conceptualization in autonomic system managment: the System Management Ontology project
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Antonio Perrone, Giuseppe Santucci, and Guido Vetere.
Unpublished manuscript, 2003. [pdf]

A foundational vision of e-services
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
In Proc. of the 2nd Int. Workshop on Web Services, e-Business, and the Semantic Web (WES 2003), volume 3095 of Lecture Notes in Computer Science, pages 28--40, 2003. [ps.gz] [pdf] [url]

A foundational framework for e-services
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Massimo Mecella.
Technical Report 10-2003, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2003. [ps.gz] [pdf]

IBIS: Semantic data integration at work
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, and Fabio Vernacotola.
In Proc. of the 15th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2003), volume 2681 of Lecture Notes in Computer Science, pages 79--94. Springer, 2003. [pdf] [url]

View-based query containment
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2003), pages 56--67, 2003. [pdf] [url]

Query containment using views
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 11th Symp. on Advanced Database Systems (SEBD 2003), pages 467--474, 2003.

Reasoning about actions for e-service composition
Daniela Berardi, Diego Calvanese, Giuseppe De Giacomo, and Massimo Mecella.
In Proc. of the ICAPS 2003 Workshop on Planning for Web Services (P4WS 2003), 2003. [ps.gz] [pdf]

Proc. of the 9th Int. Conf. on Database Theory (ICDT 2003)
Diego Calvanese, Maurizio Lenzerini, and Rajeev Motwani, editors.
Volume 2572 of Lecture Notes in Computer Science Springer 2003. [url]

Reasoning on UML class diagrams
Daniela Berardi, Andrea Calì, Diego Calvanese, and Giuseppe De Giacomo.
Technical Report 11-2003, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2003. [ps.gz] [pdf]

Decidable containment of recursive queries
Diego Calvanese, Giuseppe De Giacomo, and Moshe Y. Vardi.
In Proc. of the 9th Int. Conf. on Database Theory (ICDT 2003), volume 2572 of Lecture Notes in Computer Science, pages 330--345. Springer, 2003. [pdf] [url]

2002


Rewriting of regular expressions and regular path queries
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
J. of Computer and System Sciences, 64(3):443--465, 2002. [pdf]

On the role of integrity constraints in data integration
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 25(3):39--45, 2002. [ps.gz] [pdf] [url]

Development of ontologies for the semantic web: An overview
Diego Calvanese, Giuseppe De Giacomo, and Enrico Franconi.
In Proc. of the 40th Annual Conference of the Italian Computing Association (AICA 2002), pages 433--443, 2002. [pdf]

A framework for ontology integration
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Isabel Cruz, Stefan Decker, Jerome Euzenat, and Deborah McGuinness, editors, The Emerging Semantic Web --- Selected Papers from the First Semantic Web Working Symposium, volume 75 of Frontiers in Artificial Intelligence and Applications, pages 201--214. IOS Press, 2002. [pdf]

Optimized querying of integrated data over the Web
Andrea Calì and Diego Calvanese.
In Proc. of the IFIP WG8.1 Working Conference on Engineering Information Systems in the Internet Context (EISIC 2002), pages 285--301. Kluwer Academic Publisher, 2002.

Description logics: Foundations for class-based knowledge representation
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 17th IEEE Symp. on Logic in Computer Science (LICS 2002), pages 359--370, 2002. [pdf]

The multilingual thesaurus of LAURIN
Diego Calvanese, Tiziana Catarci, Maurizio Lenzerini, and Giuseppe Santucci.
In Proc. of the 14th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE 2002), pages 83--90, 2002. [pdf] [url]

IBIS: Data integration at work
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Paolo Naggar, and Fabio Vernacotola.
In Proc. of the 10th Symp. on Advanced Database Systems (SEBD 2002), pages 291--298, 2002. [ps.gz] [pdf]

Accessing data integration systems through conceptual schemas
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 10th Symp. on Advanced Database Systems (SEBD 2002), pages 161--168, 2002. [ps.gz] [pdf]

On the expressive power of data integration systems
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 21st Int. Conf. on Conceptual Modeling (ER 2002), volume 2503 of Lecture Notes in Computer Science, pages 338--350. Springer, 2002. [pdf] [url]

2ATAs make DLs easy
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 15th Int. Workshop on Description Logics (DL 2002), volume 53 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 107--118. CEUR-WS.org, 2002. [ps.gz] [pdf] [url]

Data integration under integrity constraints
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 14th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2002), volume 2348 of Lecture Notes in Computer Science, pages 262--279. Springer, 2002. Republished in "Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE, 2013". [pdf] [url]

Lossless regular views
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), pages 247--258, 2002. [pdf] [url]

A formal framework for reasoning on UML class diagrams
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 13th Int. Symp. on Methodologies for Intelligent Systems (ISMIS 2002), volume 2366 of Lecture Notes in Computer Science, pages 503--513. Springer, 2002. [pdf] [url]

Reasoning about actions and planning in LTL action theories
Diego Calvanese, Giuseppe De Giacomo, and Moshe Y. Vardi.
In Proc. of the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2002), pages 593--602, 2002. [ps.gz] [pdf]

Proc. of the 9th Int. Workshop on Knowledge Representation meets Databases (KRDB 2002)
Alex Borgida, Diego Calvanese, Laurence Cholvy, and Marie-Christine Rousset, editors.
Volume 54 of CEUR Workshop Proceedings, https://ceur-ws.org/ CEUR-WS.org 2002. [url]

Description logics for information integration
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In A. Kakas and F. Sadri, editors, Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, volume 2408 of Lecture Notes in Computer Science, pages 41--60. Springer, 2002. [pdf] [url]

Methods and tools to reconcile data
Diego Calvanese, Domenico Lembo, and Maurizio Lenzerini.
D2I (Integration, Warehousing, and Mining of Heterogeneous Sources) Project Report D1.R11, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2002. [pdf]

2001


Reasoning in expressive description logics
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi.
In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning, volume II, chapter 23, pages 1581--1634. Elsevier Science Publishers, 2001. [ps.gz] [pdf]

LAURIN: A distributed digital library of newspaper clippings
Diego Calvanese, Tiziana Catarci, and Giuseppe Santucci.
World Wide Web J., 4(1/2):5--20, 2001. [pdf]

View-based query answering and query containment over semistructured data
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Giorgio Ghelli and Gösta Grahne, editors, Revised papers of the 8th Int. Workshop on Database Programming Languages (DBPL 2001), volume 2397 of Lecture Notes in Computer Science, pages 40--61. Springer, 2002. [pdf] [url]

Reasoning on UML class diagrams using description logic based systems
Daniela Berardi, Diego Calvanese, and Giuseppe De Giacomo.
In Proc. of the KI 2001 Workshop on Applications of Description Logics, volume 44 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2001. [ps.gz] [pdf] [url]

Towards a comprehensive methodological framework for semantic integration of heterogeneous data sources
Diego Calvanese, Silvana Castano, Francesco Guerra, Domenico Lembo, Michele Melchiori, Giorgio Terracina, Domenico Ursino, and Maurizio Vincini.
In Proc. of the 8th Int. Workshop on Knowledge Representation meets Databases (KRDB 2001), volume 45 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 2001. [ps.gz] [pdf] [url]

Reasoning on UML class diagrams in description logics
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development (PMD 2001), 2001. [pdf]

Optimizing query planning with limited source capabilities in the presence of inclusion and functional dependencies
Andrea Calì and Diego Calvanese.
In Proc. of the 9th Symp. on Advanced Database Systems (SEBD 2001), pages 33--44, 2001. [ps.gz] [pdf]

Accessing data integration systems through conceptual schemas
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 20th Int. Conf. on Conceptual Modeling (ER 2001), volume 2224 of Lecture Notes in Computer Science, pages 270--284. Springer, 2001. [pdf] [url]

Ontology of integration and integration of ontologies
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 14th Int. Workshop on Description Logics (DL 2001), volume 49 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 10--19. CEUR-WS.org, 2001. [ps.gz] [pdf] [url]

A framework for ontology integration
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 2001 Int. Semantic Web Working Symposium (SWWS 2001), pages 303--316, 2001. [ps.gz] [pdf] [url]

Description logic formalization of CIM
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Daniele Nardi.
SMO (System Management Ontology) Project Report N. 1, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2001. [pdf]

Identification constraints and functional dependencies in description logics
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI 2001), pages 155--160, 2001. [ps.gz] [pdf]

Data integration in data warehousing
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
Int. J. of Cooperative Information Systems, 10(3):237--271, 2001. [pdf]

Survey on methods for query rewriting and query answering using views
Diego Calvanese, Domenico Lembo, and Maurizio Lenzerini.
D2I (Integration, Warehousing, and Mining of Heterogeneous Sources) Project Report D1.R5, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 2001. [pdf]

2000


Concept based design of data warehouses: The DWQ demonstrators
Matthias Jarke, Christoph Quix, Diego Calvanese, Maurizio Lenzerini, Enrico Franconi, Spyros Ligoudistianos, Panos Vassiliadis, and Yannis Vassiliou.
In Proc. of the ACM SIGMOD Int. Conf. on Management of Data, page 591, 2000. [pdf] [url]

Modellazione e qualità dei dati in sistemi di data warehouse
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati, and Laura Tosco.
AI*IA Notizie, 13(2):68--75, 2000.

Integrazione e qualità dei dati per Data Warehouse
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati, and Laura Tosco.
In Proc. of the 38th Annual Conference of the Italian Computing Association (AICA 2000), 2000.

Keys for free in description logics
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 13th Int. Workshop on Description Logics (DL 2000), volume 33 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 79--88. CEUR-WS.org, 2000. [ps.gz] [pdf] [url]

Answering queries using views over description logics knowledge bases
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 16th Nat. Conf. on Artificial Intelligence (AAAI 2000), pages 386--391, 2000. [ps.gz] [pdf]

View-based query processing and constraint satisfaction
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 15th IEEE Symp. on Logic in Computer Science (LICS 2000), pages 361--371, 2000. [ps.gz] [pdf]

View-based query processing for regular path queries with inverse
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 19th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2000), pages 58--66, 2000. [pdf] [url]

Containment of conjunctive regular path queries with inverse
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 7th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), pages 176--185, 2000. [ps.gz] [pdf]

Answering regular path queries using views
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 16th IEEE Int. Conf. on Data Engineering (ICDE 2000), pages 389--398, 2000. [ps.gz] [pdf]

What is view-based query rewriting?
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 7th Int. Workshop on Knowledge Representation meets Databases (KRDB 2000), volume 29 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 17--27. CEUR-WS.org, 2000. [ps.gz] [pdf] [url]

Semistructured data schemas with expressive constraints
Andrea Calì, Diego Calvanese, and Maurizio Lenzerini.
In Proc. of the 7th Int. Workshop on Knowledge Representation meets Databases (KRDB 2000), volume 29 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 3--16. CEUR-WS.org, 2000. [ps.gz] [pdf] [url]

Local constraints in semistructured data schemas
Andrea Calì, Diego Calvanese, and Maurizio Lenzerini.
In Proc. of the 8th Symp. on Advanced Database Systems (SEBD 2000), 2000. [pdf]

Building a digital library of newspaper clippings: The LAURIN project
Diego Calvanese, Tiziana Catarci, and Giuseppe Santucci.
In Proc. of IEEE Advances in Digital Libraries (ADL 2000), pages 15--26, 2000. [ps.gz] [pdf]

LAURIN: A distributed digital library of newspaper clippings
Diego Calvanese, Tiziana Catarci, and Giuseppe Santucci.
In Proc. of the 2000 Kyoto Int. Conf. on Digital Libraries: Research and Practice, pages 187--194. IEEE Computer Society Press, 2000. [ps.gz] [pdf]

1999


Unifying class-based representation formalisms
Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi.
J. of Artificial Intelligence Research, 11:199--240, 1999. [ps.gz] [pdf] [url]

Representing and reasoning on XML documents: A description logic approach
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
J. of Logic and Computation, 9(3):295--318, 1999. [ps.gz] [pdf]

Modeling and querying semi-structured data
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
Networking and Information Systems, 2(2):253--273, 1999. [ps.gz] [pdf]

Data integration and reconciliation in data warehousing: Conceptual modeling and reasoning support
Diego Calvanese, Giuseppe De Giacomo, and Riccardo Rosati.
Networking and Information Systems, 2(4):413--432, 1999. [ps.gz] [pdf]

Source integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
In Matthias Jarke, Maurizio Lenzerini, Yannis Vassiliou, and Panos Vassiliadis, editors, Fundamentals of Data Warehouses, chapter 3. Springer, 1999.

Reasoning in expressive description logics with fixpoints based on automata on infinite trees
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI 1999), pages 84--89, 1999. [ps.gz] [pdf]

Rewriting of regular expressions and regular path queries
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1999), pages 194--204, 1999. [pdf] [url]

A principled approach to data integration and reconciliation in data warehousing
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
In Proc. of the Int. Workshop on Design and Management of Data Warehouses (DMDW 1999), volume 19 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 16.1--16.11. CEUR-WS.org, 1999. [pdf] [url]

Rewriting of regular path queries
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 7th Symp. on Advanced Database Systems (SEBD 1999), pages 213--224, 1999.

Rewriting regular expressions in semi-structured data
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of ICDT 1999 Workshop on Query Processing for Semi-Structured Data and Non-Standard Data Formats, 1999. [ps.gz] [pdf]

Queries and constraints on semi-structured data
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 11th Int. Conf. on Advanced Information Systems Engineering (CAiSE 1999), volume 1626 of Lecture Notes in Computer Science, pages 434--438. Springer, 1999. [ps.gz] [pdf] [url]

Answering queries using views in description logics
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 12th Int. Workshop on Description Logics (DL 1999), volume 22 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 9--13. CEUR-WS.org, 1999. [ps.gz] [pdf] [url]

Report on the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI 1999)
Diego Calvanese and Riccardo Rosati.
AI*IA Notizie, 12(4):69--71, 1999.

Experimental prototype supporting data reconciliation
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
DWQ (Foundations of Data Warehouse Quality) Project Report DWQ-UNIROMA-006, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", October 1999. [ps.gz]

Use of the reconciliation tool at Telecom Italia
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
DWQ (Foundations of Data Warehouse Quality) Project Report DWQ-UNIROMA-007, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", October 1999. [ps.gz]

1998


On the decidability of query containment under constraints
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 17th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1998), pages 149--158, 1998. [pdf] [url]

Description logic framework for information integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
In Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 1998), pages 2--13, 1998. [ps.gz] [pdf]

Information integration: Conceptual modeling and reasoning support
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
In Proc. of the 6th Int. Conf. on Cooperative Information Systems (CoopIS 1998), pages 280--291, 1998. [ps.gz] [pdf]

Knowledge representation approach to information integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
In Proc. of AAAI Workshop on AI and Information Integration, pages 58--65. AAAI Press/The MIT Press, 1998. [ps.gz] [pdf]

Source integration in data warehousing
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
In Proc. of the 9th Int. Workshop on Database and Expert Systems Applications (DEXA 1998), pages 192--197. IEEE Computer Society Press, 1998. [ps.gz] [pdf]

Schema and data integration methodology for DWQ
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
DWQ (Foundations of Data Warehouse Quality) Project Report DWQ-UNIROMA-004, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", September 1998. [ps.gz]

Experimentation with the incremental view integration
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
DWQ (Foundations of Data Warehouse Quality) Project Report DWQ-UNIROMA-003, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", September 1998. [ps.gz]

Description logics for conceptual data modeling
Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi.
In Jan Chomicki and Günter Saake, editors, Logics for Databases and Information Systems, pages 229--263. Kluwer Academic Publisher, 1998. [ps.gz] [pdf]

What can knowledge representation do for semi-structured data?
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI 1998), pages 205--210, 1998. [ps.gz] [pdf]

Semi-structured data with constraints and incomplete information
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 11th Int. Workshop on Description Logics (DL 1998), volume 11 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 11--20. CEUR-WS.org, 1998. [ps.gz] [pdf] [url]

Extending semi-structured data
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 6th Symp. on Advanced Database Systems (SEBD 1998), 1998.

Queries and constraints on semi-structured data
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
Technical Report 13-1998, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1998. [ps.gz]

A note on encoding inverse roles and functional restrictions in ALC knowledge bases
Diego Calvanese, Giuseppe De Giacomo, and Riccardo Rosati.
In Proc. of the 11th Int. Workshop on Description Logics (DL 1998), volume 11 of CEUR Workshop Proceedings, https://ceur-ws.org/, pages 69--71. CEUR-WS.org, 1998. [ps.gz] [pdf] [url]

1997


Representing and reasoning on SGML documents
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 10th Int. Symp. on Methodologies for Intelligent Systems (ISMIS 1997), number 1325 in Lecture Notes in Computer Science, pages 540--549. Springer, 1997. [ps.gz] [pdf] [url]

Conjunctive query containment in Description Logics with n-ary relations
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 10th Int. Workshop on Description Logics (DL 1997), pages 5--9, 1997. [ps.gz] [pdf]

Data Warehouse architecture and quality model
Christoph Quix, Matthias Jarke, Manfred A. Jeusfeld, Panos Vassiliadis, Maurizio Lenzerini, Diego Calvanese, and Mokrane Bouzeghoub.
DWQ (Foundations of Data Warehouse Quality) Project Report DWQ-RWTH-002, LuFg Theoretical Computer Science, RWTH Aachen, April 1997. [ps.gz]

Source integration in data warehousing
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati.
DWQ (Foundations of Data Warehouse Quality) Project Report DWQ-UNIROMA-002, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", October 1997. [ps.gz]

Reasoning on object-oriented schemas for data reengineering
Diego Calvanese and Maurizio Lenzerini.
PROGRESS Project Report UNIROMA-002, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", July 1997.

1996


Finite model reasoning in description logics
Diego Calvanese.
In Proc. of the 5th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 1996), pages 292--303. Morgan Kaufmann, 1996. [ps.gz] [pdf]

Reasoning with inclusion axioms in description logics: Algorithms and complexity
Diego Calvanese.
In Proc. of the 12th European Conf. on Artificial Intelligence (ECAI 1996), pages 303--307. John Wiley & Sons, 1996. [ps.gz] [pdf]

Representing SGML documents in Description Logics
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 9th Int. Workshop on Description Logics (DL 1996), pages 102--106, 1996. [ps.gz] [pdf]

Knowledge-based access to the Web
Diego Calvanese, Giuseppe De Giacomo, Luca Iocchi, Maurizio Lenzerini, and Daniele Nardi.
In Proc. of Workshop on Access, Extraction and Integration of Knowledge, 5th Italian Conference on Artificial Intelligence (AI*IA 1996), 1996. [ps.gz]

Unrestricted and finite model reasoning in class-based representation formalisms
Diego Calvanese.
PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1996. Number VIII-96-2 of Collana delle tesi del Dottorato di Ricerca in Informatica. [ps.gz] [pdf]

Rappresentazione della conoscenza basata su classi: ragionamento in modelli arbitrari e modelli finiti
Diego Calvanese.
PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1996. English version appared as number VIII-96-2 of Collana delle tesi del Dottorato di Ricerca in Informatica with the title "Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms ".

Unrestricted and finite model reasoning in class-based representation formalisms (Abstract of Ph.D. Thesis)
Diego Calvanese.
AI Communications---The European J. on Artificial Intelligence, 9(4):225--226, 1996. [url]

1995


Structured objects: Modeling and reasoning
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 4th Int. Conf. on Deductive and Object-Oriented Databases (DOOD 1995), number 1013 in Lecture Notes in Computer Science, pages 229--246. Springer, 1995. [ps.gz] [pdf] [url]

Increasing the power of structured objects
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 2nd Int. Workshop on Knowledge Representation meets Databases (KRDB 1995), volume 2 of CEUR Workshop Proceedings, https://ceur-ws.org/. CEUR-WS.org, 1995. [url]

1994


Making object-oriented schemas more expressive
Diego Calvanese and Maurizio Lenzerini.
In Proc. of the 13th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1994), pages 243--254, 1994. [pdf] [url]

A unified framework for class based representation formalisms
Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi.
In Proc. of the 4th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR 1994), pages 109--120. Morgan Kaufmann, 1994. [ps.gz] [pdf]

On the interaction between ISA and cardinality constraints
Diego Calvanese and Maurizio Lenzerini.
In Proc. of the 10th IEEE Int. Conf. on Data Engineering (ICDE 1994), pages 204--213. IEEE Computer Society Press, 1994. [ps.gz] [pdf]

Finite satisfiability and implication in concept languages
Diego Calvanese.
In Proc. of the Compulog Net annual area meeting on Knowledge Representation and Reasoning. Universidade Nova de Lisboa, 1993.

Back to Diego Calvanese's home page.