×
Compute Distance To:
Author ID: calvanese.diego Recent zbMATH articles by "Calvanese, Diego"
Published as: Calvanese, Diego; Calvanese, D.
External Links: ORCID · dblp

Publications by Year

Citations contained in zbMATH Open

47 Publications have been cited 737 times in 450 Documents Cited by Year
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
229
2003
Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Zbl 1132.68725
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
92
2007
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
68
2007
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
49
2009
Linking data to ontologies. Zbl 1132.68061
Poggi, Antonella; Lembo, Domenico; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
41
2008
Data complexity of query answering in description logics. Zbl 1270.68294
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
33
2013
Rewriting of regular expressions and regular path queries. Zbl 1015.68083
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
28
2002
Reasoning on UML class diagrams. Zbl 1132.68747
Berardi, Daniela; Calvanese, Diego; De Giacomo, Giuseppe
21
2005
Unifying class-based representation formalisms. Zbl 0924.68184
Calvanese, D.; Lenzerini, M.; Nardi, D.
18
1999
Data complexity of query answering in expressive description logics via tableaux. Zbl 1154.68102
Ortiz, Magdalena; Calvanese, Diego; Eiter, Thomas
15
2008
Ontologies and databases: the DL-lite approach. Zbl 1254.68106
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rodriguez-Muro, Mariano; Rosati, Riccardo
10
2009
Description logics for conceptual data modeling. Zbl 0905.03016
Calvanese, Diego; Lenzerini, Maurizio; Nardi, Daniele
10
1998
Representing and reasoning on XML documents: A description logic approach. Zbl 0938.68842
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
9
1999
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
9
2010
View-based query answering and query containment over semistructured data. Zbl 1098.68560
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
9
2002
Reasoning in expressive description logics. Zbl 0992.03036
Calvanese, Diego; De Giacomo, Giuseppe; Nardi, Daniele; Lenzerini, Maurizio
8
2001
Data integration under integrity constraints. Zbl 1046.68694
Calì, Andrea; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
8
2002
Conjunctive query containment and answering under description logic constraints. Zbl 1367.68084
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
7
2008
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Description logic knowledge and action bases. Zbl 1280.68249
Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo
6
2013
Data integration through DL-Lite\(_{\mathcal A}\) ontologies. Zbl 1165.68511
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco
5
2008
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
4
2020
Capturing model-based ontology evolution at the instance level: the case of DL-Lite. Zbl 1307.68078
Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Calvanese, Diego
4
2013
Inconsistency tolerance in P2P data integration: An epistemic logic approach. Zbl 1159.68409
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
4
2005
Answering regular path queries in expressive description logics via alternating tree-automata. Zbl 1360.68801
Calvanese, Diego; Eiter, Thomas; Ortiz, Magdalena
4
2014
Knowledge base exchange: the case of OWL 2 QL. Zbl 1385.68044
Arenas, Marcelo; Botoeva, Elena; Calvanese, Diego; Ryzhikov, Vladislav
3
2016
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus. Zbl 1390.68462
Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio
3
2018
Reasoning about explanations for negative query answers in DL-Lite. Zbl 1361.68222
Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas; Stefanoni, Giorgio
3
2013
View-based query processing: On the relationship between rewriting, answering and losslessness. Zbl 1108.68443
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
3
2005
Decidable containment of recursive queries. Zbl 1101.68513
Calvanese, Diego; De Giacomo, Giuseppe; Vardi, Moshe Y.
2
2005
Conceptual modeling for data integration. Zbl 1248.68161
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
2
2009
Description logics for information integration. Zbl 1012.03512
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
2
2002
View-based query processing: on the relationship between rewriting, answering and losslessness. Zbl 1108.68038
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
2
2007
Actions and programs over description logic knowledge bases: a functional approach. Zbl 1341.68222
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
2
2011
Introducing datatypes in DL-Lite. Zbl 1327.68259
Savković, Ognjen; Calvanese, Diego
1
2012
Verification of description logic knowledge and action bases. Zbl 1327.68272
Hariri, Babak Bagheri; Calvanese, Diego; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo; Montali, Marco
1
2012
Managing change in graph-structured data using description logics. Zbl 1407.68122
Ahmetaj, Shqiponja; Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas
1
2017
Dynamic query optimization under access limitations and dependencies. Zbl 1216.68085
Calì, A.; Calvanese, D.; Martinenghi, D.
1
2009
On simplification of schema mappings. Zbl 1408.68046
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
1
2013
Tractability and intractability of controlled languages for data access. Zbl 1252.03073
Thorne, Camilo; Calvanese, Diego
1
2012
Web reasoning and rule systems. Second international conference, RR 2008, Karlsruhe, Germany, October 31–November 1, 2008. Proceedings. Zbl 1148.68303
1
2008
Verification of evolving graph-structured data under expressive path constraints. Zbl 1369.68181
Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas
1
2016
The data complexity of the syllogistic fragments of English. Zbl 1298.68273
Thorne, Camilo; Calvanese, Diego
1
2010
View-based query answering in description logics: semantics and complexity. Zbl 1280.68250
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
1
2012
Accessing data integration systems through conceptual schemas. Zbl 1051.68602
Calì, Andrea; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
1
2001
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). Zbl 07433024
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2021
Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes). Zbl 07433024
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
1
2021
SMT-based verification of data-aware processes: a model-theoretic approach. Zbl 1495.68129
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
4
2020
From model completeness to verification of data aware processes. Zbl 1443.68103
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
Model completeness, covers and superposition. Zbl 07178974
Calvanese, Diego; Ghilardi, Silvio; Gianola, Alessandro; Montali, Marco; Rivkin, Andrey
6
2019
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus. Zbl 1390.68462
Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio
3
2018
Managing change in graph-structured data using description logics. Zbl 1407.68122
Ahmetaj, Shqiponja; Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas
1
2017
Knowledge base exchange: the case of OWL 2 QL. Zbl 1385.68044
Arenas, Marcelo; Botoeva, Elena; Calvanese, Diego; Ryzhikov, Vladislav
3
2016
Verification of evolving graph-structured data under expressive path constraints. Zbl 1369.68181
Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas
1
2016
Answering regular path queries in expressive description logics via alternating tree-automata. Zbl 1360.68801
Calvanese, Diego; Eiter, Thomas; Ortiz, Magdalena
4
2014
Data complexity of query answering in description logics. Zbl 1270.68294
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
33
2013
Description logic knowledge and action bases. Zbl 1280.68249
Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo
6
2013
Capturing model-based ontology evolution at the instance level: the case of DL-Lite. Zbl 1307.68078
Kharlamov, Evgeny; Zheleznyakov, Dmitriy; Calvanese, Diego
4
2013
Reasoning about explanations for negative query answers in DL-Lite. Zbl 1361.68222
Calvanese, Diego; Ortiz, Magdalena; Šimkus, Mantas; Stefanoni, Giorgio
3
2013
On simplification of schema mappings. Zbl 1408.68046
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
1
2013
Introducing datatypes in DL-Lite. Zbl 1327.68259
Savković, Ognjen; Calvanese, Diego
1
2012
Verification of description logic knowledge and action bases. Zbl 1327.68272
Hariri, Babak Bagheri; Calvanese, Diego; De Giacomo, Giuseppe; De Masellis, Riccardo; Felli, Paolo; Montali, Marco
1
2012
Tractability and intractability of controlled languages for data access. Zbl 1252.03073
Thorne, Camilo; Calvanese, Diego
1
2012
View-based query answering in description logics: semantics and complexity. Zbl 1280.68250
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
1
2012
Actions and programs over description logic knowledge bases: a functional approach. Zbl 1341.68222
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
2
2011
The description logic handbook. Theory, implementation, and applications. Reprint of the 2007 hardback ed. Zbl 1191.68652
9
2010
The data complexity of the syllogistic fragments of English. Zbl 1298.68273
Thorne, Camilo; Calvanese, Diego
1
2010
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
49
2009
Ontologies and databases: the DL-lite approach. Zbl 1254.68106
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rodriguez-Muro, Mariano; Rosati, Riccardo
10
2009
Conceptual modeling for data integration. Zbl 1248.68161
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
2
2009
Dynamic query optimization under access limitations and dependencies. Zbl 1216.68085
Calì, A.; Calvanese, D.; Martinenghi, D.
1
2009
Linking data to ontologies. Zbl 1132.68061
Poggi, Antonella; Lembo, Domenico; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Rosati, Riccardo
41
2008
Data complexity of query answering in expressive description logics via tableaux. Zbl 1154.68102
Ortiz, Magdalena; Calvanese, Diego; Eiter, Thomas
15
2008
Conjunctive query containment and answering under description logic constraints. Zbl 1367.68084
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
7
2008
Data integration through DL-Lite\(_{\mathcal A}\) ontologies. Zbl 1165.68511
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Poggi, Antonella; Rosati, Riccardo; Ruzzi, Marco
5
2008
Web reasoning and rule systems. Second international conference, RR 2008, Karlsruhe, Germany, October 31–November 1, 2008. Proceedings. Zbl 1148.68303
1
2008
Tractable reasoning and efficient query answering in description logics: The DL-Lite family. Zbl 1132.68725
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
92
2007
The description logic handbook. Theory, implementation, and applications. 2nd ed. Zbl 1132.68055
68
2007
View-based query processing: on the relationship between rewriting, answering and losslessness. Zbl 1108.68038
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
2
2007
Reasoning on UML class diagrams. Zbl 1132.68747
Berardi, Daniela; Calvanese, Diego; De Giacomo, Giuseppe
21
2005
Inconsistency tolerance in P2P data integration: An epistemic logic approach. Zbl 1159.68409
Calvanese, Diego; De Giacomo, Giuseppe; Lembo, Domenico; Lenzerini, Maurizio; Rosati, Riccardo
4
2005
View-based query processing: On the relationship between rewriting, answering and losslessness. Zbl 1108.68443
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
3
2005
Decidable containment of recursive queries. Zbl 1101.68513
Calvanese, Diego; De Giacomo, Giuseppe; Vardi, Moshe Y.
2
2005
The description logic handbook. Theory, implementation, and applications. Zbl 1058.68107
229
2003
Rewriting of regular expressions and regular path queries. Zbl 1015.68083
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
28
2002
View-based query answering and query containment over semistructured data. Zbl 1098.68560
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio; Vardi, Moshe Y.
9
2002
Data integration under integrity constraints. Zbl 1046.68694
Calì, Andrea; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
8
2002
Description logics for information integration. Zbl 1012.03512
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
2
2002
Reasoning in expressive description logics. Zbl 0992.03036
Calvanese, Diego; De Giacomo, Giuseppe; Nardi, Daniele; Lenzerini, Maurizio
8
2001
Accessing data integration systems through conceptual schemas. Zbl 1051.68602
Calì, Andrea; Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
1
2001
Unifying class-based representation formalisms. Zbl 0924.68184
Calvanese, D.; Lenzerini, M.; Nardi, D.
18
1999
Representing and reasoning on XML documents: A description logic approach. Zbl 0938.68842
Calvanese, Diego; De Giacomo, Giuseppe; Lenzerini, Maurizio
9
1999
Description logics for conceptual data modeling. Zbl 0905.03016
Calvanese, Diego; Lenzerini, Maurizio; Nardi, Daniele
10
1998
all top 5

