Federico Igne : Publications
-
[1]
An Abstract Distributed Middleware for Transactions over Heterogeneous Stores
Luca Geatti‚ Federico Igne and Marino Miculan
In Alessandra Cherubini‚ Nicoletta Sabadini and Simone Tini, editors, Proceedings of the 20th Italian Conference on Theoretical Computer Science‚ ICTCS 2019‚ Como‚ Italy‚ September 9−11‚ 2019. Vol. 2504 of CEUR Workshop Proceedings. Pages 171–183. CEUR−WS.org. 2019.
Details about An Abstract Distributed Middleware for Transactions over Heterogeneous Stores | BibTeX data for An Abstract Distributed Middleware for Transactions over Heterogeneous Stores | Download (pdf) of An Abstract Distributed Middleware for Transactions over Heterogeneous Stores
-
[2]
Computing CQ Lower−Bounds over OWL 2 Through Approximation to RSA
Federico Igne‚ Stefano Germano and Ian Horrocks
In Andreas Hotho‚ Eva Blomqvist‚ Stefan Dietze‚ Achille Fokoue‚ Ying Ding‚ Payam M. Barnaghi‚ Armin Haller‚ Mauro Dragoni and Harith Alani, editors, The Semantic Web − ISWC 2021 − 20th International Semantic Web Conference‚ ISWC 2021‚ Virtual Event‚ October 24−28‚ 2021‚ Proceedings. Vol. 12922 of Lecture Notes in Computer Science. Pages 200–216. Springer. 2021.
Details about Computing CQ Lower−Bounds over OWL 2 Through Approximation to RSA | BibTeX data for Computing CQ Lower−Bounds over OWL 2 Through Approximation to RSA | DOI (10.1007/978-3-030-88361-4\_12) | Link to Computing CQ Lower−Bounds over OWL 2 Through Approximation to RSA
-
[3]
Computing CQ lower−bounds over OWL 2 through approximation to RSA
Federico Igne‚ Stefano Germano and Ian Horrocks
In CoRR. Vol. abs/2107.00369. 2021.
Details about Computing CQ lower−bounds over OWL 2 through approximation to RSA | BibTeX data for Computing CQ lower−bounds over OWL 2 through approximation to RSA | Link to Computing CQ lower−bounds over OWL 2 through approximation to RSA
-
[4]
Computing CQ lower−bounds over OWL 2 through approximation to RSA − Extended Abstract
Federico Igne‚ Stefano Germano and Ian Horrocks
In Oshani Seneviratne‚ Catia Pesquita‚ Juan Sequeda and Lorena Etcheverry, editors, Proceedings of the ISWC 2021 Posters‚ Demos and Industry Tracks: From Novel Ideas to Industrial Practice co−located with 20th International Semantic Web Conference (ISWC 2021)‚ Virtual Conference‚ October 24−28‚ 2021. Vol. 2980 of CEUR Workshop Proceedings. CEUR−WS.org. 2021.
Details about Computing CQ lower−bounds over OWL 2 through approximation to RSA − Extended Abstract | BibTeX data for Computing CQ lower−bounds over OWL 2 through approximation to RSA − Extended Abstract | Download (pdf) of Computing CQ lower−bounds over OWL 2 through approximation to RSA − Extended Abstract
-
[5]
Conjunctive Query answering over unrestricted OWL 2 ontologies
Federico Igne
PhD Thesis University of Oxford. Oxford‚ Oxfordshire‚ UK. August, 2022.
Details about Conjunctive Query answering over unrestricted OWL 2 ontologies | BibTeX data for Conjunctive Query answering over unrestricted OWL 2 ontologies
-
[6]
MASP−Reduce: A Proposal for Distributed Computation of Stable Models
Federico Igne‚ Agostino Dovier and Enrico Pontelli
In Alessandro Dal Palù‚ Paul Tarau‚ Neda Saeedloei and Paul Fodor, editors, Technical Communications of the 34th International Conference on Logic Programming‚ ICLP 2018‚ July 14−17‚ 2018‚ Oxford‚ United Kingdom. Vol. 64 of OASICS. Pages 8:1–8:4. Schloss Dagstuhl − Leibniz−Zentrum für Informatik. 2018.
Details about MASP−Reduce: A Proposal for Distributed Computation of Stable Models | BibTeX data for MASP−Reduce: A Proposal for Distributed Computation of Stable Models | DOI (10.4230/OASIcs.ICLP.2018.8) | Link to MASP−Reduce: A Proposal for Distributed Computation of Stable Models
-
[7]
RSAComb: Combined Approach for CQ Answering in RSA
Federico Igne‚ Stefano Germano and Ian Horrocks
In Martin Homola‚ Vladislav Ryzhikov and Renate A. Schmidt, editors, Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021)‚ Bratislava‚ Slovakia‚ September 19th to 22nd‚ 2021. Vol. 2954 of CEUR Workshop Proceedings. CEUR−WS.org. 2021.
Details about RSAComb: Combined Approach for CQ Answering in RSA | BibTeX data for RSAComb: Combined Approach for CQ Answering in RSA | Download (pdf) of RSAComb: Combined Approach for CQ Answering in RSA
-
[8]
Towards Distributed Computation of Answer Sets
Marco De Bortoli‚ Federico Igne‚ Fabio Tardivo‚ Pietro Totis‚ Agostino Dovier and Enrico Pontelli
In Alberto Casagrande and Eugenio G. Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic‚ Trieste‚ Italy‚ June 19−21‚ 2019. Vol. 2396 of CEUR Workshop Proceedings. Pages 316–326. CEUR−WS.org. 2019.
Details about Towards Distributed Computation of Answer Sets | BibTeX data for Towards Distributed Computation of Answer Sets | Download (pdf) of Towards Distributed Computation of Answer Sets