default search action
Diego Calvanese
Person information
- affiliation: Free University of Bozen-Bolzano, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j77]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
Evaluating quality of ontology-driven conceptual models abstractions. Data Knowl. Eng. 153: 102342 (2024) - [j76]C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali:
Verification of Unary Communicating Datalog Programs. Proc. ACM Manag. Data 2(2): 89 (2024) - [j75]Zhenzhen Gu, Francesco Corcoglioniti, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese:
A systematic overview of data federation systems. Semantic Web 15(1): 107-165 (2024) - [j74]Roberto Confalonieri, Oliver Kutz, Diego Calvanese, Jose Maria Alonso-Moral, Shang-Ming Zhou:
The role of ontologies and knowledge in Explainable AI. Semantic Web 15(4): 933-936 (2024) - [c310]Zhenzhen Gu, Diego Calvanese, Marco Di Panfilo, Davide Lanti, Alessandro Mosca, Guohui Xiao:
OBDF: OBDA + Data Federation - Extended Abstract. ICDEW 2024: 381-383 - [c309]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
ExpO: Towards Explaining Ontology-Driven Conceptual Models. RCIS (2) 2024: 20-28 - [c308]Romuald Esdras Wandji, Diego Calvanese:
Ontology-Based Update in Virtual Knowledge Graphs via Schema Mapping Recovery. RuleML+RR 2024: 59-74 - [c307]Arka Ghosh, Albulen Pano, Guohui Xiao, Diego Calvanese:
OntoRaster: Extending VKGs with Raster Data. RuleML+RR 2024: 108-123 - [c306]Cyriac Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali:
Verification of Unary Communicating Datalog Programs. SEBD 2024: 185-194 - [e22]Roberto Confalonieri, Oliver Kutz, Diego Calvanese, Dagmar Gromann, Andreas Holzinger:
Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024. CEUR Workshop Proceedings 3833, CEUR-WS.org 2024 [contents] - [i45]Mattia Fumagalli, Tiago Prince Sales, Pedro Paulo F. Barcelos, Giovanni Micale, Vadim Zaytsev, Diego Calvanese, Giancarlo Guizzardi:
Mining Frequent Structures in Conceptual Models. CoRR abs/2406.07129 (2024) - 2023
- [j73]Iris Beerepoot, Claudio Di Ciccio, Hajo A. Reijers, Stefanie Rinderle-Ma, Wasana Bandara, Andrea Burattin, Diego Calvanese, Tianwa Chen, Izack Cohen, Benoît Depaire, Gemma Di Federico, Marlon Dumas, Christopher G. J. van Dun, Tobias Fehrer, Dominik Andreas Fischer, Avigdor Gal, Marta Indulska, Vatche Isahagian, Christopher Klinkmüller, Wolfgang Kratsch, Henrik Leopold, Amy Van Looy, Hugo A. López, Sanja Lukumbuzya, Jan Mendling, Lara Meyers, Linda Moder, Marco Montali, Vinod Muthusamy, Manfred Reichert, Yara Rizk, Michael Rosemann, Maximilian Röglinger, Shazia Sadiq, Ronny Seiger, Tijs Slaats, Mantas Simkus, Ida Asadi Someh, Barbara Weber, Ingo Weber, Mathias Weske, Francesca Zerbato:
The biggest business process management problems to solve before we die. Comput. Ind. 146: 103837 (2023) - [j72]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Conceptually-grounded mapping patterns for Virtual Knowledge Graphs. Data Knowl. Eng. 145: 102157 (2023) - [j71]Daniela D'Auria, Raffaele Russo, Alfonso Fedele, Federica Addabbo, Diego Calvanese:
An intelligent telemonitoring application for coronavirus patients: reCOVeryaID. Frontiers Big Data 6 (2023) - [j70]Younes Hamdani, Guohui Xiao, Linfang Ding, Diego Calvanese:
An Ontology-Based Framework for Geospatial Integration and Querying of Raster Data Cube Using Virtual Knowledge Graphs. ISPRS Int. J. Geo Inf. 12(9): 375 (2023) - [j69]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
AI-augmented Business Process Management Systems: A Research Manifesto. ACM Trans. Manag. Inf. Syst. 14(1): 11:1-11:19 (2023) - [c305]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT Safety Verification of Ontology-Based Processes. AAAI 2023: 6271-6279 - [c304]Hubert Alisade, Diego Calvanese, Mario Klarer, Alessandro Mosca, Nonyelum Ndefo, Bernadette Rangger, Aaron Tratter:
Exploration of Medieval Manuscripts through Keyword Spotting in the MENS Project. DP@AI*IA 2023: 67-74 - [c303]Diego Calvanese, Cem Okulmus, Magdalena Ortiz, Mantas Simkus:
On the Way to Temporal OBDA Systems (short paper). AMW 2023 - [c302]Diego Calvanese, Mieke Jans, Tahir Emre Kalayci, Marco Montali:
Extracting Event Data from Document-Driven Enterprise Systems. CAiSE 2023: 193-209 - [c301]Davide Lanti, Alessandro Mosca, Diego Calvanese, Marco Montali:
Direct Mappings under the Lens of Information Capacity (Extended Abstract). Description Logics 2023 - [c300]Elena Romanenko, Oliver Kutz, Diego Calvanese, Giancarlo Guizzardi:
Towards Semantics for Abstractions in Ontology-Driven Conceptual Modeling. ER (Workshops) 2023: 199-209 - [c299]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
What Do Users Think About Abstractions of Ontology-Driven Conceptual Models? RCIS 2023: 53-68 - [c298]Arka Ghosh, Mantas Simkus, Diego Calvanese:
Semantic Querying of Integrated Raster and Relational Data: A Virtual Knowledge Graph Approach. RuleML+RR (Companion) 2023 - [c297]Romuald Esdras Wandji, Mantas Simkus, Diego Calvanese:
Towards Techniques for Updating Virtual Knowledge Graphs. RuleML+RR (Companion) 2023 - [c296]Zhenzhen Gu, Diego Calvanese, Marco Di Panfilo, Davide Lanti, Alessandro Mosca, Guohui Xiao:
Ontology-Based Data Federation - A Framework Proposal. SEBD 2023: 210-219 - [e21]Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa:
Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part I. Lecture Notes in Computer Science 13421, Springer 2023, ISBN 978-3-031-25157-3 [contents] - [e20]Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa:
Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part II. Lecture Notes in Computer Science 13422, Springer 2023, ISBN 978-3-031-25197-9 [contents] - [e19]Bohan Li, Lin Yue, Chuanqi Tao, Xuming Han, Diego Calvanese, Toshiyuki Amagasa:
Web and Big Data - 6th International Joint Conference, APWeb-WAIM 2022, Nanjing, China, November 25-27, 2022, Proceedings, Part III. Lecture Notes in Computer Science 13423, Springer 2023, ISBN 978-3-031-25200-6 [contents] - [e18]Diego Calvanese, Claudia Diamantini, Guglielmo Faggioli, Nicola Ferro, Stefano Marchesin, Gianmaria Silvello, Letizia Tanca:
Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023. CEUR Workshop Proceedings 3478, CEUR-WS.org 2023 [contents] - [i44]Linfang Ding, Guohui Xiao, Albulen Pano, Mattia Fumagalli, Dongsheng Chen, Yu Feng, Diego Calvanese, Hongchao Fan, Liqiu Meng:
Integrating 3D City Data through Knowledge Graphs. CoRR abs/2310.11555 (2023) - 2022
- [j68]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combination of Uniform Interpolants via Beth Definability. J. Autom. Reason. 66(3): 409-435 (2022) - [c295]Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese:
Ontology-based Data Federation (Extended Abstract). Description Logics 2022 - [c294]Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese:
Extraction of Object-Centric Event Logs through Virtual Knowledge Graphs (Extended Abstract). Description Logics 2022 - [c293]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
Towards Pragmatic Explanations for Domain Ontologies. EKAW 2022: 201-208 - [c292]Jing Xiong, Guohui Xiao, Tahir Emre Kalayci, Marco Montali, Zhenzhen Gu, Diego Calvanese:
A Virtual Knowledge Graph Based Approach for Object-Centric Event Logs Extraction. ICPM Workshops 2022: 466-478 - [c291]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification of Generic, Relational Transition Systems. PMAI@IJCAI 2022: 93-96 - [c290]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
Verification and Monitoring for First-Order LTL with Persistence-Preserving Quantification over Finite and Infinite Traces. IJCAI 2022: 2553-2560 - [c289]Zhenzhen Gu, Davide Lanti, Alessandro Mosca, Guohui Xiao, Jing Xiong, Diego Calvanese:
Ontology-based Data Federation. IJCKG 2022: 10-19 - [c288]Elena Romanenko, Diego Calvanese, Giancarlo Guizzardi:
Abstracting Ontology-Driven Conceptual Models: Objects, Aspects, Events, and Their Parts. RCIS 2022: 372-388 - [c287]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Conceptually-grounded Mapping Patterns for Virtual Knowledge Graphs. SEBD 2022: 85-92 - [e17]Alessandro Artale, Diego Calvanese, Haofen Wang, Xiaowang Zhang:
Proceedings of the 11th International Joint Conference on Knowledge Graphs, IJCKG 2022, Hangzhou, China, October 27-28, 2022. ACM 2022, ISBN 978-1-4503-9987-6 [contents] - [i43]Marlon Dumas, Fabiana Fournier, Lior Limonad, Andrea Marrella, Marco Montali, Jana-Rebecca Rehse, Rafael Accorsi, Diego Calvanese, Giuseppe De Giacomo, Dirk Fahland, Avigdor Gal, Marcello La Rosa, Hagen Völzer, Ingo Weber:
Augmented Business Process Management Systems: A Research Manifesto. CoRR abs/2201.12855 (2022) - 2021
- [j67]Xin Wang, Diego Calvanese:
Editorial for Special Issue of Journal of Big Data Research on "Big Data Meets Knowledge Graphs". Big Data Res. 25: 100215 (2021) - [j66]Linfang Ding, Guohui Xiao, Diego Calvanese, Liqiu Meng:
Consistency assessment for open geodata integration: an ontology-based approach. GeoInformatica 25(4): 733-758 (2021) - [j65]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65(7): 941-969 (2021) - [j64]Diego Calvanese, Davide Lanti, Tarcisio Mendes de Farias, Alessandro Mosca, Guohui Xiao:
Accessing scientific data through knowledge graphs with Ontop. Patterns 2(10): 100346 (2021) - [j63]Sihem Amer-Yahia, Georgia Koutrika, Martin Braschler, Diego Calvanese, Davide Lanti, Hendrik Lücke-Tieke, Alessandro Mosca, Tarcisio Mendes de Farias, Dimitris Papadopoulos, Yogendra Patil, Guillem Rull, Ellery Smith, Dimitrios Skoutas, Srividya Subramanian, Kurt Stockinger:
INODE: Building an End-to-End Data Exploration System in Practice. SIGMOD Rec. 50(4): 23-29 (2021) - [j62]Linfang Ding, Guohui Xiao, Albulen Pano, Claus Stadler, Diego Calvanese:
Towards the next generation of the LinkedGeoData project using virtual knowledge graphs. J. Web Semant. 71: 100662 (2021) - [c286]Diego Calvanese, Sanja Lukumbuzya, Marco Montali, Mantas Simkus:
Process Mining with Common Sense. Problems@BPM 2021: 45-50 - [c285]Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources Using Mapping Patterns. CAiSE 2021: 193-209 - [c284]Diego Calvanese, Linfang Ding, Alessandro Mosca, Guohui Xiao:
Realizing Ontology-based Reusable Interfaces for Data Access via Virtual Knowledge Graphs. CHItaly 2021: 35:1-35:5 - [c283]Diego Calvanese, Francesco Di Cosmo, Jorge Lobo, Marco Montali:
Convergence Verification of Declarative Distributed Systems. CILC 2021: 62-76 - [c282]Diego Calvanese, Avigdor Gal, Naor Haba, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
ADaMaP: Automatic Alignment of Relational Data Sources using Mapping Patterns (Abstract). Description Logics 2021 - [c281]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Preliminary Results). Description Logics 2021 - [e16]Roberto Confalonieri, Oliver Kutz, Diego Calvanese:
Proceedings of the Workshop on Data meets Applied Ontologies in Explainable AI (DAO-XAI 2021) part of Bratislava Knowledge September (BAKS 2021), Bratislava, Slovakia, September 18th to 19th, 2021. CEUR Workshop Proceedings 2998, CEUR-WS.org 2021 [contents] - [i42]Sihem Amer-Yahia, Georgia Koutrika, Frederic B. Bastian, Theofilos Belmpas, Martin Braschler, Ursin Brunner, Diego Calvanese, Maximilian Fabricius, Orest Gkini, Catherine Kosten, Davide Lanti, Antonis Litke, Hendrik Lücke-Tieke, Francesco Alessandro Massucci, Tarcisio Mendes de Farias, Alessandro Mosca, Francesco Multari, Nikolaos Papadakis, Dimitris Papadopoulos, Yogendra Patil, Aurélien Personnaz, Guillem Rull, Ana Claudia Sima, Ellery Smith, Dimitrios Skoutas, Srividya Subramanian, Guohui Xiao, Kurt Stockinger:
INODE: Building an End-to-End Data Exploration System in Practice [Extended Vision]. CoRR abs/2104.04194 (2021) - [i41]Diego Calvanese, Alessandro Gianola, Andrea Mazzullo, Marco Montali:
SMT-Based Safety Verification of Data-Aware Processes under Ontologies (Extended Version). CoRR abs/2108.12330 (2021) - 2020
- [j61]Linfang Ding, Guohui Xiao, Diego Calvanese, Liqiu Meng:
A Framework Uniting Ontology-Based Geodata Integration and Geovisual Analytics. ISPRS Int. J. Geo Inf. 9(8): 474 (2020) - [j60]Diego Calvanese, Mantas Simkus:
Interview with Diego Calvanese. Künstliche Intell. 34(4): 551-555 (2020) - [j59]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30(3): 271-313 (2020) - [j58]Diego Calvanese, Paul Fodor, Marco Montali:
Report on the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019). ACM SIGLOG News 7(2): 16-18 (2020) - [c280]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. IJCAR (1) 2020: 181-200 - [c279]Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
The Virtual Knowledge Graph System Ontop (Extended Abstract). Description Logics 2020 - [c278]Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski:
Rewriting Count Queries over DL-Lite TBoxes with Number Restrictions. Description Logics 2020 - [c277]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Mapping Patterns for Virtual Knowledge Graphs (A Report on Ongoing Research). Description Logics 2020 - [c276]Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski:
Counting Query Answers over a DL-Lite Knowledge Base. IJCAI 2020: 1658-1666 - [c275]Guohui Xiao, Davide Lanti, Roman Kontchakov, Sarah Komla-Ebri, Elem Güzel Kalayci, Linfang Ding, Julien Corman, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
The Virtual Knowledge Graph System Ontop. ISWC (2) 2020: 259-277 - [c274]Elem Guzel Kalayci, Irlán Grangel-González, Felix Loesch, Guohui Xiao, Anees Mehdi, Evgeny Kharlamov, Diego Calvanese:
Serving Bosch Production Data as Virtual KGs. ISWC (Demos/Industry) 2020: 354-358 - [c273]Elem Güzel Kalayci, Irlán Grangel-González, Felix Lösch, Guohui Xiao, Anees ul Mehdi, Evgeny Kharlamov, Diego Calvanese:
Semantic Integration of Bosch Manufacturing Data Using Virtual Knowledge Graphs. ISWC (2) 2020: 464-481 - [e15]Diego Calvanese, Esra Erdem, Michael Thielscher:
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, ISBN 978-0-9992411-7-2 [contents] - [i40]Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese:
On Expansion and Contraction of DL-Lite Knowledge Bases. CoRR abs/2001.09365 (2020) - [i39]Diego Calvanese, Julien Corman, Davide Lanti, Simon Razniewski:
Counting Query Answers over a DL-Lite Knowledge Base (extended version). CoRR abs/2005.05886 (2020) - [i38]Diego Calvanese, Avigdor Gal, Davide Lanti, Marco Montali, Alessandro Mosca, Roee Shraga:
Mapping Patterns for Virtual Knowledge Graphs. CoRR abs/2012.01917 (2020)
2010 – 2019
- 2019
- [j57]Elem Güzel Kalayci, Sebastian Brandt, Diego Calvanese, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Ontology-based access to temporal data with Ontop: A framework proposal. Int. J. Appl. Math. Comput. Sci. 29(1): 17-30 (2019) - [j56]Guohui Xiao, Linfang Ding, Benjamin Cogrel, Diego Calvanese:
Virtual Knowledge Graphs: An Overview of Systems and Use Cases. Data Intell. 1(3): 201-223 (2019) - [j55]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao:
Ontology-based data access - Beyond relational sources. Intelligenza Artificiale 13(1): 21-36 (2019) - [j54]Davide Lanti, Guohui Xiao, Diego Calvanese:
VIG: Data scaling for OBDA benchmarks. Semantic Web 10(2): 413-433 (2019) - [j53]Diego Calvanese, Marco Montali, Marlon Dumas, Fabrizio Maria Maggi:
Semantic DMN: Formalizing and Reasoning About Decisions in the Presence of Background Knowledge. Theory Pract. Log. Program. 19(4): 536-573 (2019) - [j52]Dmitriy Zheleznyakov, Evgeny Kharlamov, Werner Nutt, Diego Calvanese:
On expansion and contraction of DL-Lite knowledge bases. J. Web Semant. 57 (2019) - [c272]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
The What-To-Ask Problem for Ontology-Based Peers. Description Logic, Theory Combination, and All That 2019: 187-211 - [c271]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That 2019: 212-239 - [c270]Alessandro Artale, Diego Calvanese, Marco Montali, Wil M. P. van der Aalst:
Enriching Data Models with Behavioral Constraints. Ontology Makes Sense 2019: 257-277 - [c269]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM 2019: 157-175 - [c268]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition. CADE 2019: 142-160 - [c267]Diego Calvanese, Marco Montali, Fabio Patrizi, Andrey Rivkin:
Modeling and In-Database Management of Relational, Data-Aware Processes. CAiSE 2019: 328-345 - [c266]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019 - [c265]Evellin Cardoso, Marco Montali, Diego Calvanese:
Representing and Querying Norm States Using Temporal Ontology-Based Data Access. EDOC 2019: 122-131 - [c264]Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao:
Enriching Ontology-based Data Access with Provenance. IJCAI 2019: 1616-1623 - [c263]Sebastian Brandt, Diego Calvanese, Elem Güzel Kalayci, Roman Kontchakov, Benjamin Mörzinger, Vladislav Ryzhikov, Guohui Xiao, Michael Zakharyaschev:
Two-Dimensional Rule Language for Querying Sensor Log Data: A Framework and Use Cases. TIME 2019: 7:1-7:15 - [e14]Diego Calvanese, Luca Iocchi:
GCAI 2019. Proceedings of the 5th Global Conference on Artificial Intelligence, Bozen/Bolzano, Italy, 17-19 September 2019. EPiC Series in Computing 65, EasyChair 2019 [contents] - [e13]Paul Fodor, Marco Montali, Diego Calvanese, Dumitru Roman:
Rules and Reasoning - Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16-19, 2019, Proceedings. Lecture Notes in Computer Science 11784, Springer 2019, ISBN 978-3-030-31094-3 [contents] - [i37]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR abs/1905.12991 (2019) - [i36]Diego Calvanese, Davide Lanti, Ana Ozaki, Rafael Peñaloza, Guohui Xiao:
Enriching Ontology-based Data Access with Provenance (Extended Version). CoRR abs/1906.00179 (2019) - [i35]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR abs/1906.07811 (2019) - [i34]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. CoRR abs/1911.07774 (2019) - 2018
- [j51]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, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7(1): 1-29 (2018) - [j50]Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi:
First-order μ-calculus over generic transition systems and applications to the situation calculus. Inf. Comput. 259(3): 328-347 (2018) - [j49]Diego Calvanese, Marlon Dumas, Ülari Laurson, Fabrizio Maria Maggi, Marco Montali, Irene Teinemaa:
Semantics, Analysis and Simplification of DMN Decision Tables. Inf. Syst. 78: 112-125 (2018) - [c262]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Julien Corman, Guohui Xiao:
A Generalized Framework for Ontology-Based Data Access. AI*IA 2018: 166-180 - [c261]Diego Calvanese, Marco Montali, Jorge Lobo:
Verification of Fixed-Topology Declarative Distributed Systems with External Data. AMW 2018 - [c260]Elem Güzel Kalayci, Guohui Xiao, Vladislav Ryzhikov, Tahir Emre Kalayci, Diego Calvanese:
Ontop-temporal: A Tool for Ontology-based Query Answering over Temporal Data. CIKM 2018: 1927-1930 - [c259]Diego Calvanese, Guohui Xiao:
Semantic Technologies for Data Access and Integration. CIKM 2018: 2303-2304 - [c258]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst:
Conceptual Schema Transformation in Ontology-based Data Access (Extended Abstract). Description Logics 2018 - [c257]Diego Calvanese, Tahir Emre Kalayci, Marco Montali, Ario Santoso, Wil M. P. van der Aalst:
Conceptual Schema Transformation in Ontology-Based Data Access. EKAW 2018: 50-67 - [c256]Guohui Xiao, Dag Hovland, Dimitris Bilidas, Martin Rezk, Martin Giese, Diego Calvanese:
Efficient Ontology-Based Data Integration with Canonical IRIs. ESWC 2018: 697-713 - [c255]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao:
Expressivity and Complexity of MongoDB Queries. ICDT 2018: 9:1-9:23 - [c254]Guohui Xiao, Diego Calvanese, Roman Kontchakov, Domenico Lembo, Antonella Poggi, Riccardo Rosati, Michael Zakharyaschev:
Ontology-Based Data Access: A Survey. IJCAI 2018: 5511-5519 - [c253]Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Guohui Xiao:
Formalization and Complexity of MongoDB Queries (Extended Abstract). SEBD 2018 - [c252]Guohui Xiao, Roman Kontchakov, Benjamin Cogrel, Diego Calvanese, Elena Botoeva:
Efficient Handling of SPARQL OPTIONAL for OBDA. ISWC (1) 2018: 354-373 - [p7]Diego Calvanese, Enrico Franconi:
First-Order Ontology Mediated Database Querying via Query Reformulation. A Comprehensive Guide Through the Italian Database Research 2018: 169-185 - [e12]Stefano Borgo, Oliver Kutz, Frank Loebe, Fabian Neuhaus, Kemo Adrian, Mihailo Antovic, Valerio Basile, Martin Boeker, Diego Calvanese, Tommaso Caselli, Giorgio Colombo, Roberto Confalonieri, Laura Daniele, Jérôme Euzenat, Antony Galton, Dagmar Gromann, Maria M. Hedblom, Heinrich Herre, Inge Hinterwaldner, Andrea Janes, Ludger Jansen, Kris Krois, Antonio Lieto, Claudio Masolo, Rafael Peñaloza, Daniele Porello, Daniele Paolo Radicioni, Emilio M. Sanfilippo, Daniel Schober, Rossella Stufano, Amanda Vizedom:
Proceedings of the Joint Ontology Workshops 2017 Episode 3: The Tyrolean Autumn of Ontology, Bozen-Bolzano, Italy, September 21-23, 2017. CEUR Workshop Proceedings 2050, CEUR-WS.org 2018 [contents] - [r1]Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati:
Ontology-Based Data Access and Integration. Encyclopedia of Database Systems (2nd ed.) 2018 - [i33]