Diego Calvanese's
Publications (by topic)
The same list sorted by year.
VIG: Data scaling for OBDA
benchmarks- Davide Lanti, Guohui Xiao, and Diego
Calvanese.
Semantic Web J., 10(2):413--433, 2019. [pdf]
[url]
Ontology-based access to
temporal data with Ontop: A framework proposal- Elem Güzel Kalayci, Sebastian Brandt,
Diego Calvanese, Vladislav Ryzhikov, Guohui
Xiao, and Michael Zakharyaschev.
Applied Mathematics and Computer Science, 29(1):17--30,
2019. [pdf] [url]
Semantic DMN: Formalizing
and reasoning about decisions in the presence of background
knowledge- Diego Calvanese, Marco Montali, Marlon
Dumas, and Fabrizio M. Maggi.
Theory and Practice of Logic Programming,
19(4):536--573, 2019. [pdf]
[url]
Virtual Knowledge
Graphs: An overview of systems and use cases- Guohui Xiao, Linfang Ding, Benjamin
Cogrel, and Diego Calvanese.
Data Intelligence, 1(3):201--223, 2019. [pdf]
[url]
Ontology-based data
access -- Beyond relational sources- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, Julien Corman, and Guohui Xiao.
Intelligenza Artificiale, 13(1):21--36, 2019. [pdf]
[url]
Consistency assessment
for open geodata integration: An ontology-based
approach- Linfang Ding, Guohui Xiao, Diego
Calvanese, and Liqiu Meng.
GeoInformatica, 2019. [pdf]
[url]
Two-dimensional rule
language for querying sensor log data: A framework and use
cases- Sebastian Brandt, Diego Calvanese, Elem
Güzel Kalayci, Roman Kontchakov, Benjamin
Mörzinger, Vladislav Ryzhikov, Guohui
Xiao, and Michael Zakharyaschev.
In Proc. of the 26th Int. Symp. on Temporal Representation
and Reasoning (TIME 2019), volume 147 of Leibniz
International Proceedings in Informatics (LIPIcs), pages
7:1--7:15, Dagstuhl, Germany, 2019. Schloss
Dagstuhl--Leibniz-Zentrum für Informatik. [pdf] [url]
Enriching ontology-based
data access with provenance- Diego Calvanese, Davide Lanti, Ana
Ozaki, Rafael Peñaloza, and Guohui
Xiao.
In Proc. of the 28th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2019), pages 1616--1623. Int. Joint
Conf. on Artificial Intelligence Organization, 2019. [pdf]
[url]
Semantic technologies
for data access and integration- Diego Calvanese and Guohui Xiao.
In Proc. of the 27th ACM Int. Conf. on Information and
Knowledge Management (CIKM 2018), pages 2303--2304, 2018.
[pdf]
[url]
Ontop-temporal: A
tool for ontology-based query answering over temporal
data- Elem Güzel Kalayci, Guohui Xiao,
Vladislav Ryzhikov, Tahir Emre Kalayci, and
Diego Calvanese.
In Proc. of the 27th ACM Int. Conf. on Information and
Knowledge Management (CIKM 2018), pages 1927--1930, 2018.
[pdf]
[url]
A generalized framework
for ontology-based data access- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, Julien Corman, and Guohui Xiao.
In Proc. of the 17th Int. Conf. of the Italian Assoc. for
Artificial Intelligence (AI*IA 2018), volume 11298 of
Lecture Notes in Computer Science, pages 166--180.
Springer, 2018. Best paper award. [pdf]
Efficient handling of
SPARQL OPTIONAL for OBDA- Guohui Xiao, Roman Kontchakov, Benjamin
Cogrel, Diego Calvanese, and Elena
Botoeva.
In Proc. of the 17th Int. Semantic Web Conf. (ISWC
2018), volume 11136 of Lecture Notes in Computer
Science, pages 354--373. Springer, 2018. [pdf] [url]
Ontology-based data
access: A survey- Guohui Xiao, Diego Calvanese, Roman
Kontchakov, Domenico Lembo, Antonella Poggi,
Riccardo Rosati, and Michael Zakharyaschev.
In Proc. of the 27th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2018), pages 5511--5519. Int. Joint
Conf. on Artificial Intelligence Organization, 2018. [pdf]
[url]
Formalization and
complexity of MongoDB queries (Extended abstract)- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, and Guohui Xiao.
In Proc. of the 26th Italian Symp. on Advanced Database
Systems (SEBD 2018), volume 2161 of CEUR Workshop
Proceedings, http://ceur-ws.org/, 2018. [pdf]
[url]
Efficient ontology-based
data integration with canonical IRIs- Guohui Xiao, Dag Hovland, Dimitris
Bilidas, Martin Rezk, Martin Giese, and
Diego Calvanese.
In Proc. of the 15th Extended Semantic Web Conf. (ESWC
2018), volume 10843 of Lecture Notes in Computer
Science, pages 697--713. Springer, 2018. [pdf] [url]
Expressivity and
complexity of MongoDB queries- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, and Guohui Xiao.
In Proc. of the 21st Int. Conf. on Database Theory (ICDT
2018), volume 98 of Leibniz International Proceedings in
Informatics (LIPIcs), pages 9:1--9:23, Dagstuhl, Germany,
2018. Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
[pdf]
[url]
Efficient
handling of SPARQL OPTIONAL for OBDA (Extended
version)- Guohui Xiao, Roman Kontchakov, Benjamin
Cogrel, Diego Calvanese, and Elena
Botoeva.
CoRR Technical Report arXiv:1806.05918, arXiv.org e-Print
archive, 2018. Available at http://arxiv.org/abs/1806.05918.
[url]
Cost-driven
ontology-based data access (Extended version)- Davide Lanti, Guohui Xiao, and Diego
Calvanese.
CoRR Technical Report arXiv:1707.06974, arXiv.org e-Print
archive, 2018. Available at http://arxiv.org/abs/1707.06974.
[pdf]
[url]
Expressivity and
complexity of MongoDB (Extended version)- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, and Guohui Xiao.
CoRR Technical Report arXiv:1603.09291, arXiv.org e-Print
archive, 2017. Available at http://arxiv.org/abs/1603.09291.
[pdf]
[url]
Metric Temporal Logic
for ontology-based data access over log data- Diego Calvanese, Elem Güzel Kalayci,
Vladislav Ryzhikov, Guohui Xiao, and Michael
Zakharyaschev.
CoRR Technical Report arXiv:1701.00976, arXiv.org e-Print
archive, 2017. Available at http://arxiv.org/abs/1701.00976.
[pdf]
[url]
Cost-driven ontology-based
data access- Davide Lanti, Guohui Xiao, and Diego
Calvanese.
In Proc. of the 16th Int. Semantic Web Conf. (ISWC
2017), volume 10587 of Lecture Notes in Computer
Science, pages 452--470. Springer, 2017. [pdf]
[url]
Formalizing MongoDB
queries- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, and Guohui Xiao.
In Proc. of the 11th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2017), volume 1912 of
CEUR Workshop Proceedings, http://ceur-ws.org/, 2017.
[pdf]
[url]
Ontology-based data access
and integration- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
In Ling Liu and M. Tamer Özsu, editors, Encyclopedia of
Database Systems, pages 1--7. Springer, 2017. [pdf] [url]
Ontop: Answering SPARQL
queries over relational databases- Diego Calvanese, Benjamin Cogrel, Sarah
Komla-Ebri, Roman Kontchakov, Davide Lanti,
Martin Rezk, Mariano Rodriguez-Muro, and
Guohui Xiao.
Semantic Web J., 8(3):471--487, 2017. Semantic Web
Journal outstanding paper award for 2016. [pdf] [url]
A semantic approach to
polystores- Evgeny Kharlamov, Theofilos P. Mailis,
Konstantina Bereta, Dimitris Bilidas,
Sebastian Brandt, Ernesto Jiménez-Ruiz,
Steffen Lamparter, Christian Neuenstadt,
Özgür L. Özçep, Ahmet
Soylu, Christoforos Svingos, Guohui Xiao,
Dmitriy Zheleznyakov, Diego Calvanese, Ian
Horrocks, Martin Giese, Yannis E. Ioannidis,
Yannis Kotidis, Ralf Möller, and Arild
Waaler.
In Proc. of the 4th IEEE Int. Conf. on Big Data (BigData
2016), pages 2565--2573, 2016. [pdf]
An evaluation of VIG
with the BSBM benchmark- Davide Lanti, Guohui Xiao, and Diego
Calvanese.
In Proc. of the 15th Int. Semantic Web Conf., Posters &
Demonstrations Track (ISWC-2016 PD), volume 1690 of CEUR
Workshop Proceedings, http://ceur-ws.org/, 2016. [pdf]
[url]
Fast and simple data
scaling for OBDA benchmarks- Davide Lanti, Guohui Xiao, and Diego
Calvanese.
In Proc. of the Workshop on Benchmarking Linked Data (BLINK
2016), co-located with ISWC 2016, volume 1700 of CEUR
Workshop Proceedings, http://ceur-ws.org/, 2016. [pdf]
[url]
Data scaling in OBDA
benchmarks: The VIG approach- Davide Lanti, Guohui Xiao, and Diego
Calvanese.
CoRR Technical Report arXiv:1607.06343, arXiv.org e-Print
archive, 2016. Available at http://arxiv.org/abs/1607.06343.
[pdf]
[url]
Towards practical OBDA with
temporal ontologies (Position paper)- Diego Calvanese, Elem Güzel Kalayci,
Vladislav Ryzhikov, and Guohui Xiao.
In Proc. of the 10th Int. Conf. on Web Reasoning and Rule
Systems (RR 2016), volume 9898 of Lecture Notes in
Computer Science, pages 18--24. Springer, 2016. [pdf]
[url]
OBDA over
non-relational databases- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, Martin Rezk, and Guohui Xiao.
In Proc. of the 10th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2016), volume 1644 of
CEUR Workshop Proceedings, http://ceur-ws.org/, 2016.
[pdf]
[url]
OBDA beyond
relational DBs: A study for MongoDB- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, Martin Rezk, and Guohui Xiao.
In Proc. of the 29th Int. Workshop on Description Logics (DL
2016), volume 1577 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2016. [pdf]
[url]
Virtual OBDA
over expressive ontologies: Rewritings and
approximations- Elena Botoeva, Diego Calvanese, Valerio
Santarelli, Domenico Fabio Savo, Alessandro
Solimando, and Guohui Xiao.
In Proc. of the 29th Int. Workshop on Description Logics (DL
2016), volume 1577 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2016. [pdf]
[url]
Beyond OWL 2 QL in OBDA:
Rewritings and approximations- Elena Botoeva, Diego Calvanese, Valerio
Santarelli, Domenico Fabio Savo, Alessandro
Solimando, and Guohui Xiao.
In Proc. of the 30th AAAI Conf. on Artificial Intelligence
(AAAI 2016), pages 921--928, 2016. [pdf] [url]
Ontology-based data
integration in EPNet: Production and distribution of food
during the Roman Empire- Diego Calvanese, Pietro Liuzzo, Alessandro
Mosca, Jose Remesal, Martin Rezk, and
Guillem Rull.
Engineering Applications of Artificial Intelligence,
51:212--229, 2016. [pdf]
Preface to
the special issue on ontology-based data access- Diego Calvanese, Manolis Koubarakis, and
David Toman.
J. of Web Semantics, 33:1--2, 2015. [pdf]
[url]
Ontology-based integration
of cross-linked datasets- Diego Calvanese, Martin Giese, Dag
Hovland, and Martin Rezk.
In Proc. of the 14th Int. Semantic Web Conf. (ISWC
2015), volume 9366 of Lecture Notes in Computer
Science, pages 199--216. Springer, 2015. [pdf]
[url]
A 'historical
case' of ontology-based data access- Diego Calvanese, Alessandro Mosca, Jose
Remesal, Martin Rezk, and Guillem Rull.
In Proc. of Digital Heritage 2015 (DH 2015), pages
291--298. IEEE Computer Society Press, 2015. [pdf]
[url]
How to stay Ontop of
your data: Databases, ontologies and more- Diego Calvanese, Benjamin Cogrel, Sarah
Komla-Ebri, Davide Lanti, Martin Rezk, and
Guohui Xiao.
In Revised Selected Papers of ESWC 2015 Satellite
Events, volume 9341 of Lecture Notes in Computer
Science, pages 20--25. Springer, 2015. [pdf]
[url]
OBDA with the Ontop
framework- Diego Calvanese, Benjamin Cogrel, Elem
Güzel Kalayci, Sarah Komla Ebri, Roman
Kontchakov, Davide Lanti, Martin Rezk,
Mariano Rodriguez-Muro, and Guohui Xiao.
In Proc. of the 23rd Italian Symp. on Advanced Database
Systems (SEBD 2015), pages 296--303, 2015. [pdf]
The NPD benchmark: Reality
check for OBDA systems- Davide Lanti, Martin Rezk, Guohui
Xiao, and Diego Calvanese.
In Proc. of the 18th Int. Conf. on Extending Database
Technology (EDBT 2015), pages 617--628.
OpenProceedings.org, 2015. [pdf]
[url]
The NPD benchmark for OBDA
systems- Davide Lanti, Martin Rezk, Mindaugas
Slusnys, Guohui Xiao, and Diego
Calvanese.
In Proc. of the 10th Int. Workshop on Scalable Semantic Web
Knowledge Base Systems (SSWS 2014), volume 1261 of CEUR
Workshop Proceedings, http://ceur-ws.org/, pages 3--18,
2014. [pdf] [url]
The Ontop framework for
ontology based data access- Timea Bagosi, Diego Calvanese, Josef
Hardi, Sarah Komla-Ebri, Davide Lanti,
Martin Rezk, Mariano Rodriguez-Muro, Mindaugas
Slusnys, and Guohui Xiao.
In Proc. of the 8th Chinese Semantic Web Symposium and Web
Science Conference (Posters and Demos), volume 480 of
Communications in Computer and Information Science,
pages 67--77. Springer, 2014. [pdf]
Rules and ontology based
data access- Guohui Xiao, Martin Rezk, Mariano
Rodriguez-Muro, and Diego Calvanese.
In Proc. of the 8th Int. Conf. on Web Reasoning and Rule
Systems (RR 2014), volume 8741 of Lecture Notes in
Computer Science, pages 157--172. Springer, 2014. [pdf]
[url]
A scalable benchmark for
OBDA systems: Preliminary report- Diego Calvanese, Davide Lanti, Martin
Rezk, Mindaugas Slusnys, and Guohui Xiao.
In Proc. of the 3rd Int. Workshop on OWL Reasoner Evaluation
(ORE 2014), volume 1207 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 36--43, 2014. [pdf] [url]
Scalable end-user
access to Big Data- Martin Giese, Diego Calvanese, Peter
Haase, Ian Horrocks, Yannis Ioannidis,
Heralk Kllapi, Manolis Koubarakis, Maurizio
Lenzerini, Ralf Möller, Özgür
Özcep, Mariano Rodriguez-Muro, Riccardo
Rosati, Rudolf Schlatte, Michael Schmidt,
Ahmet Soylu, and Arild Waaler.
In Rajendra Akerkar, editor, Big Data Computing, chapter
6. CRC Press, 2013. [pdf]
Optique: OBDA solution
for big data- D. Calvanese, M. Giese, P. Haase,
I. Horrocks, T. Hubauer, Y. Ioannidis,
E. Jiménez-Ruiz, E. Kharlamov, H.
Kllapi, J. Klüwer, M. Koubarakis, S.
Lamparter, R. Möller, C. Neuenstadt,
T. Nordtveit, Ö. Özcep, M.
Rodriguez-Muro, M. Roshchin, F. Savo, M.
Schmidt, A. Soylu, A. Waaler, and D.
Zheleznyakov.
In Revised Selected Papers of ESWC 2013 Satellite
Events, volume 7955 of Lecture Notes in Computer
Science, pages 293--295. Springer, 2013. [pdf]
[url]
Evaluating SPARQL-to-SQL
translation in ontop- Mariano Rodriguez-Muro, Martin Rezk, Josef
Hardi, Mindaugas Slusnys, Timea Bagosi, and
Diego Calvanese.
In Proc. of the 2nd Int. Workshop on OWL Reasoner Evaluation
(ORE 2013), volume 1015 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 94--100, 2013. [pdf] [url]
The Optique
project: Towards OBDA systems for industry- D. Calvanese, M. Giese, P. Haase,
I. Horrocks, T. Hubauer, Y. Ioannidis,
E. Jiménez-Ruiz, E. Kharlamov, H.
Kllapi, J. Klüwer, M. Koubarakis, S.
Lamparter, R. Möller, C. Neuenstadt,
T. Nordtveit, Ö. Özcep, M.
Rodriguez-Muro, M. Roshchin, M. Ruzzi, F.
Savo, M. Schmidt, A. Soylu, A. Waaler,
and D. Zheleznyakov.
In Proc. of the 10th Int. Workshop on OWL: Experiences and
Directions (OWLED 2013), volume 1080 of CEUR Workshop
Proceedings, http://ceur-ws.org/, 2013. [pdf]
[url]
On rewriting
and answering queries in OBDA systems for big data- Diego Calvanese, Ian Horrocks, Ernesto
Jiménez-Ruiz, Evgeny Kharlamov, Michael
Meier, Mariano Rodriguez-Muro, and Dmitriy
Zheleznyakov.
In Proc. of the 10th Int. Workshop on OWL: Experiences and
Directions (OWLED 2013), volume 1080 of CEUR Workshop
Proceedings, http://ceur-ws.org/, 2013. [pdf]
[url]
Quest: Efficient
SPARQL-to-SQL for RDF and OWL- Mariano Rodriguez-Muro, Josef Hardi, and
Diego Calvanese.
In Proc. of the 11th Int. Semantic Web Conf., Posters &
Demonstrations Track (ISWC-2012 PD), volume 914 of CEUR
Workshop Proceedings, http://ceur-ws.org/, 2012. [pdf]
[url]
Quest, an OWL 2 QL
reasoner for ontology-based data access- Mariano Rodriguez-Muro and Diego
Calvanese.
In Proc. of the 9th Int. Workshop on OWL: Experiences and
Directions (OWLED 2012), volume 849 of CEUR Workshop
Proceedings, http://ceur-ws.org/, 2012. [pdf]
[url]
High performance query
answering over DL-Lite ontologies- Mariano Rodriguez-Muro and Diego
Calvanese.
In Proc. of the 13th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2012), pages 308--318.
AAAI Press, 2012. [pdf]
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]
Dependencies to
optimize ontology based data access- Mariano Rodriguez-Muro and Diego
Calvanese.
In Proc. of the 24th Int. Workshop on Description Logics (DL
2011), volume 745 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 367--377, 2011. [pdf] [url]
Dependencies: Making
ontology based data access work in practice- Mariano Rodriguez-Muro and Diego
Calvanese.
In Proc. of the 5th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2011), volume 749 of
CEUR Workshop Proceedings, 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 J., 2(1):43--53, 2011. Listed among the 5
most cited papers in the first five years of the Semantic Web
Journal . [pdf] [url]
Ontologies and databases:
The DL-Lite approach- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, Antonella
Poggi, Mariano Rodriguez-Muro, and Riccardo
Rosati.
In Sergio Tessaris and Enrico Franconi, editors, Reasoning
Web: Semantic Technologies for Informations Systems -- 5th Int.
Summer School Tutorial Lectures (RW 2009), volume 5689 of
Lecture Notes in Computer Science, pages 255--356.
Springer, 2009. [pdf] [url]
Towards an open
framework for ontology based data access with
Protégé and DIG 1.1- Mariano Rodriguez-Muro and Diego
Calvanese.
In Proc. of the 5th Int. Workshop on OWL: Experiences and
Directions (OWLED 2008), volume 432 of CEUR Workshop
Proceedings, 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 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]
Linking data to
ontologies- Antonella Poggi, Domenico Lembo, Diego
Calvanese, Giuseppe De Giacomo, Maurizio
Lenzerini, and Riccardo Rosati.
J. on Data Semantics, 10:133--173, 2008. [pdf]
Ontology-based
database access- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, Antonella
Poggi, and Riccardo Rosati.
In Proc. of the 15th Italian Symp. on Advanced Database
Systems (SEBD 2007), pages 324--331, 2007. [pdf]
Mastro-i: Efficient
integration of relational data through DL ontologies- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, Antonella
Poggi, and Riccardo Rosati.
In Proc. of the 20th Int. Workshop on Description Logics (DL
2007), volume 250 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 227--234, 2007. [pdf] [url]
An extension of DIG
2.0 for handling bulk data- Diego Calvanese and Mariano
Rodriguez-Muro.
In Proc. of the 3rd Int. Workshop on OWL: Experiences and
Directions (OWLED 2007), volume 258 of CEUR Workshop
Proceedings, http://ceur-ws.org/, 2007. [pdf]
[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 Workshop
Proceedings, http://ceur-ws.org/, 2006. [pdf]
[url]
On expansion and
contraction of DL-Lite knowledge bases- Dmitriy Zheleznyakov, Evgeny Kharlamov,
Werner Nutt, and Diego Calvanese.
J. of Web Semantics, 57:1--19, 2019. [pdf]
[url]
Proc. of the 3rd
int. joint conf. on rules and reasoning (ruleml+rr
2019)- Paul Fodor, Marco Montali, Diego
Calvanese, and Dimitru Roman, editors.
Volume 11784 of Lecture Notes in Computer Science
Springer 2019. [url]
First-order ontology
mediated database querying via query reformulation- Diego Calvanese and Enrico Franconi.
In Sergio Flesca, Sergio Greco, Elio Masciari, and Domenico
Saccà, editors, A Comprehensive Guide Through the
Italian Database Research Over the Last 25 Years, volume 31
of Studies in Big Data, pages 169--185. Springer, 2018.
[pdf]
[url]
Managing change in
graph-structured data using description logics- Shqiponja Ahmetaj, Diego Calvanese,
Magdalena Ortiz, and Mantas Simkus.
ACM Trans. on Computational Logic, 18(4):27:1--27:35,
2017. [pdf]
[url]
Reasoning Web: Logical
foundation of knowledge graph construction and query answering
-- 12th int. summer school tutorial lectures (RW 2016)- Jeff Z. Pan, Diego Calvanese, Thomas
Eiter, Ian Horrocks, Michael Kifer,
Fangzhen Lin, and Yuting Zhao, editors.
Volume 9885 of Lecture Notes in Computer Science
Springer 2016. [url]
Knowledge base exchange:
The case of OWL 2 QL- Marcelo Arenas, Elena Botoeva, Diego
Calvanese, and Vladislav Ryzhikov.
Artificial Intelligence, 238:11--62, 2016. [pdf]
[url]
Handling inconsistencies
due to class disjointness in SPARQL updates- Albin Ahmeti, Diego Calvanese, Axel
Polleres, and Vadim Savenkov.
In Proc. of the 13th Extended Semantic Web Conf. (ESWC
2016), volume 9678 of Lecture Notes in Computer
Science, pages 387--404. Springer, 2016. [pdf]
[url]
Reasoning over
evolving graph-structured data under constraints- Diego Calvanese.
In Proc. of the 10th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2016), volume 1577 of
CEUR Workshop Proceedings, http://ceur-ws.org/, 2016.
[url]
Managing change in
graph-structured data using description logics- Diego Calvanese.
In Proc. of the 29th Int. Workshop on Description Logics (DL
2016), volume 1577 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2016. [url]
Verification of evolving
graph-structured data under expressive path
constraints- Diego Calvanese, Magdalena Ortiz, and
Mantas Simkus.
In Proc. of the 19th Int. Conf. on Database Theory (ICDT
2016), volume 48 of Leibniz International Proceedings in
Informatics (LIPIcs), pages 15:1--15:19, Dagstuhl, Germany,
2016. Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
[pdf]
[url]
A formal
presentation of MongoDB (Extended version)- Elena Botoeva, Diego Calvanese, Benjamin
Cogrel, Martin Rezk, and Guohui Xiao.
CoRR Technical Report arXiv:1603.09291v1, arXiv.org e-Print
archive, 2016. Available at http://arxiv.org/abs/1603.09291v1.
[url]
Data complexity of
query answering in description logics (Extended
abstract)- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
In Proc. of the 24th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2015), pages 4163--4167. AAAI Press,
2015. [pdf]
[url]
Dealing with
inconsistencies due to class disjointness in SPARQL
update- Albin Ahmeti, Diego Calvanese, Axel
Polleres, and Vadim Savenkov.
In Proc. of the 28th Int. Workshop on Description Logics (DL
2015), volume 1350 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2015. [pdf]
[url]
Updating RDFS ABoxes and
TBoxes in SPARQL- Albin Ahmeti, Diego Calvanese, and Axel
Polleres.
In Proc. of the 13th Int. Semantic Web Conf. (ISWC
2014), volume 8796 of Lecture Notes in Computer
Science, pages 441--456. Springer, 2014. [pdf]
[url]
Query answering
over description logic ontologies- Diego Calvanese.
In Proc. of the 14th European Conf. on Logics in Artificial
Intelligence (JELIA 2014), volume 8761 of Lecture Notes
in Computer Science, pages 1--17. Springer, 2014. [pdf] [url]
Shape and content: A
database-theoretic perspective on the analysis of data
structures- Diego Calvanese, Tomer Kotek, Mantas
Simkus, Helmut Veith, and Florian
Zuleger.
In Proc. of the 11th Int. Conf. on Integrated Formal Methods
(IFM 2014), volume 8739 of Lecture Notes in Computer
Science, pages 3--17. Springer, 2014. [pdf] [url]
Planning problems
for graph structured data in description logics- Shqiponja Ahmetaj, Diego Calvanese,
Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 27th Int. Workshop on Description Logics (DL
2014), volume 1193 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 4--7, 2014. [pdf]
[url]
SPARQL update
for materialized triple stores under DL-LiteRDFS
entailment- Albin Ahmeti, Diego Calvanese, and Axel
Polleres.
In Proc. of the 27th Int. Workshop on Description Logics (DL
2014), volume 1193 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 8--20, 2014. [pdf]
[url]
Expressive
identification constraints to capture functional dependencies
in description logics- Diego Calvanese, Wolfgang Fischl, Reinhard
Pichler, Emanuel Sallinger, and Mantas
Simkus.
In Proc. of the 27th Int. Workshop on Description Logics (DL
2014), volume 1193 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 416--420, 2014. [pdf]
[url]
Shape and content:
Incorporating domain knowledge into shape analysis- Diego Calvanese, Tomer Kotek, Mantas
Simkus, Helmut Veith, and Florian
Zuleger.
In Proc. of the 27th Int. Workshop on Description Logics (DL
2014), volume 1193 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 124--127, 2014. [pdf]
[url]
Nested regular
path queries in description logics (extended abstract)- Meghyn Bienvenu, Diego Calvanese,
Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 8th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2014), volume 1189 of
CEUR Workshop Proceedings, http://ceur-ws.org/, 2014.
[pdf]
[url]
Planning and
change in graph structured data under description logics
constraints- Shqiponja Ahmetaj, Diego Calvanese,
Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 8th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2014), volume 1189 of
CEUR Workshop Proceedings, http://ceur-ws.org/, 2014.
[pdf]
[url]
Managing change
in graph-structured data using description logics- Shqiponja Ahmetaj, Diego Calvanese,
Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 28th AAAI Conf. on Artificial Intelligence
(AAAI 2014), pages 966--973. AAAI Press, 2014. [pdf]
[url]
Managing
change in graph-structured data using description logics (Long
version with appendix)- Shqiponja Ahmetaj, Diego Calvanese,
Magdalena Ortiz, and Mantas Simkus.
CoRR Technical Report arXiv:1404.4274, arXiv.org e-Print
archive, 2014. Available at http://arxiv.org/abs/1404.4274.
[pdf]
[url]
Capturing relational
schemas and functional dependencies in RDFS- Diego Calvanese, Wolfgang Fischl, Reinhard
Pichler, Emanuel Sallinger, and Mantas
Simkus.
In Proc. of the 28th AAAI Conf. on Artificial Intelligence
(AAAI 2014), pages 1003--1011. AAAI Press, 2014. [pdf] [url]
Answering regular path
queries in expressive description logics via alternating
tree-automata- Diego Calvanese, Thomas Eiter, and
Magdalena Ortiz.
Information and Computation, 237:12--55, 2014. [pdf]
[url]
Nested regular
path queries in description logics- Meghyn Bienvenu, Diego Calvanese,
Magdalena Ortiz, and Mantas Simkus.
In Proc. of the 14th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2014), pages 218--227.
AAAI Press, 2014. [pdf]
[url]
Preface to the
special issue on selected papers presented at the 4th
International Conference on Web Reasoning and Rule Systems (RR
2010)- Diego Calvanese and Thomas Lukasiewicz.
Semantic Web J., 4(4):349, 2013. [pdf]
[url]
Finite model reasoning
on UML class diagrams via constraint programming- Marco Cadoli, Diego Calvanese, Giuseppe De
Giacomo, and Toni Mancini.
Intelligenza Artificiale, 7(1):57--65, 2013. [pdf]
[url]
Extending DL-LiteA
with (singleton) nominals- Maxim G. Haddad and Diego Calvanese.
In Proc. of the 26th Int. Workshop on Description Logics (DL
2013), volume 1014 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 704--723, 2013. [pdf] [url]
Computing
solutions in OWL 2 QL knowledge base exchange- Marcelo Arenas, Elena Botoeva, Diego
Calvanese, and Vladislav Ryzhikov.
In Proc. of the 26th Int. Workshop on Description Logics (DL
2013), volume 1014 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 4--16, 2013. [pdf]
[url]
Reasoning
about explanations for negative query answers in
DL-Lite- Diego Calvanese, Magdalena Ortiz, Mantas
Simkus, and Giorgio Stefanoni.
J. of Artificial Intelligence Research, 48:635--669,
2013. [pdf]
[url]
Exchanging
OWL 2 QL knowledge bases- Marcelo Arenas, Elena Botoeva, Diego
Calvanese, and Vladislav Ryzhikov.
In Proc. of the 23rd Int. Joint Conf. on Artificial
Intelligence (IJCAI 2013), 2013. Extended version available
as CoRR technical report at http://arxiv.org/abs/1304.5810.
[pdf]
[url]
Exchanging OWL
2 QL knowledge bases (Extended version)- Marcelo Arenas, Elena Botoeva, Diego
Calvanese, and Vladislav Ryzhikov.
CoRR Technical Report arXiv:1304.5810, arXiv.org e-Print
archive, March 2013. Available at
http://arxiv.org/abs/1304.5810. [pdf]
[url]
Data complexity of query
answering in description logics- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
Artificial Intelligence, 195:335--360, 2013. [pdf] [url]
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]
Representability
in DL-LiteR knowledge base exchange- Marcelo Arenas, Elena Botoeva, Diego
Calvanese, Vladislav Ryzhikov, and Evgeny
Sherkhonov.
In Proc. of the 25th Int. Workshop on Description Logics (DL
2012), volume 846 of CEUR Workshop Proceedings,
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]
Exchanging
description logic knowledge bases- Marcelo Arenas, Elena Botoeva, Diego
Calvanese, Vladislav Ryzhikov, and Evgeny
Sherkhonov.
In Proc. of the 13th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2012), pages 563--567.
AAAI Press, 2012. [pdf]
The complexity
of explaining negative query answers in DL-Lite- Diego Calvanese, Magdalena Ortiz, Mantas
Simkus, and Giorgio Stefanoni.
In Proc. of the 13th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2012), pages 583--587.
AAAI Press, 2012. [pdf]
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]
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]
Knowledge base
exchange- Marcelo Arenas, Elena Botoeva, and Diego
Calvanese.
In Proc. of the 24th Int. Workshop on Description Logics (DL
2011), volume 745 of CEUR Workshop Proceedings,
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 Workshop Proceedings,
http://ceur-ws.org/, pages 81--91, 2011. [pdf]
[url]
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 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 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 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. [pdf]
[url]
The DL-Lite family and
relations- Alessandro Artale, Diego Calvanese, Roman
Kontchakov, and Michael Zakharyaschev.
J. of Artificial Intelligence Research, 36:1--69, 2009.
[pdf]
[url]
Using OWL in data
integration- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, Riccardo
Rosati, and Marco Ruzzi.
In R. De Virgilio, F. Giunchiglia, and L. Tanca, editors,
Semantic Web Information Management -- A Model-Based
Perspective, chapter 17, pages 397--424. Springer, 2009.
[pdf]
DL-Lite without
UNA- Alessandro Artale, Diego Calvanese, Roman
Kontchakov, and Michael Zakharyaschev.
In Proc. of the 22nd Int. Workshop on Description Logics (DL
2009), volume 477 of CEUR Workshop Proceedings,
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 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]
[url]
Aggregate queries over
ontologies- Diego Calvanese, Evgeny Kharlamov, Werner
Nutt, and Camilo Thorne.
In Proc. of the 2nd Int. Workshop on Ontologies and Inf.
Systems for the Semantic Web (ONISW 2008), pages 97--104,
2008. [pdf]
[url]
Explanation in the
DL-Lite family of description logics- Alexander Borgida, Diego Calvanese, and
Mariano Rodriguez-Muro.
In Proc. of the 7th Int. Conf. on Ontologies, DataBases, and
Applications of Semantics (ODBASE 2008), volume 5332 of
Lecture Notes in Computer Science, pages 1440--1457.
Springer, 2008. [pdf]
[url]
View-based query
answering over description logic ontologies- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 11th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2008), pages 242--251.
AAAI Press, 2008. [pdf]
Path-based
identification constraints in description logics- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
In Proc. of the 11th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2008), pages 231--241.
AAAI Press, 2008. [pdf]
Data integration through
DL-LiteA ontologies- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, Antonella
Poggi, Riccardo Rosati, and Marco Ruzzi.
In Klaus-Dieter Schewe and Bernhard Thalheim, editors,
Revised Selected Papers of the 3rd Int. Workshop on
Semantics in Data and Knowledge Bases (SDKB 2008), volume
4925 of Lecture Notes in Computer Science, pages 26--47.
Springer, 2008. [pdf] [url]
Explanation in
DL-Lite- Alexander Borgida, Diego Calvanese, and
Mariano Rodriguez-Muro.
In Proc. of the 21st Int. Workshop on Description Logics (DL
2008), volume 353 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2008. [pdf]
[url]
Data complexity of query
answering in expressive description logics via
tableaux- Magdalena Ortiz, Diego Calvanese, and
Thomas Eiter.
J. of Automated Reasoning, 41(1):61--98, 2008. [pdf]
Conjunctive query
containment and answering under description logics
constraints- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
ACM Trans. on Computational Logic, 9(3):22.1--22.31,
2008. [pdf]
[url]
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]
Query answering in
expressive variants of DL-Lite- Alessandro Artale, Diego Calvanese, Roman
Kontchakov, and Michael Zakharyaschev.
In Proc. of the 15th Italian Symp. on Advanced Database
Systems (SEBD 2007), pages 250--257, 2007. [pdf]
Answering
regular path queries in expressive description logics: An
automata-theoretic approach- Diego Calvanese, Thomas Eiter, and
Magdalena Ortiz.
In Proc. of the 22nd AAAI Conf. on Artificial Intelligence
(AAAI 2007), pages 391--396, 2007. [pdf]
DL-Lite in the
light of first-order logic- Alessandro Artale, Diego Calvanese, Roman
Kontchakov, and Michael Zakharyaschev.
In Proc. of the 22nd AAAI Conf. on Artificial Intelligence
(AAAI 2007), pages 361--366, 2007. [pdf]
Actions and programs
over description logic ontologies- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 20th Int. Workshop on Description Logics (DL
2007), volume 250 of CEUR Workshop Proceedings,
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 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]
A proof theory
for DL-Lite- Diego Calvanese, Evgeny Kharlamov, and
Werner Nutt.
In Proc. of the 20th Int. Workshop on Description Logics (DL
2007), volume 250 of CEUR Workshop Proceedings,
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 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]
Ontologies and
description logics- Diego Calvanese and Nicola Guarino.
Intelligenza Artificiale, 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 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 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 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 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 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 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 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 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 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 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 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 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 1999), 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
1999), volume 22 of CEUR 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
1998), volume 11 of CEUR 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 1998), pages 149--158,
1998. [pdf]
[url]
Conjunctive query
containment in Description Logics with n-ary relations- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 10th Int. Workshop on Description Logics (DL
1997), pages 5--9, 1997. [ps.gz]
[pdf]
Finite model reasoning in
description logics- Diego Calvanese.
In Proc. of the 5th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 1996), pages 292--303.
Morgan Kaufmann, 1996. [ps.gz] [pdf]
Reasoning with inclusion
axioms in description logics: Algorithms and
complexity- Diego Calvanese.
In Proc. of the 12th European Conf. on Artificial
Intelligence (ECAI 1996), pages 303--307. John Wiley &
Sons, 1996. [ps.gz] [pdf]
A unified framework for
class based representation formalisms- Diego Calvanese, Maurizio Lenzerini, and
Daniele Nardi.
In Proc. of the 4th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 1994), pages 109--120.
Morgan Kaufmann, 1994. [ps.gz]
[pdf]
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.
Conceptual schema
transformation in ontology-based data access- Diego Calvanese, Tahir Emre Kalayci, Marco
Montali, Ario Santoso, and Wil van der
Aalst.
In Proc. of the 21st Int. Conf. on Knowledge Engineering and
Knowledge Management (EKAW 2018), volume 11313 of
Lecture Notes in Computer Science, pages 50--67.
Springer, 2018. [pdf]
Conceptual schema
transformation in ontology-based data access (Extended
abstract)- Diego Calvanese, Tahir Emre Kalayci, Marco
Montali, Ario Santoso, and Wil van der
Aalst.
In Proc. of the 31st Int. Workshop on Description Logics (DL
2018), volume 2211 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2018. [pdf] [url]
The onprom toolchain
for extracting business process logs using ontology-based data
access- Diego Calvanese, Tahir Emre Kalayci, Marco
Montali, and Ario Santoso.
In Proc. of the BPM Demo Track and BPM Dissertation Award,
co-located with 15th Int. Conf. on Business Process Management
(BPM 2017), volume 1920 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2017. [pdf]
[url]
OBDA for log extraction in
process mining- Diego Calvanese, Tahir Emre Kalayci, Marco
Montali, and Ario Santoso.
In Giovambattista Ianni, Domenico Lembo, Leopoldo Bertossi,
Wolfgang Faber, Birte Glimm, Georg Gottlob, and Steffen Staab,
editors, Reasoning Web: Semantic Interoperability on the Web
-- 13th Int. Summer School Tutorial Lectures (RW 2017),
volume 10370 of Lecture Notes in Computer Science, pages
292--345. Springer, 2017. [pdf]
[url]
Ontology-based data access
for extracting event logs from legacy data: The onprom tool and
methodology- Diego Calvanese, Tahir Emre Kalayci, Marco
Montali, and Stefano Tinella.
In Proc. of 20th Int. Conf. on Business Information Systems
(BIS 2017), volume 288 of Lecture Notes in Business
Information Processing, pages 220--236. Springer, 2017.
[pdf]
[url]
Ontology-driven extraction
of event logs from relational databases- Diego Calvanese, Marco Montali, Alifah
Syamsiyah, and Wil M. P. van der Aalst.
In Proc. of the 11th Int. Workshop on Business Process
Intelligence (BPI 2015), volume 256 of Lecture Notes in
Business Information Processing, pages 140--153. Springer,
2016. [pdf]
[url]
Representing and querying
norm states using temporal ontology-based data access- Evellin Cardoso, Marco Montali, and Diego
Calvanese.
In Proc. of the 23rd IEEE Int. Enterprise Distributed Object
Computing Conf. (EDOC 2019), pages 122--131. IEEE Computer
Society Press, 2019. Best paper award. [pdf]
[url]
Formal modeling and
SMT-based parameterized verification of data-aware
BPMN- Diego Calvanese, Silvio Ghilardi,
Alessandro Gianola, Marco Montali, and Andrey
Rivkin.
In Proc. of the 17th Int. Conf. on Business Process
Management (BPM 2019), volume 11675 of Lecture Notes in
Computer Science, pages 157--175. Springer, 2019. [pdf]
Model completeness, covers
and superposition- Diego Calvanese, Silvio Ghilardi,
Alessandro Gianola, Marco Montali, and Andrey
Rivkin.
In Proc. of the 27th Int. Conf. on Automated Deduction (CADE
2019), volume 11716 of Lecture Notes in Computer
Science, pages 142--160. Springer, 2019. [pdf]
Modeling and in-database
management of relational, data-aware processes- Diego Calvanese, Marco Montali, Fabio
Patrizi, and Andrey Rivkin.
In Proc. of the 31st Int. Conf. on Advanced Information
Systems Engineering (CAiSE 2019), volume 11483 of
Lecture Notes in Computer Science, pages 328--345.
Springer, 2019. [pdf]
From model
completeness to verification of data aware processes- Diego Calvanese, Silvio Ghilardi,
Alessandro Gianola, Marco Montali, and Andrey
Rivkin.
In Description Logic, Theory Combination, and All That --
Essays Dedicated to Franz Baader on the Occasion of His 60th
Birthday, volume 11560 of Lecture Notes in Computer
Science, pages 212--239. Springer, 2019. [pdf]
Enriching data
models with behavioral constraints- Alessandro Artale, Diego Calvanese, Marco
Montali, and Wil M. P. van der Aalst.
In Ontology Makes Sense -- Essays in honor of Nicola
Guarino, volume 316 of Frontiers in Artificial
Intelligence and Applications, pages 257--277. IOS Press,
2019. [pdf]
Semantics, analysis and
simplification of DMN decision tables- Diego Calvanese, Marlon Dumas, Ülari
Laurson, Fabrizio M. Maggi, Marco Montali,
and Irene Teinemaa.
Information Systems, 78:112--125, 2018. [pdf] [url]
First-order mu-calculus over
generic transition systems and applications to the Situation
Calculus- Diego Calvanese, Giuseppe De Giacomo,
Marco Montali, and Fabio Patrizi.
Information and Computation, 259(3):328--347, 2018.
[pdf]
[url]
Verification of
fixed-topology declarative distributed systems with external
data- Diego Calvanese, Marco Montali, and Jorge
Lobo.
In Proc. of the 12th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2018), volume 2100 of
CEUR Workshop Proceedings, http://ceur-ws.org/, 2018.
[pdf]
[url]
Verification of
data-aware processes via array-based systems (extended
version)- Diego Calvanese, Silvio Ghilardi,
Alessandro Gianola, Marco Montali, and Andrey
Rivkin.
CoRR Technical Report arXiv:1806.11459, arXiv.org e-Print
archive, 2018. Available at http://arxiv.org/abs/1806.11459.
[pdf]
[url]
Quantifier
elimination for database driven verification- Diego Calvanese, Silvio Ghilardi,
Alessandro Gianola, Marco Montali, and Andrey
Rivkin.
CoRR Technical Report arXiv:1806.09686, arXiv.org e-Print
archive, 2018. Available at http://arxiv.org/abs/1806.09686.
[pdf]
[url]
Semantic DMN:
Formalizing decision models with domain knowledge- Diego Calvanese, Marlon Dumas, Fabrizio M.
Maggi, and Marco Montali.
In Proc. of the 1st Int. Joint Conf. on Rules and Reasoning
(RuleML+RR 2017), volume 10364 of Lecture Notes in
Computer Science, pages 70--86. Springer, 2017. Best paper
award. [pdf]
[url]
Semantic DMN: Formalizing
decision models with domain knowledge (Extended
Abstract)- Diego Calvanese, Marlon Dumas, Fabrizio M.
Maggi, and Marco Montali.
In Proc. of the 30th Int. Workshop on Description Logics (DL
2017), volume 1879 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2017. [url]
Soundness of data-aware,
case-centric processes- Marco Montali and Diego Calvanese.
Int. J. on Software Tools for Technology Transfer,
18(5):535--558, 2016. [pdf] [url]
Semantics and analysis of
DMN decision tables- Diego Calvanese, Marlon Dumas, Ülari
Laurson, Fabrizio M. Maggi, Marco Montali,
and Irene Teinemaa.
In Proc. of the 14th Int. Conference on Business Process
Management (BPM 2016), volume 9850 of Lecture Notes in
Computer Science, pages 217--233. Springer, 2016. Best
paper award. [pdf] [url]
Semantics and analysis
of DMN decision tables- Diego Calvanese, Marlon Dumas, Ülari
Laurson, Fabrizio Maria Maggi, Marco Montali,
and Irene Teinemaa.
CoRR Technical Report arXiv:1603.07466, arXiv.org e-Print
archive, 2016. Available at http://arxiv.org/abs/1603.07466.
[url]
Plan synthesis for
knowledge and action bases- Diego Calvanese, Marco Montali, Fabio
Patrizi, and Michele Stawowy.
In Proc. of the 25th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2016), pages 1022--1029. AAAI Press,
2016. [pdf]
[url]
On first-order
mu-calculus over situation calculus action theories- Diego Calvanese, Giuseppe De Giacomo,
Marco Montali, and Fabio Patrizi.
In Proc. of the 15th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2016), pages 411--420.
AAAI Press, 2016. [pdf]
[url]
Towards data- and
norm-aware multiagent systems- Matteo Baldoni, Cristina Baroglio, Diego
Calvanese, Roberto Micalizio, and Marco
Montali.
In Revised, Selected, and Invited Papers of the 4th Int.
Workshop on Engineering Multi-Agent Systems (EMAS 2016),
volume 10093 of Lecture Notes in Computer Science, pages
22--38. Springer, 2016. [pdf] [url]
Synthesizing
and executing plans in knowledge and action bases- Diego Calvanese, Marco Montali, Fabio
Patrizi, and Michele Stawowy.
In Proc. of the 29th Int. Workshop on Description Logics (DL
2016), volume 1577 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2016. [pdf]
[url]
Description logic
based dynamic systems: Modeling, verification, and
synthesis- Diego Calvanese, Giuseppe De Giacomo,
Marco Montali, and Fabio Patrizi.
In Proc. of the 24th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2015), pages 4247--4253. AAAI Press,
2015. [pdf]
[url]
On the
undecidability of the situation calculus extended with
description logic ontologies- Diego Calvanese, Giuseppe De Giacomo, and
Mikhail Soutchanski.
In Proc. of the 24th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2015), pages 2840--2846. AAAI Press,
2015. [pdf]
[url]
Verification of
generalized inconsistency-aware knowledge and action
bases- Diego Calvanese, Marco Montali, and Ario
Santoso.
In Proc. of the 24th Int. Joint Conf. on Artificial
Intelligence (IJCAI 2015), pages 2847--2853. AAAI Press,
2015. [pdf]
[url]
Leveraging
relational technology for data-centric dynamic systems- Diego Calvanese, Marco Montali, Fabio
Patrizi, and Andrey Rivkin.
In Proc. of the 23rd Italian Symp. on Advanced Database
Systems (SEBD 2015), pages 60--71, 2015. [pdf]
Inconsistency
management in generalized knowledge and action bases- Diego Calvanese, Marco Montali, and Ario
Santoso.
In Proc. of the 28th Int. Workshop on Description Logics (DL
2015), volume 1350 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2015. [pdf]
[url]
Implementing Data-Centric
Dynamic Systems over a relational DBMS- Diego Calvanese, Marco Montali, Fabio
Patrizi, and Andrey Rivkin.
In Proc. of the 9th Alberto Mendelzon Int. Workshop on
Foundations of Data Management (AMW 2015), volume 1378 of
CEUR Workshop Proceedings, http://ceur-ws.org/, 2015.
[pdf]
[url]
Verification of relational
multiagent systems with data types- Diego Calvanese, Giorgio Delzanno, and
Marco Montali.
In Proc. of the 29th AAAI Conf. on Artificial Intelligence
(AAAI 2015), pages 2031--2037. AAAI Press, 2015. [pdf]
[url]
Verification of
relational multiagent systems with data types (Extended
version)- Diego Calvanese, Giorgio Delzanno, and
Marco Montali.
CoRR Technical Report arXiv:1411.4516, arXiv.org e-Print
archive, 2014. Available at http://arxiv.org/abs/1411.4516.
[pdf]
[url]
Verifiable UML
artifact-centric business process models- Diego Calvanese, Marco Montali, Montserrat
Estanol, and Ernest Teniente.
In Proc. of the 23rd ACM Int. Conf. on Information and
Knowledge Management (CIKM 2014), pages 1289--1298, 2014.
[pdf]
[url]
Verifiable
UML artifact-centric business process models (Extended
version)- Diego Calvanese, Marco Montali, Montserrat
Estanol, and Ernest Teniente.
CoRR Technical Report arXiv:1408.5094, arXiv.org e-Print
archive, 2014. Available at http://arxiv.org/abs/1408.5094.
[pdf]
[url]
Verification of
context-sensitive knowledge and action bases- Diego Calvanese, Ismail Ilkan Ceylan,
Marco Montali, and Ario Santoso.
In Proc. of the 14th European Conf. on Logics in Artificial
Intelligence (JELIA 2014), volume 8761 of Lecture Notes
in Computer Science, pages 514--528. Springer, 2014.
[pdf]
[url]
Adding context to
knowledge and action bases- Diego Calvanese, Ismail Ilkan Ceylan,
Marco Montali, and Ario Santoso.
In Workshop Notes of the 6th Int. Workshop on Acquisition,
Representation and Reasoning about Context with Logic
(ARCOE-Logic 2014), volume arXiv:1412.7965 of CoRR
Technical Report, pages 25--36. arXiv.org e-Print archive,
2014. Available at http://arxiv.org/abs/1412.7965. [pdf]
[url]
Specification and
verification of commitment-regulated data-aware multiagent
systems- Marco Montali, Diego Calvanese, and
Giuseppe De Giacomo.
In Proc. of the 29th Italian Conf. on Computational Logic
(CILC 2014), volume 1195 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 84--98, 2014. [pdf]
[url]
State-boundedness
in data-aware dynamic systems- Babak Bagheri Hariri, Diego Calvanese,
Marco Montali, and Alin Deutsch.
In Proc. of the 14th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2014), pages 458--467.
AAAI Press, 2014. [pdf]
[url]
Verification of
data-aware commitment-based multiagent systems- Marco Montali, Diego Calvanese, and
Giuseppe De Giacomo.
In Proc. of the 13th Int. Conf. on Autonomous Agents and
Multiagent Systems, pages 157--164, 2014. [pdf]
Verification of human
driven data-centric dynamic systems- Babak Bagheri Hariri, Diego Calvanese,
Giuseppe De Giacomo, Marco Montali, and Alin
Deutsch.
In Proc. of the 2014 AAAI Spring Symposium on Formal
Verification and Modeling in Human-Machine Systems, volume
SS-14-02 of AAAI Technical Reports. AAAI Press, 2014.
[pdf]
[url]
Verification of
semantically-enhanced artifact systems- Babak Bagheri Hariri, Diego Calvanese,
Marco Montali, Ario Santoso, and Dmitry
Solomakhin.
In Proc. of the 11th Int. Conf. on Service Oriented
Computing (ICSOC 2013), volume 8274 of Lecture Notes in
Computer Science, pages 600--607. Springer, 2013. [pdf]
[url]
Verification
of semantically-enhanced artifact systems (Extended
version)- Babak Bagheri Hariri, Diego Calvanese,
Marco Montali, Ario Santoso, and Dmitry
Solomakhin.
CoRR Technical Report arXiv:1308.6292, arXiv.org e-Print
archive, 2013. Available at http://arxiv.org/abs/1308.6292.
[pdf]
[url]
Evolving graph
databases under description logic constraints- Diego Calvanese, Magdalena Ortiz, and
Mantas Simkus.
In Proc. of the 26th Int. Workshop on Description Logics (DL
2013), volume 1014 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 120--131, 2013. [pdf]
[url]
Dynamic systems based
on description logics: Formalization, verification, and
synthesis- Diego Calvanese, Marco Montali, Giuseppe
De Giacomo, and Fabio Patrizi.
In Proc. of the 26th Int. Workshop on Description Logics (DL
2013), volume 1014 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 573--586, 2013. [pdf]
[url]
Verification of
inconsistency-aware knowledge and action bases- Diego Calvanese, Evgeny Kharlamov, Marco
Montali, Ario Santoso, and Dmitriy
Zheleznyakov.
In Proc. of the 26th Int. Workshop on Description Logics (DL
2013), volume 1014 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 107--119, 2013. [pdf] [url]
Verification of
relational data-centric dynamic systems with external
services- Babak Bagheri Hariri, Diego Calvanese,
Giuseppe De Giacomo, Alin Deutsch, and Marco
Montali.
In Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on
Principles of Database Systems (PODS 2013), pages 163--174,
2013. [pdf] [url]
Foundations of
data-aware process analysis: A database theory
perspective- Diego Calvanese, Giuseppe De Giacomo, and
Marco Montali.
In Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on
Principles of Database Systems (PODS 2013), pages 1--12,
2013. [pdf]
[url]
Verification and synthesis
in description logic based dynamic systems- Diego Calvanese, Giuseppe De Giacomo,
Marco Montali, and Fabio Patrizi.
In Proc. of the 7th Int. Conf. on Web Reasoning and Rule
Systems (RR 2013), volume 7994 of Lecture Notes in
Computer Science, pages 50--64. Springer, 2013. Best paper
award. [pdf]
[url]
Verification
of inconsistency-aware knowledge and action bases- Diego Calvanese, Evgeny Kharlamov, Marco
Montali, Ario Santoso, and Dmitriy
Zheleznyakov.
In Proc. of the 23rd Int. Joint Conf. on Artificial
Intelligence (IJCAI 2013), 2013. [pdf]
[url]
Verification of
inconsistency-aware knowledge and action bases (Extended
version)- Diego Calvanese, Evgeny Kharlamov, Marco
Montali, Ario Santoso, and Dmitriy
Zheleznyakov.
CoRR Technical Report arXiv:1304.6442, arXiv.org e-Print
archive, 2013. Available at http://arxiv.org/abs/1304.6442.
[pdf]
[url]
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]
Techniques and
tools for KAB, to manage action linkage with the Artifact Layer
-- Iteration 2- Diego Calvanese, Babak Bagheri Hariri,
Riccardo De Masellis, Domenico Lembo, Marco
Montali, Ario Santoso, Dimitry Solomakhin,
and Sergio Tessaris.
Deliverable ACSI-D2.4.2, ACSI Consortium, May 2013. [pdf]
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 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
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 arXiv: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 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]
[url]
Regular open
APIs- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 15th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2016), pages 329--338.
AAAI Press, 2016. [pdf]
[url]
Node selection
query languages for trees- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
CoRR Technical Report arXiv:1509.08979, arXiv.org e-Print
archive, 2015. Available at http://arxiv.org/abs/1509.08979.
[pdf]
[url]
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]
Query processing under
GLAV mappings for relational and graph databases- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
Proc. of the VLDB Endowment, 6(2):61--72, 2012.
[pdf]
[url]
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 arXiv: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]
[url]
Regular XPath: Constraints,
query containment and view-based answering for XML
documents- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 2008 Int. Workshop on Logic in Databases
(LID 2008), 2008. [pdf]
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]
[url]
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. [pdf]
[url]
Query containment using
views- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 11th Italian Symp. on Advanced Database
Systems (SEBD 2003), pages 467--474, 2003.
Decidable containment of
recursive queries- Diego Calvanese, Giuseppe De Giacomo, and
Moshe Y. Vardi.
In Proc. of the 9th Int. Conf. on Database Theory (ICDT
2003), volume 2572 of Lecture Notes in Computer
Science, pages 330--345. Springer, 2003. [pdf]
[url]
View-based query answering
and query containment over semistructured data- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Giorgio Ghelli and Gösta Grahne, editors, Revised
papers of the 8th Int. Workshop on Database Programming
Languages (DBPL 2001), volume 2397 of Lecture Notes in
Computer Science, pages 40--61. Springer, 2002. [pdf]
[url]
Lossless regular
views- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on
Principles of Database Systems (PODS 2002), pages 247--258,
2002. [pdf]
[url]
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. [pdf]
What is view-based
query rewriting?- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 7th Int. Workshop on Knowledge
Representation meets Databases (KRDB 2000), volume 29 of
CEUR Workshop Proceedings, 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. [pdf]
[url]
Containment of conjunctive
regular path queries with inverse- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 7th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2000), pages 176--185,
2000. [ps.gz]
[pdf]
Answering regular path
queries using views- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Moshe Y. Vardi.
In Proc. of the 16th IEEE Int. Conf. on Data Engineering
(ICDE 2000), pages 389--398, 2000. [ps.gz]
[pdf]
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 1999), 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 1999), pages 194--204,
1999. [pdf]
[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 Symp. on Advanced Database
Systems (SEBD 1999), pages 213--224, 1999.
Designing
efficient controlled languages for ontologies- Camilo Thorne, Raffaella Bernardi, and
Diego Calvanese.
In Harry Bunt, Johan Bos, and Stephen Pulman, editors,
Computing Meaning, Volume 4, volume 47 of Text,
Speech and Language Technology, pages 149--173. Springer,
2014. [pdf]
Process fragment
recognition in clinical documents- Camilo Thorne, Elena Cardillo, Claudio
Eccher, Marco Montali, and Diego
Calvanese.
In Proc. of the 13th Int. Conf. of the Italian Assoc. for
Artificial Intelligence (AI*IA 2013), volume 8249 of
Lecture Notes in Computer Science, pages 227--238.
Springer, 2013. [pdf] [url]
Automated activity
recognition in clinical documents- Camilo Thorne, Marco Montali, Diego
Calvanese, Elena Cardillo, and Claudio
Eccher.
In Proc. of the 6th Int. Joint Conf. on Natural Language
Processing (IJCNLP 2013), pages 1129--1133. Asian
Federation of Natural Language Processing, 2013. [pdf]
[url]
The VeriCliG project:
Extraction of computer interpretable guidelines via syntactic
and semantic annotation- Camilo Thorne, Marco Montali, Diego
Calvanese, Elena Cardillo, and Claudio
Eccher.
In Proc. of the Workshop on Computational Semantics in
Clinical Text (CSCT 2013), pages 54--58, 2013. [pdf]
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] [url]
The data complexity of the
syllogistic fragments of English- Camilo Thorne and Diego Calvanese.
In Revised Selected Papers of the 17th Amsterdam Colloquium
on Logic, Language and Meaning (AC 2009), volume 6042 of
Lecture Notes in Artificial Intelligence, pages
114--123. Springer, 2009. [pdf]
Controlled English
ontology-based data access- Camilo Thorne and Diego Calvanese.
In Revised Papers of the 2009 Workshop on Controlled Natural
Language (CNL 2009), volume 5972 of Lecture Notes in
Computer Science, pages 135--154. Springer, 2010. [pdf] [url]
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 Workshop Proceedings,
http://ceur-ws.org/, pages 195--202, 2007. [pdf]
[url]
Lite natural
language- Raffaella Bernardi, Diego Calvanese, and
Camilo Thorne.
In Proc. of the 7th Int. Workshop on Computational Semantics
(IWCS 2007), 2007. [pdf]
The What-To-Ask
problem for ontology-based peers- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
In Description Logic, Theory Combination, and All That --
Essays Dedicated to Franz Baader on the Occasion of His 60th
Birthday, volume 11560 of Lecture Notes in Computer
Science, pages 187--211. Springer, 2019. [pdf]
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]
Inconsistency tolerance in
P2P data integration: An epistemic logic approach- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
In Revised selected papers of the 10th Int. Symposium on
Database Programming Languages (DBPL 2005), volume 3774 of
Lecture Notes in Computer Science, pages 90--105.
Springer, 2005. [pdf] [url]
Hyper: A framework for
peer-to-peer data integration on grids- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Riccardo Rosati, and Guido
Vetere.
In Proc. of the Int. Conference on Semantics of a Networked
World: Semantics for Grid Databases (ICSNW 2004), volume
3226 of Lecture Notes in Computer Science, pages
144--157, 2004. [pdf]
[url]
Logical foundations of
peer-to-peer data integration- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, and Riccardo Rosati.
In Proc. of the 23rd ACM SIGACT SIGMOD SIGART Symp. on
Principles of Database Systems (PODS 2004), pages 241--251,
2004. [pdf] [url]
What to ask to a peer:
Ontology-based query reformulation- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
In Proc. of the 9th Int. Conf. on Principles of Knowledge
Representation and Reasoning (KR 2004), pages 469--478,
2004. [pdf]
Query reformulation over
ontology-based peers- Diego Calvanese, Giuseppe De Giacomo,
Domenico Lembo, Maurizio Lenzerini, and
Riccardo Rosati.
In Proc. of the 12th Italian Symp. on Advanced Database
Systems (SEBD 2004), pages 418--425, 2004. [pdf]
Semantic data
integration in P2P systems- Diego Calvanese, Elio Damaggio, Giuseppe
De Giacomo, Maurizio Lenzerini, and Riccardo
Rosati.
In Revised papers of the Int. Workshop on Databases,
Information Systems and Peer-to-Peer Computing (DBISP2P
2003), volume 2944 of Lecture Notes in Computer
Science, pages 77--90. Springer, 2003. [ps.gz]
[pdf]
[url]
New trends in
databases and information systems: Contributions from ADBIS
2017 workshops- Andreas Behrend, Diego Calvanese, Tania
Cerquitelli, Silvia Chiusano, Christiane
Engels, Stéphane Jean, Natalija
Kozmina, Béatrice Markhoff, Oscar
Romero, and Sahar Vahdati.
In New Trends in Databases and Information Systems -- ADBIS
2017 Short Papers and Workshops, AMSD, BigNovelTI, DAS, SW4CH,
DC, volume 767 of Communications in Computer and
Information Science, pages 111--122. Springer, 2017.
[url]
Rewrite and
conquer: Dealing with integrity constraints in data
integration- Andrea Calì, Diego Calvanese,
Giuseppe De Giacomo, and Maurizio Lenzerini.
In Janis Bubenko, John Krogstie, Oscar Pastor, Barbara Pernici,
Colette Rolland, and Arne Solvberg, editors, Seminal
Contributions to Information Systems Engineering: 25 Years of
CAiSE, pages 353--359. Springer, 2013. [pdf]
[url]
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 Symp. on Advanced 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 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 Symp. on Advanced 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 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]
[url]
Development of ontologies
for the semantic web: An overview- Diego Calvanese, Giuseppe De Giacomo, and
Enrico Franconi.
In Proc. of the 40th Annual Conference of the Italian
Computing Association (AICA 2002), pages 433--443, 2002.
[pdf]
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, Jerome Euzenat, and Deborah
McGuinness, editors, The Emerging Semantic Web --- Selected
Papers from the First Semantic Web Working Symposium,
volume 75 of Frontiers in Artificial Intelligence and
Applications, pages 201--214. IOS Press, 2002. [pdf]
Optimized querying of
integrated data over the Web- Andrea Calì and Diego Calvanese.
In Proc. of the IFIP WG8.1 Working Conference on Engineering
Information Systems in the Internet Context (EISIC 2002),
pages 285--301. Kluwer Academic Publisher, 2002.
IBIS: Data
integration at work- Andrea Calì, Diego Calvanese,
Giuseppe De Giacomo, Maurizio Lenzerini, Paolo
Naggar, and Fabio Vernacotola.
In Proc. of the 10th Italian Symp. on Advanced Database
Systems (SEBD 2002), pages 291--298, 2002. [ps.gz]
[pdf]
Accessing data
integration systems through conceptual schemas- Andrea Calì, Diego Calvanese,
Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 10th Italian Symp. on Advanced Database
Systems (SEBD 2002), pages 161--168, 2002. [ps.gz]
[pdf]
On the expressive power of
data integration systems- Andrea Calì, Diego Calvanese,
Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 21st Int. Conf. on Conceptual Modeling (ER
2002), volume 2503 of Lecture Notes in Computer
Science, pages 338--350. Springer, 2002. [pdf]
[url]
Data integration under
integrity constraints- Andrea Calì, Diego Calvanese,
Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the 14th Int. Conf. on Advanced Information
Systems Engineering (CAiSE 2002), volume 2348 of Lecture
Notes in Computer Science, pages 262--279. Springer, 2002.
Republished in "Seminal Contributions to Information Systems
Engineering: 25 Years of CAiSE, 2013". [pdf]
[url]
Description
logics for information integration- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In A. Kakas and F. Sadri, editors, Computational Logic:
Logic Programming and Beyond, Essays in Honour of Robert A.
Kowalski, volume 2408 of Lecture Notes in Computer
Science, pages 41--60. Springer, 2002. [pdf]
[url]
Methods and tools to
reconcile data- Diego Calvanese, Domenico Lembo, and
Maurizio Lenzerini.
D2I (Integration, Warehousing, and Mining of Heterogeneous
Sources) Project Report D1.R11, Dipartimento di Informatica e
Sistemistica, Università di Roma "La Sapienza", 2002.
[pdf]
Ontology of integration and
integration of ontologies- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 14th Int. Workshop on Description Logics (DL
2001), volume 49 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 10--19, 2001. [ps.gz]
[pdf]
[url]
A framework for ontology
integration- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 2001 Int. Semantic Web Working Symposium
(SWWS 2001), pages 303--316, 2001. [ps.gz]
[pdf]
[url]
Towards a comprehensive
methodological framework for semantic integration of
heterogeneous data sources- Diego Calvanese, Silvana Castano,
Francesco Guerra, Domenico Lembo, Michele
Melchiori, Giorgio Terracina, Domenico
Ursino, and Maurizio Vincini.
In Proc. of the 8th Int. Workshop on Knowledge
Representation meets Databases (KRDB 2001), volume 45 of
CEUR Workshop Proceedings, 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]
[url]
Optimizing query planning
with limited source capabilities in the presence of inclusion
and functional dependencies- Andrea Calì and Diego Calvanese.
In Proc. of the 9th Italian Symp. on Advanced Database
Systems (SEBD 2001), pages 33--44, 2001. [ps.gz]
[pdf]
Data integration in data
warehousing- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Daniele Nardi, and
Riccardo Rosati.
Int. J. of Cooperative Information Systems,
10(3):237--271, 2001. [pdf]
Survey on methods for
query rewriting and query answering using views- Diego Calvanese, Domenico Lembo, and
Maurizio Lenzerini.
D2I (Integration, Warehousing, and Mining of Heterogeneous
Sources) Project Report D1.R5, Dipartimento di Informatica e
Sistemistica, Università di Roma "La Sapienza", 2001.
[pdf]
Concept based design of
data warehouses: The DWQ demonstrators- Matthias Jarke, Christoph Quix, Diego
Calvanese, Maurizio Lenzerini, Enrico
Franconi, Spyros Ligoudistianos, Panos
Vassiliadis, and Yannis Vassiliou.
In Proc. of the ACM SIGMOD Int. Conf. on Management of
Data, page 591, 2000. [pdf]
[url]
Modellazione e
qualità dei dati in sistemi di data warehouse- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Daniele Nardi, Riccardo
Rosati, and Laura Tosco.
AI*IA Notizie, 13(2):68--75, 2000.
Integrazione e
qualità dei dati per Data Warehouse- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Daniele Nardi, Riccardo
Rosati, and Laura Tosco.
In Proc. of the 38th Annual Conference of the Italian
Computing Association (AICA 2000), 2000.
Data integration and
reconciliation in data warehousing: Conceptual modeling and
reasoning support- Diego Calvanese, Giuseppe De Giacomo, and
Riccardo Rosati.
Networking and Information Systems, 2(4):413--432, 1999.
[ps.gz]
[pdf]
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 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 Principles of Knowledge
Representation and Reasoning (KR 1998), pages 2--13, 1998.
[ps.gz]
[pdf]
Information integration:
Conceptual modeling and reasoning support- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Daniele Nardi, and
Riccardo Rosati.
In Proc. of the 6th Int. Conf. on Cooperative Information
Systems (CoopIS 1998), pages 280--291, 1998. [ps.gz]
[pdf]
Knowledge
representation approach to information integration- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Daniele Nardi, and
Riccardo Rosati.
In Proc. of AAAI Workshop on AI and Information
Integration, pages 58--65. AAAI Press/The MIT Press, 1998.
[ps.gz]
[pdf]
Source integration in
data warehousing- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Daniele Nardi, and
Riccardo Rosati.
In Proc. of the 9th Int. Workshop on Database and Expert
Systems Applications (DEXA'98), pages 192--197. IEEE
Computer Society Press, 1998. [ps.gz]
[pdf]
Schema and data
integration methodology for DWQ- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Daniele Nardi, and
Riccardo Rosati.
DWQ (Foundations of Data Warehouse Quality) Project Report
DWQ-UNIROMA-004, Dipartimento di Informatica e Sistemistica,
Università di Roma "La Sapienza", September 1998.
[ps.gz]
Experimentation with
the incremental view integration- Diego Calvanese, Giuseppe De Giacomo,
Maurizio Lenzerini, Daniele Nardi, and
Riccardo Rosati.
DWQ (Foundations of Data Warehouse Quality) Project Report
DWQ-UNIROMA-003, Dipartimento di Informatica e Sistemistica,
Università di Roma "La Sapienza", September 1998.
[ps.gz]
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
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]
[url]
Automatic composition of
transition-based semantic web services with messaging- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Rick Hull, and Massimo
Mecella.
In Proc. of the 31st Int. Conf. on Very Large Data Bases
(VLDB 2005), pages 613--624, 2005. [pdf] [url]
Towards automatic web
service discovery and composition in a context with semantics,
messages, and internal process flow (a position paper)- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Massimo Mecella, and Rick
Hull.
In Proc. of the W3C Workshop on Frameworks for Semantics in
Web Services (SWSF 2005), 2005.
Modeling data
& processes for service specifications in Colombo- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Rick Hull, Maurizio Lenzerini,
and Massimo Mecella.
In In Proc. of the 2nd INTEROP Workshop on Enterprise
Modelling and Ontologies for Interoperability (EMOI-INTEROP
2005), volume 160 of CEUR Workshop Proceedings,
http://ceur-ws.org/, 2005. [pdf]
[url]
Automatic composition of
web services in Colombo- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Rick Hull, and Massimo
Mecella.
In Proc. of the 13th Italian Symp. on Advanced Database
Systems (SEBD 2005), pages 8--15, 2005. [pdf]
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] [url]
Synthesis of
underspecified composite e-Services based on automated
reasoning- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Maurizio Lenzerini, and Massimo
Mecella.
In Proc. of the 2nd Int. Conf. on Service Oriented Computing
(ICSOC 2004), pages 105--114, 2004. [pdf]
[url]
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. Award for the most
influential paper in the first 10 years of the International
Conference on Service Oriented Computing . [pdf]
[url]
Automatic composition
of e-services- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Maurizio Lenzerini, and Massimo
Mecella.
Technical Report 22-2003, Dipartimento di Informatica e
Sistemistica, Università di Roma "La Sapienza", 2003.
[ps.gz]
[pdf]
e-Service
composition by description logics based reasoning- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Maurizio Lenzerini, and Massimo
Mecella.
In Proc. of the 16th Int. Workshop on Description Logics (DL
2003), volume 81 of CEUR Workshop Proceedings,
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]
[url]
A foundational
framework for e-services- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Maurizio Lenzerini, and Massimo
Mecella.
Technical Report 10-2003, Dipartimento di Informatica e
Sistemistica, Università di Roma "La Sapienza", 2003.
[ps.gz]
[pdf]
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 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 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]
Reasoning over extended ER
models- Alessandro Artale, Diego Calvanese, Roman
Kontchakov, Vladislav Ryzhikov, and Michael
Zakharyaschev.
In Proc. of the 26th Int. Conf. on Conceptual Modeling (ER
2007), volume 4801 of Lecture Notes in Computer
Science, pages 277--292. Springer, 2007. [pdf] [url]
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 Workshop Proceedings,
http://ceur-ws.org/, pages 28--37, 2003. [ps.gz]
[pdf]
[url]
Using the CIM
conceptualization in autonomic system managment: the System
Management Ontology project- Daniela Berardi, Diego Calvanese, Giuseppe
De Giacomo, Antonio Perrone, Giuseppe
Santucci, and Guido Vetere.
Unpublished manuscript, 2003. [pdf]
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]
[url]
Reasoning on UML class
diagrams in description logics- Andrea Calì, Diego Calvanese,
Giuseppe De Giacomo, and Maurizio Lenzerini.
In Proc. of the IJCAR Workshop on Precise Modelling and
Deduction for Object-oriented Software Development (PMD
2001), 2001. [pdf]
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 1995), number 1013 in
Lecture Notes in Computer Science, pages 229--246. Springer,
1995. [ps.gz]
[pdf]
[url]
Increasing the power of
structured objects- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 2nd Int. Workshop on Knowledge
Representation meets Databases (KRDB 1995), volume 2 of
CEUR Workshop Proceedings, 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 1994), pages 243--254,
1994. [pdf] [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 1994), 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 Workshop Proceedings, http://ceur-ws.org/, pages
3--16, 2000. [ps.gz]
[pdf]
[url]
Local constraints in
semistructured data schemas- Andrea Calì, Diego Calvanese, and
Maurizio Lenzerini.
In Proc. of the 8th Italian Symp. on Advanced Database
Systems (SEBD 2000), 2000. [pdf]
Representing and
reasoning on XML documents: A description logic
approach- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
J. of Logic and Computation, 9(3):295--318, 1999.
[ps.gz]
[pdf]
Modeling and querying
semi-structured data- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
Networking and Information Systems, 2(2):253--273, 1999.
[ps.gz]
[pdf]
Queries and constraints
on semi-structured data- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 11th Int. Conf. on Advanced Information
Systems Engineering (CAiSE 1999), volume 1626 of Lecture
Notes in Computer Science, pages 434--438. Springer, 1999.
[ps.gz]
[pdf]
[url]
Semi-structured data
with constraints and incomplete information- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 11th Int. Workshop on Description Logics (DL
1998), volume 11 of CEUR Workshop Proceedings,
http://ceur-ws.org/, pages 11--20, 1998. [ps.gz]
[pdf]
[url]
Extending semi-structured
data- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 6th Italian Symp. on Advanced Database
Systems (SEBD 1998), 1998.
What can knowledge
representation do for semi-structured data?- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 15th Nat. Conf. on Artificial Intelligence
(AAAI 1998), pages 205--210, 1998. [ps.gz]
[pdf]
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 1997), number 1325 in Lecture
Notes in Computer Science, pages 540--549. Springer, 1997.
[ps.gz]
[pdf]
[url]
Representing SGML documents
in Description Logics- Diego Calvanese, Giuseppe De Giacomo, and
Maurizio Lenzerini.
In Proc. of the 9th Int. Workshop on Description Logics (DL
1996), pages 102--106, 1996. [ps.gz]
[pdf]
Knowledge-based access to
the Web- Diego Calvanese, Giuseppe De Giacomo, Luca
Iocchi, Maurizio Lenzerini, and Daniele
Nardi.
In Proc. of Workshop on Access, Extraction and Integration
of Knowledge, 5th Italian Conference on Artificial Intelligence
(AI*IA 1996), 1996. [ps.gz]
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.
[pdf]
[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 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]
Research directions for
principles of data management (Dagstuhl Perspectives Workshop
16151)- Serge Abiteboul, Marcelo Arenas, Pablo
Barceló, Meghyn Bienvenu, Diego
Calvanese, Claire David, Richard Hull,
Eyke Hüllermeier, Benny Kimelfeld, Leonid
Libkin, Wim Martens, Tova Milo, Filip
Murlak, Frank Neven, Magdalena Ortiz,
Thomas Schwentick, Julia Stoyanovich, Jianwen
Su, Dan Suciu, Victor Vianu, and Ke
Yi.
Dagstuhl Manifestos, 7(1):1--29, 2018. [pdf]
Research
directions for principles of data management
(Abridged)- Serge Abiteboul, Marcelo Arenas, Pablo
Barceló, Meghyn Bienvenu, Diego
Calvanese, Claire David, Richard Hull,
Eyke Hüllermeier, Benny Kimelfeld, Leonid
Libkin, Wim Martens, Tova Milo, Filip
Murlak, Frank Neven, Magdalena Ortiz,
Thomas Schwentick, Julia Stoyanovich, Jianwen
Su, Dan Suciu, Victor Vianu, and Ke
Yi.
SIGMOD Record, 45(4):5--17, 2016. [pdf]
[url]
Report on PODS
2015- Diego Calvanese.
ACM SIGACT News, 46(4):79--81, 2015. [pdf] [url]
Proc. of the 34th ACM
SIGACT SIGMOD SIGAI Symp. on Principles of Database Systems
(PODS 2015)- Tova Milo and Diego Calvanese, editors.
ACM 2015. [url]
Digital Libraries on
the Move -- Revised Selected Papers of the 11th Italian
Research Conference on Digital Libraries (IRCDL 2015)- Diego Calvanese, Dario De Nart, and Carlo
Tasso, editors.
Volume 612 of Communications in Computer and Information
Science Springer 2016. [url]
Automated
reasoning on conceptual schemas (Dagstuhl Seminar
13211)- Diego Calvanese, Sven Hartmann, and Ernest
Teniente.
Dagstuhl Reports, 3(5):43--77, 2013. [pdf]
[url]
Proc. of the 2nd Int.
Conf. on Web Reasoning and Rule Systems (RR 2008)- Diego Calvanese and Georg Lausen,
editors.
Volume 5341 of Lecture Notes in Computer Science
Springer 2008. [url]
Proc. of the 20th Int.
Workshop on Description Logics (DL 2007)- Diego Calvanese, Enrico Franconi, Volker
Haarslev, Domenico Lembo, Boris Motik,
Anni-Yasmin Turhan, and Sergio Tessaris,
editors.
Volume 250 of CEUR Workshop Proceedings,
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 Workshop Proceedings,
http://ceur-ws.org/ 2003. [url]
Proc. of the 13th
Italian Symp. on Advanced Database Systems (SEBD 2005)- Andrea Calì, Diego Calvanese,
Enrico Franconi, Maurizio Lenzerini, and
Letizia Tanca, editors.
2005.
Proc. of the 9th Int.
Conf. on Database Theory (ICDT 2003)- Diego Calvanese, Maurizio Lenzerini, and
Rajeev Motwani, editors.
Volume 2572 of Lecture Notes in Computer Science
Springer 2003. [url]
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 Workshop Proceedings,
http://ceur-ws.org/ 2002. [url]