Cited by 704 Authors

21 Calvanese, Diego
16 Lutz, Carsten
16 Straccia, Umberto
15 Baader, Franz
15 Peñaloza, Rafael
14 De Giacomo, Giuseppe
14 Horrocks, Ian
13 Bobillo, Fernando
12 Eiter, Thomas
12 Wolter, Frank
11 Zakharyaschev, Michael Viktorovich
10 Borgwardt, Stefan
10 Motik, Boris
9 Gottlob, Georg
9 Jiang, Yuncheng
9 Lenzerini, Maurizio
8 Bonatti, Piero Andrea
8 Montali, Marco
8 Ryzhikov, Vladislav
7 Artale, Alessandro
7 Barceló, Pablo
7 Kontchakov, Roman
7 Leite, João
7 Ortiz, Magdalena
7 Rosati, Riccardo
6 Ghilardi, Silvio
6 Gianola, Alessandro
6 Glimm, Birte
6 Kazakov, Yevgeny
6 Libkin, Leonid O.
6 Pieris, Andreas
6 Rivkin, Andrey
6 Sattler, Ulrike
6 Wang, Kewen
5 Benferhat, Salem
5 Cuenca Grau, Bernardo
5 Lukasiewicz, Thomas
5 Qi, Guilin
5 Šimkus, Mantas
5 Slota, Martin
5 Tang, Yong
5 Thomo, Alex
5 Vardi, Moshe Ya’akov
5 Wang, Ju
5 Wang, Zhe
4 Benedikt, Michael A.
4 Botoeva, Elena
4 Bouraoui, Zied
4 Britz, Katarina
4 Calì, Andrea
4 Chen, Qimai
4 Giordano, Laura
4 Gómez-Romero, Juan
4 Kikot, Stanislav
4 Lembo, Domenico
4 Morawska, Barbara
4 Mugnier, Marie-Laure
4 Pan, Jeff Z.
4 Papini, Odile
4 Reutter, Juan L.
4 Sauro, Luigi
4 Stuckenschmidt, Heiner
4 Tang, Suqin
4 Toman, David
4 Turhan, Anni-Yasmin
4 Varzinczak, Ivan Jóse
3 Antoniou, Grigoris
3 Arenas, Marcelo
3 Baget, Jean-François
3 Bienvenu, Meghyn
3 Cerami, Marco
3 Costantini, Stefania
3 d’Amato, Claudia
3 Delgado, Miguel Ángel
3 Fanizzi, Nicola
3 Fink, Michael
3 Formisano, Andrea
3 Franconi, Enrico
3 Gonçalves, Ricardo
3 Grahne, Gösta
3 Haarslev, Volker
3 Konev, Boris
3 Kostylev, Egor V.
3 Krennwallner, Thomas
3 Leclère, Michel
3 Leone, Nicola
3 Ma, Yue
3 Ma, Zongmin
3 Manna, Marco
3 Mauá, Denis Deratani
3 Meier, Arne
3 Nguyen, Linh Anh
3 Parsia, Bijan
3 Patrizi, Fabio
3 Podol’skiĭ, Vladimir Vladimirovich
3 Poggi, Antonella
3 Pratt-Hartmann, Ian
3 Romero, Miguel
3 Rydval, Jakub
3 Schneider, Thomas
...and 604 more Authors
all top 5

