Diego Calvanese's
Publications (by topic)
The same list sorted by
year.
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), 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), 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, 2013. To
appear.
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. To appear. Extended
version available as CORR technical report at
http://arxiv.org/abs/1304.5810. [pdf]
Exchanging OWL 2 QL
knowledge bases (extended version)- Marcelo Arenas, Elena Botoeva, Diego
Calvanese, and Vladislav Ryzhikov.
CoRR Technical Report abs/1304.5810, arXiv.org e-Print archive,
March 2012. 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]
Quest: Effcient
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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. [pdf] [url]
Answering regular path
queries in expressive description logics via alternating
tree-automata- Diego Calvanese, Magdalena Ortiz, and
Thomas Eiter.
Submitted for publication to an international journal,
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]
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]
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]
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]
A logical framework for
representing ontologies- Diego Calvanese, Bernardo Cuenca Grau,
Domenico Lembo, Davide Martinenghi, and
Anni-Yasmin Turhan.
Manuscript, 2010.
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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. [url]
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 Conf. on 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 Conf. on 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]
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]
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]
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]
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]
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]
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]
Ontologies and description
logics- Diego Calvanese and Nicola Guarino.
Intelligenza Artificiale - The Journal of the Italian
Association for Artificial Intelligence, 3(1-2):21-27,
2006. [pdf]
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]
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]
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]
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]
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]
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]
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]
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]
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.
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.
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]
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]
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]
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]
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]
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]
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]
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]
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'99), pages 84-89, 1999. [ps.gz]
[pdf]
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'99), volume 22 of CEUR Electronic Workshop
Proceedings, http://ceur-ws.org/, pages 9-13, 1999.
[ps.gz]
[pdf]
[url]
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'98), volume 11 of CEUR Electronic Workshop
Proceedings, http://ceur-ws.org/, pages 69-71, 1998.
[ps.gz]
[pdf]
[url]
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'98), pages 149-158,
1998. [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'97), pages 5-9, 1997. [ps.gz]
[pdf]
Finite model reasoning in
description logics- Diego Calvanese.
In Proc. of the 5th Int. Conf. on the Principles of
Knowledge Representation and Reasoning (KR'96), 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'96), pages 303-307. John Wiley &
Sons, 1996. [ps.gz] [pdf]
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'94), pages
109-120. Morgan Kaufmann, 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.
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]
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]
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]
View synthesis from schema
mappings- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
CoRR Technical Report abs/1003.1179, arXiv.org e-Print archive,
March 2010. Available at http://arxiv.org/abs/1003.1179.
[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]
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]
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]
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]
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]
Decidable containment of
recursive queries- Diego Calvanese, Giuseppe De Giacomo, and
Moshe Y. Vardi.
Theoretical Computer Science, 336(1):33-56, 2005.
[pdf]
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]
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 Conf. on Database Systems (SEBD
2003), pages 467-474, 2003.
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]
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]
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]
View-based query answering
and query containment over semistructured data- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 8th Int. Workshop on Database Programming
Languages (DBPL 2001), 2001.
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]
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]
Query answering using views
for data integration over the web- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 2nd Int. Workshop on the Web and Databases
(WebDB'99), pages 73-78, 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'99), pages 194-204,
1999. [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]
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]
Rewriting of regular path
queries- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 7th Italian Conf. on Database Systems
(SEBD'99), pages 213-224, 1999.
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), 2013. To
appear. [pdf]
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), 2013. To
appear. [pdf]
Verification and synthesis
in description logic based dynamic systems- Diego Calvanese, Marco Montali, Giuseppe
De Giacomo, and Fabio Patrizi.
In Proc. of the 7th Int. Conf. on Web Reasoning and Rule
Systems (RR 2013), 2013. To appear.
Verification of
inconsistency-tolerant 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. To appear. [pdf]
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]
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]
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]
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]
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]
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 abs/1203.0024, arXiv.org e-Print archive,
March 2012. Available at http://arxiv.org/abs/1203.0024.
[pdf]
[url]
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]
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]
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]
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), 2013. [pdf]
Tractability and
intractability of controlled languages for data access- Camilo Thorne and Diego Calvanese.
Studia Logica, 100(4):787-813, 2012. [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]
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]
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]
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]
Lite natural
language- Raffaella Bernardi, Diego Calvanese, and
Camilo Thorne.
In 7th Int. Workshop on Computational Semantics
(IWCS-7), 2007. [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 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]
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.
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]
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]
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]
Query reformulation over
ontology-based peers- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
In Proc. of the 12th Italian Conf. on Database Systems (SEBD
2004), pages 418-425, 2004. [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]
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. Springer, 2013.
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]
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 Conf. on Database Systems (SEBD
2008), pages 342-349, 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]
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]
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 Conf. on Database Systems (SEBD
2006), 2006. [pdf]
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 integration: A
logic-based perspective- Diego Calvanese and Giuseppe De Giacomo.
AI Magazine, 26(1):59-70, 2005. [pdf]
[url]
Data integration under
integrity constraints- Andrea Calì, Diego Calvanese,
Giuseppe De Giacomo, and Maurizio Lenzerini.
Information Systems, 29(2):147-163, 2004. [pdf]
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]
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]
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.
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 Conf. on 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 Conf. on 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]
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.
[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]
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]
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]
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]
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 Conf. on Database Systems (SEBD
2001), pages 33-44, 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]
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.
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]
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.
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]
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'98), 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'98), 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]
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]
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]
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]
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]
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]
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]
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]
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 Conf. on Database Systems (SEBD
2005), pages 8-15, 2005. [pdf]
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]
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]
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]
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]
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]
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. [pdf]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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]
Reasoning on UML class
diagrams- Daniela Berardi, Diego Calvanese, and
Giuseppe De Giacomo.
Artificial Intelligence, 168(1-2):70-118, 2005.
[pdf]
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]
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]
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]
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]
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]
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]
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]
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]
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'95), number 1013 in Lecture
Notes in Computer Science, pages 229-246. Springer, 1995.
[ps.gz]
[pdf]
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'95), volume 2 of
CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 1995. [url]
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.
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'94), pages 243-254.
ACM Press and Addison Wesley, 1994. [url]
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'94), pages 204-213. IEEE Computer Society Press,
1994. [ps.gz]
[pdf]
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 Conf. on Database Systems (SEBD
2000), 2000. [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]
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]
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'99), volume 1626 of Lecture
Notes in Computer Science, pages 434-438. Springer, 1999.
[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'98), 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 Conf. on Database Systems
(SEBD'98), 1998.
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'98), pages 205-210, 1998. [ps.gz]
[pdf]
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]
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'97), number 1325 in Lecture
Notes in Computer Science, pages 540-549. Springer, 1997.
[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'96), 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'96), 1996. [ps.gz]
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]
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]
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]
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]
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]
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]
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]
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]
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]
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.
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]
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]
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]
Diego
Calvanese's home page.
Last modified: