Diego Calvanese's
Publications (by topic)
The same list sorted by year.
- ?
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),
2010. To appear.
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), 2010. To
appear. pdf
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
Updating TBoxes in
DL-Lite- Dmitriy Zheleznyakov, Diego Calvanese, Evgeny
Kharlamov, and Werner Nutt.
In Proc. of the 23nd Int. Workshop on Description Logic (DL
2010), volume 573 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 102-113, 2010. pdf
Query rewriting in
DL-LiteHNhorn- Elena Botoeva, Alessandro Artale, and Diego
Calvanese.
In Proc. of the 23nd Int. Workshop on Description Logic (DL
2010), volume 573 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 267-278, 2010. pdf
A logical framework for
representing ontologies- Diego Calvanese, Bernardo Cuenca Grau,
Domenico Lembo, Davide Martinenghi, and
Anni-Yasmin Turhan.
Submitted for publication to an international journal, 2010.
View-based query answering in
description logics: Semantics and algorithms- Diego Calvanese, Giuseppe De Giacomo, Maurizio
Lenzerini, and Riccardo Rosati.
Submitted for publication to an international journal, 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
Discovering functional
dependencies for multidimensional design- Oscar Romero, Diego Calvanese, Alberto
Abello, and Mariano Rodriguez-Muro.
In ACM 12th Int. Workshop on Data Warehousing and OLAP (DOLAP
2009), pages 1-8, 2009. pdf
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 the unique
name assumption- Alessandro Artale, Diego Calvanese, Roman
Kontchakov, and Michael Zakharyaschev.
In Proc. of the 22nd Int. Workshop on Description Logic (DL
2009), volume 477 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 2009. pdf
Adding weight to
DL-Lite- Alessandro Artale, Diego Calvanese, Roman
Kontchakov, and Michael Zakharyaschev.
In Proc. of the 22nd Int. Workshop on Description Logic (DL
2009), volume 477 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 2009. pdf
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
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), 2008. pdf
OWLlink: DIG for OWL
2- Thorsten Liebig, Marko Luther, Olaf
Noppens, Mariano Rodriguez, Diego Calvanese,
Michael Wessel, Matthew Horridge, Sean
Bechhofer, Dmitry Tsarkov, and Evren Sirin.
In Proc. of the 5th Int. Workshop on OWL: Experiences and
Directions (OWLED 2008), 2008.
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), 2008. pdf
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, 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, 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 Logic (DL
2008), volume 353 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 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
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.
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 Conf. on Database Systems (SEBD
2007), pages 324-331, 2007. pdf
Query answering in
DL-Lite dialects- 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 Logic (DL
2007), volume 250 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 29-40, 2007. pdf
Complexity of reasoning in
Entity Relationship models- Alessandro Artale, Diego Calvanese, Roman
Kontchakov, Vladislav Ryzhikov, and Michael
Zakharyaschev.
In Proc. of the 20th Int. Workshop on Description Logic (DL
2007), volume 250 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 163-170, 2007. pdf
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 Logic (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 Logic (DL
2007), volume 250 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 227-234, 2007. pdf
A proof theory for
DL-Lite- Diego Calvanese, Evgeny Kharlamov, and Werner
Nutt.
In Proc. of the 20th Int. Workshop on Description Logic (DL
2007), volume 250 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 235-242, 2007. pdf
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
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
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
Ontologies and description
logics- Diego Calvanese and Nicola Guarino.
Intelligenza Artificiale - The Journal of the Italian
Association for Artificial Intelligence, 3(1/2), 2006.
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
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 Logic (DL
2006), volume 189 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 2006. pdf
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 Logic (DL
2006), volume 189 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 2006. pdf
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
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
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 Logic (DL
2005), volume 147 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 2005. pdf
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 Logic (DL
2004), volume 104 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 2004. ps.gz pdf
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 Logic (DL
2004), volume 104 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 2004. ps.gz
pdf
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 Logic (DL
2004), volume 104 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, 2004. ps.gz pdf
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 Logic (DL
2002), volume 53 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 107-118, 2002. ps.gz
pdf
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
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 Logic (DL
2000), volume 33 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 79-88, 2000. ps.gz
pdf
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
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 Logic
(DL'99), volume 22 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 9-13, 1999. ps.gz
pdf
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 Logic
(DL'98), volume 11 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 69-71, 1998. ps.gz
pdf
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.
ps.gz
pdf
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 Logic
(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.
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
Exploring controlled english
ontology-based data access- Camilo Thorne and Diego Calvanese.
In Pre-Proc. of the 2009 Workshop on Controlled Natural Language
(CNL 2009), volume 448 of CEUR Electronic Workshop
Proceedings, http://ceur-ws.org/, 2009. 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 Logic (DL
2007), volume 250 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 195-202, 2007. pdf
Lite natural language- Raffaella Bernardi, Diego Calvanese, and
Camilo Thorne.
In 7th Int. Workshop on Computational Semantics (IWCS-7),
2007. pdf
Simplifying schema
mappings- Diego Calvanese, Giuseppe De Giacomo, Maurizio
Lenzerini, and Moshe Y. Vardi.
Submitted for publication, 2011.
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), 2010. pdf
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
View-based query
containment- Diego Calvanese, Giuseppe De Giacomo, Maurizio
Lenzerini, and Moshe Y. Vardi.
In Proc. of the 22nd ACM SIGACT SIGMOD SIGART Symp. on
Principles of Database Systems (PODS 2003), pages 56-67, 2003.
pdf
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. ps.gz
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. ps.gz
pdf
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 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
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
Query processing using views
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.
ps.gz
pdf
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.
Extended version appeared in J. of Computer and System Sciences,
64, 2002. ps.gz
pdf
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.
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):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.
Submitted for publication to an international journal, 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. ps.gz pdf
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.
ps.gz
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. 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
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
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- Diego Calvanese, Davide Martinenghi, and
Andrea Calì.
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
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), 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
Answering queries over
relational databases using their conceptual schema- Diego Calvanese, Mantas Simkus, and Sergio
Tessaris.
Manuscript, 2006.
Enterprise modeling and data
warehousing in telecom italia- Diego Calvanese, Luigi Dragone, Daniele
Nardi, Riccardo Rosati, and Stefano M.
Trisolini.
Information Systems, 31(1):1-32, 2006. pdf
Data integration: A
logic-based perspective- Diego Calvanese and Giuseppe De Giacomo.
AI Magazine, 26(1):59-70, 2005.
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
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.
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
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, 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 Logic (DL
2001), volume 49 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 10-19, 2001. ps.gz
pdf
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
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
Run-time optimization of query
planning with limited source capabilities- Andrea Calì and Diego Calvanese.
In Proc. of the 9th Italian Conf. on Database Systems (SEBD
2001), pages 33-44, 2001. ps.gz
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.
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.
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/, 1999. 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.
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
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
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
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
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
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
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), 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), pages 520-526, 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
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
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'05 Workshop on Web Service Semantics:
Towards Dynamic Business Integration (WSS 2005), 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
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. 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
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 Logic (DL
2003), volume 81 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 75-84, 2003. ps.gz pdf
A foundational vision of
e-services- Daniela Berardi, Diego Calvanese, Giuseppe De
Giacomo, Maurizio Lenzerini, and Massimo
Mecella.
In Proc. of the CAiSE 2003 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
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), 2010. To appear. pdf
Checking full satisfiability
of conceptual models- Alessandro Artale, Diego Calvanese, and
Angelica Ibanez-Garcia.
In Proc. of the 23nd Int. Workshop on Description Logic (DL
2010), volume 573 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 55-66, 2010. pdf
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 Roskilde University Computer Science Research
Reports, pages 15-26, 2009. pdf
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 Logic (DL
2003), volume 81 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 28-37, 2003. ps.gz
pdf
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.
ps.gz
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.
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. ps.gz
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
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. ps.gz
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), pages 434-438, 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 Logic
(DL'98), volume 11 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, pages 11-20, 1998. ps.gz
pdf
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 Logic
(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
The multilingual thesaurus of
LAURIN- Diego Calvanese, Tiziana Catarci, Maurizio
Lenzerini, and Giuseppe Santucci.
In Proc. of the 14th Int. Conf. on Software Engineering and
Knowledge Engineering (SEKE 2002), pages 83-90, 2002. pdf
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 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
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.
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 logic (dl 2007)- , volume 250 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, Diego Calvanese, Enrico
Franconi, Volker Haarslev, Domenico Lembo,
Boris Motik, Anni-Yasmin Turhan, and Sergio
Tessaris, editors.
2007.
Proc. of the 16th int.
workshop on description logic (dl 2003)- , volume 81 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, Diego Calvanese, Giuseppe De
Giacomo, and Enrico Franconi, editors.
2003.
Proc. of the 9th int. conf.
on database theory (ICDT 2003)- , volume 2572 of Lecture Notes in Computer Science,
Diego Calvanese, Maurizio Lenzerini, and Rajeev
Motwani, editors.
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)- , volume 54 of CEUR Electronic Workshop Proceedings,
http://ceur-ws.org/, Alex Borgida, Diego
Calvanese, Laurence Cholvy, and Marie-Christine
Rousset, editors.
2002.
Diego
Calvanese's home page.
Last modified: