1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" lang="" xml:lang="">
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" />
<!-- favicons -->
<link rel="apple-touch-icon" sizes="180x180" href="resources/icons/apple-touch-icon.png">
<link rel="icon" type="image/png" sizes="32x32" href="resources/icons/favicon-32x32.png">
<link rel="icon" type="image/png" sizes="16x16" href="resources/icons/favicon-16x16.png">
<link rel="manifest" href="resources/icons/site.webmanifest">
<link rel="mask-icon" href="resources/icons/safari-pinned-tab.svg" color="#5bbad5">
<link rel="shortcut icon" href="resources/icons/favicon.ico">
<meta name="msapplication-TileColor" content="#b91d47">
<meta name="msapplication-config" content="resources/icons/browserconfig.xml">
<meta name="theme-color" content="#ffffff">
<!-- metatags -->
<title>Federico Igne’s homepage</title>
<meta name="title" content="Federico Igne's homepage">
<meta name="description" content="A web home for Federico Igne.">
<meta property="og:type" content="website">
<meta property="og:url" content="https://www.federicoigne.com/">
<meta property="og:title" content="Federico Igne's homepage">
<meta property="og:description" content="A web home for Federico Igne.">
<meta property="og:image" content="https://www.federicoigne.com/resources/metalogo.png">
<meta property="twitter:card" content="summary_large_image">
<meta property="twitter:url" content="https://www.federicoigne.com/">
<meta property="twitter:title" content="Federico Igne's homepage">
<meta property="twitter:description" content="A web home for Federico Igne.">
<meta property="twitter:image" content="https://www.federicoigne.com/resources/metalogo.png">
<!-- css style -->
<link rel="stylesheet" href="style.css" />
</head>
<body>
<header id="title-block-header">
<h1 class="logo">fi</h1>
<h1 class="heading">A web home for Federico Igne</h1>
<div class="nav">
<a href="index">Home</a>
·
<a href="about">About</a>
·
<a class="active" href="#">Research</a>
·
<a href="https://git.dyamon.me">Code</a>
<!-- · -->
<!-- <a href="#blog">Blog</a> -->
</div>
</header>
<p>
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>).
</p>
<h1 id="current-research">Current research</h1>
<p>
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. Ian Horrocks</a> and <a class="hovering" href="https://www.cs.ox.ac.uk/people/stefano.germano/">Dr Stefano Germano</a>.
</p>
<p>
I'm part of the <a class="highlight" href="https://www.cs.ox.ac.uk/isg/krr/">KRR group</a> at the University of Oxford, and the <a class="hovering" href="https://sirius-labs.no/">SIRIUS research centre</a> at the University of Olso.
</p>
<p>
My research focuses on <i>conjunctive query answering over unrestricted
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>.
</p>
<h1 id="education">Education</h1>
<p>
I obtained my <b>bachelor's degree</b> in Computer Science
at the University of Udine in 2015 (<i>110/110 cum
laude</i>) under the supervision of <a class="hovering" href="https://users.dimi.uniud.it/~agostino.dovier/">Prof. Agostino Dovier</a>.
</p>
<p>
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. Agostino Dovier</a> and <a class="hovering" href="https://www.cs.nmsu.edu/~epontell/alpec/">Prof. Enrico Pontelli</a>. I worked on a distributed ASP solver using the <i>map-reduce paradigm</i>.
</p>
<p>
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 Superiore</a> of Udine, an institution of higher education within the University of Udine.
</p>
<h1 id="publications">Publications</h1>
<div class="bib">
<p>
<i>Federico Igne, Stefano Germano, and Ian Horrocks.</i><br/>
<b>Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA.</b><br/>
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&param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne6.pdf">PDF</a>).
</p>
<p>
<i>Federico Igne, Stefano Germano, and Ian Horrocks.</i><br/>
<b>Computing CQ Lower-Bounds over OWL 2 Through Approximation to RSA - Extended Abstract.</b><br/>
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&param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne5.pdf">PDF</a>).
</p>
<p>
<i>Federico Igne, Stefano Germano, and Ian Horrocks.</i><br/>
<b>RSAComb: Combined Approach for CQ Answering in RSA</b><br/>
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&param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne4.pdf">PDF</a>).
</p>
<p>
<i>Marco De Bortoli, Federico Igne, Fabio Tardivo, Pietro Totis, Agostino Dovier, and Enrico Pontelli.</i><br/>
<b>Towards Distributed Computation of Answer Sets.</b><br/>
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&param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne3.pdf">PDF</a>).
</p>
<p>
<i>Luca Geatti, Federico Igne, and Marino Miculan.</i><br/>
<b>An Abstract Distributed Middleware for Transactions over Heterogeneous Stores.</b><br/>
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&param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne2.pdf">PDF</a>).
</p>
<p>
<i>Federico Igne, Agostino Dovier, and Enrico Pontelli</i><br/>
<b>MASP-Reduce: A Proposal for Distributed Computation of Stable Models.</b><br/>
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&param=0">BibTeX</a>, <a class="hovering" href="resources/papers/igne1.pdf">PDF</a>).
</p>
</div>
</body>
<footer>
<p>
email [at] federicoigne [dot] com
·
<a class="hovering" href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">0xEC5C93EE812ACE50</a>
</p>
<p>
<a class="hovering" href="https://keyoxide.org/hkp/D5930668786C62D0757B3264EC5C93EE812ACE50">keyoxide</a>
·
<a class="hovering" href="https://matrix.to/#/@dyamon:matrix.dyamon.me">matrix</a>
·
<a class="hovering" href="https://fosstodon.org/@dyamon">fediverse</a>
·
<a class="hovering" href="https://github.com/dyamon">github</a>
</p>
<div class="copyright">
<a href="http://creativecommons.org/licenses/by-sa/4.0/">
<svg
xmlns="http://www.w3.org/2000/svg"
width="16px"
height="16px"
viewBox="5.5 -3.5 64 64">
<g>
<circle fill="#FFFFFF" cx="37.785" cy="28.501" r="28.836" />
<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" />
</g>
</svg>
</a>
</div>
</footer>
</html>
|
