Diego Calvanese's Publications (by year)


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.

2016


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

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). AAAI Press, 2016. To appear. [pdf]

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 ~-calculus over situation calculus action theories
Diego Calvanese, Giuseppe De Giacomo, Marco Montali, and Fabio Patrizi.
In Proc. of the 15th Int. Conf. on the 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 the 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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, 2016. [url]

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 Journal, 2016. [pdf] [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]

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), 2016. [pdf]

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]

2015


Report on PODS 2015
Diego Calvanese.
ACM SIGACT News, 46(4):79-81, 2015. [pdf] [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 http://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), Lecture Notes in Business Information Processing. Springer, 2015. To appear. [pdf]

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 Guzel Kalayci, Sarah Komla Ebri, Roman Kontchakov, Davide Lanti, Martin Rezk, Mariano Rodriguez-Muro, and Guohui Xiao.
In Proc. of the 23rd Italian Symp. on Advanced Database Systems (SEBD 2015), 2015. [pdf]

Leveraging relational technology for data-centric dynamic systems
Diego Calvanese, Marco Montali, Fabio Patrizi, and Andrey Rivkin.
In Proc. of the 23rd Italian Symp. on Advanced Database Systems (SEBD 2015), 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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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]

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]

2014


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 http://arxiv.org/abs/1411.4516. [pdf] [url]

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

Verifiable UML artifact-centric business process models (extended version)
Diego Calvanese, Marco Montali, Montserrat Esta"nol, and Ernest Teniente.
CoRR Technical Report arXiv:1408.5094, arXiv.org e-Print archive, 2014. Available at http://arxiv.org/abs/1408.5094. [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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 3-18, 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 http://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 http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 4-7, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 8-20, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 124-127, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 416-420, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 36-43, 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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 84-98, 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, Alin Deutsch, and Marco Montali.
In Proc. of the 14th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2014). AAAI Press, 2014. [pdf]

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

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, pages 157-164, 2014. [pdf]

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]

2013


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 Journal, 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 Conference 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 http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 120-131, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 704-723, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 4-16, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 573-586, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 107-119, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 94-100, 2013. [pdf] [url]

The Optique project: Towards OBDA systems for industry (Short paper)
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 Electronic Workshop Proceedings, http://ceur-ws.org/, 2013. [pdf] [url]

On rewriting and answering queries in OBDA systems for big data (Short paper)
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 Electronic Workshop Proceedings, http://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 http://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 http://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 http://arxiv.org/abs/1304.5810. [pdf] [url]

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]

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]

Quest: Efficient SPARQL-to-SQL for RDF and OWL
Mariano Rodriguez-Muro, Josef Hardi, and Diego Calvanese.
In Proc. of the ISWC 2012 Posters & Demonstrations Track (ISWC-PD 2012), volume 914 of CEUR Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 21-32, 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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 4-14, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 312-322, 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 http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 42-49, 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 the 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 the 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 the Principles of Knowledge Representation and Reasoning (KR 2012), pages 583-587. AAAI Press, 2012. [pdf]

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]

2011


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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 48-58, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 367-377, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 4-14, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 81-91, 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 Electronic Workshop Proceedings, http://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]

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 Journal, 2(1):43-53, 2011. Listed among the 5 most cited papers in the first five years of the Semantic Web Journal . [pdf] [url]

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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 3.1-3.12, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 102-113, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 55-66, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 267-278, 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]

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

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 http://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


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. [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] [url]

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, Semantic Technologies for Informations Systems - 5th Int. Reasoning Web Summer School (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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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]

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]

2008


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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, 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]

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. [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 Italian 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 the 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 the 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 Electronic Workshop Proceedings, http://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]

Linking data to ontologies
Antonella Poggi, Domenico Lembo, Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Riccardo Rosati.
J. on Data Semantics, X: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]

2007


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 Italian 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 Italian 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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 29-40, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 163-170, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 227-234, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 195-202, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 235-242, 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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 7th Int. Workshop on Computational Semantics (IWCS-7), 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 Electronic Workshop Proceedings, http://ceur-ws.org/, 2007. [pdf] [url]

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]

2006


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 Electronic Workshop Proceedings, http://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 Italian Symp. on Advanced Database Systems (SEBD 2006), 2006. [pdf]

Ontologies and description logics
Diego Calvanese and Nicola Guarino.
Intelligenza Artificiale, 3(1-2):21-27, 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 the 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 51-61, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 62-73, 2006. [pdf] [url]

What to ask to a peer: Query reformulation over ontology-based peers
Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, and Riccardo Rosati.
Manuscript, 2006.

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]

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]

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


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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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. [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]

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]

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]

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]

2004


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. [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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 92-99, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 83-91, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 110-119, 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. [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 the Principles of Knowledge Representation and Reasoning (KR 2004), pages 469-478, 2004. [pdf]

Data integration under integrity constraints
Andrea Calì, Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
Information Systems, 29(2):147-163, 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]

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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 3-14, 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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 28-37, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 75-84, 2003. [ps.gz] [pdf] [url]

Using the CIM conceptualization in autonomic system management: 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. [url]

Query containment using views
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 11th Italian 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]

Toward a new landscape of system management in an autonomic computing environment
Giovanni Lanfranchi, Pietro Della Peruta, Antonio Perrone, and Diego Calvanese.
IBM Systems Journal, 42(1):119-128, 2003. [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]

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.

2002


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]

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]

A framework for ontology integration
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Isabel Cruz, Stefan Decker, Jér^ome 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. [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 Italian 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 Italian 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 107-118, 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. [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 the 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 Electronic Workshop Proceedings, http://ceur-ws.org/ 2002. [url]

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]

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


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 Electronic Workshop Proceedings, http://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 Electronic Workshop Proceedings, http://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 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 Italian 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 10-19, 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]

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]

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. [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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 79-88, 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. [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 the 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 17-27, 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 3-16, 2000. [ps.gz] [pdf] [url]

Local constraints in semistructured data schemas
Andrea Calì, Diego Calvanese, and Maurizio Lenzerini.
In Proc. of the 8th Italian 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]

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

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]

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. [url]

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

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'99), volume 19 of CEUR Electronic Workshop Proceedings, http://ceur-ws.org/, pages 16.1-16.11, 1999. [pdf] [url]

Rewriting of regular path queries
Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 7th Italian 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'99 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 9-13, 1999. [ps.gz] [pdf] [url]

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. [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 the 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'98), 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 11-20, 1998. [ps.gz] [pdf] [url]

Extending semi-structured data
Diego Calvanese, Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 6th Italian 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 Electronic Workshop Proceedings, http://ceur-ws.org/, pages 69-71, 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 the 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 Electronic Workshop Proceedings, http://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. ACM Press and Addison Wesley, 1994. [url]

A unified framework for class based representation formalisms
Diego Calvanese, Maurizio Lenzerini, and Daniele Nardi.
In Proc. of the 4th Int. Conf. on the 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.
Last modified: