summaryrefslogtreecommitdiff
path: root/research.html
diff options
context:
space:
mode:
Diffstat (limited to 'research.html')
-rw-r--r--research.html156
1 files changed, 156 insertions, 0 deletions
diff --git a/research.html b/research.html
new file mode 100644
index 0000000..e4c9325
--- /dev/null
+++ b/research.html
@@ -0,0 +1,156 @@
1<!DOCTYPE html>
2<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="">
3 <head>
4 <meta charset="utf-8" />
5 <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
6 <!-- favicons -->
7 <link rel="apple-touch-icon" sizes="180x180" href="resources/icons/apple-touch-icon.png">
8 <link rel="icon" type="image/png" sizes="32x32" href="resources/icons/favicon-32x32.png">
9 <link rel="icon" type="image/png" sizes="16x16" href="resources/icons/favicon-16x16.png">
10 <link rel="manifest" href="resources/icons/site.webmanifest">
11 <link rel="mask-icon" href="resources/icons/safari-pinned-tab.svg" color="#5bbad5">
12 <link rel="shortcut icon" href="resources/icons/favicon.ico">
13 <meta name="msapplication-TileColor" content="#b91d47">
14 <meta name="msapplication-config" content="resources/icons/browserconfig.xml">
15 <meta name="theme-color" content="#ffffff">
16 <!-- metatags -->
17 <title>Federico Igne’s homepage</title>
18 <meta name="title" content="Federico Igne's homepage">
19 <meta name="description" content="A web home for Federico Igne.">
20 <meta property="og:type" content="website">
21 <meta property="og:url" content="https://www.federicoigne.com/">
22 <meta property="og:title" content="Federico Igne's homepage">
23 <meta property="og:description" content="A web home for Federico Igne.">
24 <meta property="og:image" content="https://www.federicoigne.com/resources/metalogo.png">
25 <meta property="twitter:card" content="summary_large_image">
26 <meta property="twitter:url" content="https://www.federicoigne.com/">
27 <meta property="twitter:title" content="Federico Igne's homepage">
28 <meta property="twitter:description" content="A web home for Federico Igne.">
29 <meta property="twitter:image" content="https://www.federicoigne.com/resources/metalogo.png">
30 <!-- css style -->
31 <link rel="stylesheet" href="style.css" />
32 </head>
33 <body>
34 <header id="title-block-header">
35 <h1 class="logo">&#xfb01;</h1>
36 <h1 class="heading">A web home for Federico Igne</h1>
37 <div class="nav">
38 <a href="index.html">Home</a>
39 &#x00b7;
40 <a href="about.html">About</a>
41 &#x00b7;
42 <a class="active" href="#">Research</a>
43 &#x00b7;
44 <a href="https://git.dyamon.me">Code</a>
45 <!-- &#x00b7; -->
46 <!-- <a href="#blog">Blog</a> -->
47 </div>
48 </header>
49 <div id="body">
50 <p>
51 Here is my <a class="highlight" href="resources/cv/cv_igne.pdf">CV</a> (along with the longer <a class="highlight" href="resources/cv/cv_igne_academic.pdf">academic version</a>).
52 </p>
53
54 <h1>Current research</h1>
55
56 <p>
57 I’m currently a <a class="highlight" href="https://www.cs.ox.ac.uk/people/federico.igne/">PhD student in Computer Science</a> at the University of Oxford under the supervision of <a class="hovering" href="https://www.cs.ox.ac.uk/people/ian.horrocks/">Prof.&#160;Ian&#160;Horrocks</a> and <a class="hovering" href="https://www.cs.ox.ac.uk/people/stefano.germano/">Dr&#160;Stefano&#160;Germano</a>.
58 </p>
59
60 <p>
61 I'm part of the <a class="highlight" href="https://www.cs.ox.ac.uk/isg/krr/">KRR&#160;group</a> at the University of Oxford, and the <a class="hovering" href="https://sirius-labs.no/">SIRIUS&#160;research&#160;centre</a> at the University of Olso.
62 </p>
63
64 <p>
65 My research focuses on <i>conjunctive query answering over unrestricted
66 ontologies</i>. This lead to the development of <a class="highlight" href="https://github.com/KRR-Oxford/RSAComb">RSAComb</a>, a solver for conjuntive query answering over RSA ontologies, and its integration in <a class="highlight" href="http://www.cs.ox.ac.uk/isg/tools/PAGOdA">PAGOdA</a>.
67 </p>
68
69 <h1>Education</h1>
70
71 <p>
72 I obtained my <b>bachelor's degree</b> in Computer Science
73 at the University of Udine in 2015 (<i>110/110 cum
74 laude</i>) under the supervision of <a class="hovering" href="https://users.dimi.uniud.it/~agostino.dovier/">Prof.&#160;Agostino Dovier</a>.
75 </p>
76
77 <p>
78 I obtained my <b>master's degree</b> in Computer Science at the University of Udine and in collaboration with the New Mexico State University in 2017 (<i>110/110 cum laude</i>) under the supervision of <a class="hovering" href="https://users.dimi.uniud.it/~agostino.dovier/">Prof.&#160;Agostino Dovier</a> and <a class="hovering" href="https://www.cs.nmsu.edu/~epontell/alpec/">Prof.&#160;Enrico Pontelli</a>. I worked on a distributed ASP solver using the <i>map-reduce paradigm</i>.
79 </p>
80
81 <p>
82 During my time at the University of Udine, I received a <b>scholarship</b> from the <a class="hovering" href="https://scuolasuperiore.uniud.it/">Scuola&#160;Superiore</a> of Udine, an institution of higher education within the University of Udine.
83 </p>
84
85 <h1>Pubblications</h1>
86
87 <div class="bib">
88 <p>
89 <i>Federico Igne, Stefano Germano, and Ian Horrocks.</i><br/>
90 <b>Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA.</b><br/>
91 20th International Semantic Web Conference - Research Track, ISWC 2021, Virtual Event, October 24-28, 2021 (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/semweb/IgneGH21.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne6.pdf">PDF</a>).
92 </p>
93
94 <p>
95 <i>Federico Igne, Stefano Germano, and Ian Horrocks.</i><br/>
96 <b>Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA - Extended Abstract.</b><br/>
97 20th International Semantic Web Conference - Posters, Demos and Industry Tracks, ISWC 2021, Virtual Event, October 24-28, 2021 (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/semweb/IgneGH21a.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne5.pdf">PDF</a>).
98 </p>
99
100 <p>
101 <i>Federico Igne, Stefano Germano, and Ian Horrocks.</i><br/>
102 <b>RSAComb: Combined Approach for CQ Answering in RSA</b><br/>
103 34th International Workshop on Description Logics, DL 2021, Bratislava, Slovakia, September 19-22, 2021 (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/dlog/IgneGH21.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne4.pdf">PDF</a>).
104 </p>
105
106 <p>
107 <i>Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, and Enrico Pontelli.</i><br/>
108 <b>Towards Distributed Computation of Answer Sets.</b><br/>
109 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019 (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/cilc/BortoliITDP19.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne3.pdf">PDF</a>).
110 </p>
111
112 <p>
113 <i>Luca Geatti, Federico Igne, and Marino Miculan.</i><br/>
114 <b>An Abstract Distributed Middleware for Transactions over Heterogeneous Stores.</b><br/>
115 20th Italian Conference on Theoretical Computer Science, ICTCS 2019, Como, Italy, September 9-11, 2019 (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/ictcs/GeattiIM19.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne2.pdf">PDF</a>).
116 </p>
117
118 <p>
119 <i>Federico Igne, Agostino Dovier, and Enrico Pontelli</i><br/>
120 <b>MASP-Reduce: A Proposal for Distributed Computation of Stable Models.</b><br/>
121 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom (<a class="hovering" href="https://dblp.uni-trier.de/rec/conf/iclp/IgneDP18.html?view=bibtex&amp;param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne1.pdf">PDF</a>).
122 </p>
123 </div>
124 </div>
125 </body>
126 <footer>
127 <p>
128 email [at] federicoigne [dot] com
129 &#x00b7;
130 <a href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">0xEC5C93EE812ACE50</a>
131 </p>
132 <p>
133 <a href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">keyoxide</a>
134 &#x00b7;
135 <a href="https://matrix.to/#/@dyamon:matrix.dyamon.me">matrix</a>
136 &#x00b7;
137 <a href="https://fosstodon.org/@dyamon">fediverse</a>
138 &#x00b7;
139 <a href="https://github.com/dyamon">github</a>
140 </p>
141 <div class="copyright">
142 <a href="http://creativecommons.org/licenses/by-sa/4.0/">
143 <svg
144 xmlns="http://www.w3.org/2000/svg"
145 width="16px"
146 height="16px"
147 viewBox="5.5 -3.5 64 64">
148 <g>
149 <circle fill="#FFFFFF" cx="37.785" cy="28.501" r="28.836" />
150 <path d="M37.441-3.5c8.951,0,16.572,3.125,22.857,9.372c3.008,3.009,5.295,6.448,6.857,10.314 c1.561,3.867,2.344,7.971,2.344,12.314c0,4.381-0.773,8.486-2.314,12.313c-1.543,3.828-3.82,7.21-6.828,10.143 c-3.123,3.085-6.666,5.448-10.629,7.086c-3.961,1.638-8.057,2.457-12.285,2.457s-8.276-0.808-12.143-2.429 c-3.866-1.618-7.333-3.961-10.4-7.027c-3.067-3.066-5.4-6.524-7-10.372S5.5,32.767,5.5,28.5c0-4.229,0.809-8.295,2.428-12.2 c1.619-3.905,3.972-7.4,7.057-10.486C21.08-0.394,28.565-3.5,37.441-3.5z M37.557,2.272c-7.314,0-13.467,2.553-18.458,7.657 c-2.515,2.553-4.448,5.419-5.8,8.6c-1.354,3.181-2.029,6.505-2.029,9.972c0,3.429,0.675,6.734,2.029,9.913 c1.353,3.183,3.285,6.021,5.8,8.516c2.514,2.496,5.351,4.399,8.515,5.715c3.161,1.314,6.476,1.971,9.943,1.971 c3.428,0,6.75-0.665,9.973-1.999c3.219-1.335,6.121-3.257,8.713-5.771c4.99-4.876,7.484-10.99,7.484-18.344 c0-3.543-0.648-6.895-1.943-10.057c-1.293-3.162-3.18-5.98-5.654-8.458C50.984,4.844,44.795,2.272,37.557,2.272z M37.156,23.187 l-4.287,2.229c-0.458-0.951-1.019-1.619-1.685-2c-0.667-0.38-1.286-0.571-1.858-0.571c-2.856,0-4.286,1.885-4.286,5.657 c0,1.714,0.362,3.084,1.085,4.113c0.724,1.029,1.791,1.544,3.201,1.544c1.867,0,3.181-0.915,3.944-2.743l3.942,2 c-0.838,1.563-2,2.791-3.486,3.686c-1.484,0.896-3.123,1.343-4.914,1.343c-2.857,0-5.163-0.875-6.915-2.629 c-1.752-1.752-2.628-4.19-2.628-7.313c0-3.048,0.886-5.466,2.657-7.257c1.771-1.79,4.009-2.686,6.715-2.686 C32.604,18.558,35.441,20.101,37.156,23.187z M55.613,23.187l-4.229,2.229c-0.457-0.951-1.02-1.619-1.686-2 c-0.668-0.38-1.307-0.571-1.914-0.571c-2.857,0-4.287,1.885-4.287,5.657c0,1.714,0.363,3.084,1.086,4.113 c0.723,1.029,1.789,1.544,3.201,1.544c1.865,0,3.18-0.915,3.941-2.743l4,2c-0.875,1.563-2.057,2.791-3.541,3.686 c-1.486,0.896-3.105,1.343-4.857,1.343c-2.896,0-5.209-0.875-6.941-2.629c-1.736-1.752-2.602-4.19-2.602-7.313 c0-3.048,0.885-5.466,2.658-7.257c1.77-1.79,4.008-2.686,6.713-2.686C51.117,18.558,53.938,20.101,55.613,23.187z" />
151 </g>
152 </svg>
153 </a>
154 </div>
155 </footer>
156</html>
generated by cgit v1.2.3 (git 2.25.1) at 2025-11-05 08:02:23 +0000