Cited in 67 Serials

49 Artificial Intelligence
31 Journal of Automated Reasoning
27 Annals of Mathematics and Artificial Intelligence
20 Theoretical Computer Science
20 International Journal of Approximate Reasoning
16 Theory and Practice of Logic Programming
11 Journal of Computer and System Sciences
10 Fuzzy Sets and Systems
10 Information Sciences
9 Journal of Applied Non-Classical Logics
8 ACM Transactions on Computational Logic
8 Journal of Applied Logic
7 Studia Logica
7 Information and Computation
6 Logical Methods in Computer Science
4 The Journal of Symbolic Logic
4 New Generation Computing
4 Journal of Logic, Language and Information
4 Theory of Computing Systems
4 Logica Universalis
4 Journal of Logical and Algebraic Methods in Programming
3 Acta Informatica
3 Computers & Mathematics with Applications
3 Synthese
3 Formal Aspects of Computing
3 Fundamenta Informaticae
3 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
2 Information Processing Letters
2 Science of Computer Programming
2 International Journal of Intelligent Systems
2 Machine Learning
2 MSCS. Mathematical Structures in Computer Science
2 Journal of the ACM
2 Journal of Machine Learning Research (JMLR)
2 Computational Intelligence
2 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika
1 Discrete Applied Mathematics
1 Physica A
1 Journal of Philosophical Logic
1 Notre Dame Journal of Formal Logic
1 SIAM Journal on Computing
1 Annals of Pure and Applied Logic
1 Journal of Symbolic Computation
1 Journal of Computer Science and Technology
1 Mathematical and Computer Modelling
1 International Journal of Foundations of Computer Science
1 Archive for Mathematical Logic
1 Cybernetics and Systems Analysis
1 Formal Methods in System Design
1 The Journal of Artificial Intelligence Research (JAIR)
1 Computational & Mathematical Organization Theory
1 Soft Computing
1 Data Mining and Knowledge Discovery
1 International Journal of Applied Mathematics and Computer Science
1 Logic and Logical Philosophy
1 Journal of Applied Mathematics
1 EURASIP Journal on Applied Signal Processing
1 Journal of Intelligent and Fuzzy Systems
1 Science in China. Series F
1 International Journal of Semantic Computing
1 International Journal of Information Technology & Decision Making
1 Science China. Information Sciences
1 Frontiers of Computer Science in China
1 Frontiers of Computer Science
1 Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp’yuternye Nauki
1 Computer Science Review
1 Bulletin of the Hellenic Mathematical Society

Citations by Year