<!DOCTYPE html>
<html data-lt-installed="true">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body style="padding-bottom: 1px;">
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"
id="docs-internal-guid-0dae83a3-7fff-1a9e-bcb3-54b73c4fef4d"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">[Apologies for cross-posting]
</span></p>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"
id="docs-internal-guid-c988ca84-7fff-d6ee-f529-eb872d937df5"><br>
</p>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><b>User
study for explaining missing entailments</b><br>
</p>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><a
href="https://github.com/de-tu-dresden-inf-lat/evee"
style="text-decoration:none;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#0000ff;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">https://github.com/de-tu-dresden-inf-lat/evee</span></a></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Dear colleagues,</span></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">We are looking for interested students or ontology engineers to participate in our study.</span></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Background:</span></p>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">When working with ontologies, understanding entailments derived by a reasoner is not always straightforward. So, we introduce </span><a
href="https://github.com/de-tu-dresden-inf-lat/evee"
style="text-decoration:none;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#0000ff;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Evee</span></a><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">, a collection of </span><a
href="https://protege.stanford.edu/"
style="text-decoration:none;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#0000ff;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Protégé</span></a><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;"> plugins for explaining entailments.</span></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Goal:</span></p>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">We are researching the usability of different methods of explaining missing entailments in an ontology using </span><a
href="https://github.com/de-tu-dresden-inf-lat/evee"
style="text-decoration:none;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#0000ff;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Evee</span></a><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">.</span></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:700;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Requirements:</span></p>
<ul style="margin-top:0;margin-bottom:0;padding-inline-start:48px;">
<li dir="ltr"
style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;"
aria-level="1"><p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"
role="presentation"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">you have worked with Protégé,</span></p></li>
<li dir="ltr"
style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;"
aria-level="1"><p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"
role="presentation"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">you are familiar with OWL ontologies,</span></p></li>
<li dir="ltr"
style="list-style-type:disc;font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;"
aria-level="1"><p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"
role="presentation"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">you are willing to use Zoom for recording the session</span></p></li>
</ul>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">The online interview will take around 1.5 hours and we will compensate you for your support in our research study with a 20€ gift card. </span></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">If you are interested or have any questions, contact Ida Siahaan (</span><a
href="mailto:ida_sri_rejeki.siahaan@tu-dresden.de"
style="text-decoration:none;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">ida_sri_rejeki.siahaan@tu-dresden.de</span></a><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">) for scheduling or Stefan Borgwardt (</span><a
href="mailto:stefan.borgwardt@tu-dresden.de"
style="text-decoration:none;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#1155cc;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">stefan.borgwardt@tu-dresden.de</span></a><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">) for scientific matters.</span></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">The research is funded by the DFG in the Center for Perspicuous Computing (</span><a
href="https://www.perspicuous-computing.science/"
style="text-decoration:none;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#0000ff;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:underline;-webkit-text-decoration-skip:none;text-decoration-skip-ink:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">CPEC</span></a><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">).</span></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Kind regards,</span></p>
<br>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">Stefan Borgwardt</span></p>
<p dir="ltr"
style="line-height:1.3800000000000001;margin-top:0pt;margin-bottom:0pt;"><span
style="font-size:11pt;font-family:Arial,sans-serif;color:#000000;background-color:transparent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-space:pre;white-space:pre-wrap;">
</span></p>
<p></p>
<pre class="moz-signature" cols="72">--
Dr. Stefan Borgwardt
Technische Universität Dresden
Faculty of Computer Science
Institute of Theoretical Computer Science
Chair of Automata Theory
01062 Dresden
+49 351 463-39209
<a class="moz-txt-link-freetext" href="https://lat.inf.tu-dresden.de/~stefborg/">https://lat.inf.tu-dresden.de/~stefborg/</a></pre>
</body>
<lt-container></lt-container>
</html>