Re: State of OWL reasoners

--0000000000007f622905a8fbb257
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Dear Mikael,

I have been successfully using Racer and Konclude and they work for the
"standard" tasks. Of course, you could have a bottleneck if you use OWLlink
protocol (http://www.owllink.org/) to interface with them. The last update
of the protocol was in 2011.

Konclude https://www.derivo.de/en/produkte/konclude.html
Racer https://github.com/ha-mo-we/Racer

If you look for bug maybe you find them because is software! but Racer
could work for you.

Germ=C3=A1n


Germ=C3=A1n Braun
Becario Posdoctoral CONICET
Departamento de Teor=C3=ADa de la Computaci=C3=B3n
Facultad de Inform=C3=A1tica / Universidad Nacional del Comahue
Buenos Aires 1400 - Neuqu=C3=A9n Capital (8300) - Neuqu=C3=A9n
Tel.: (+54) 299-4490300 int 637 Cel.: 298 4634689
https://fi.uncoma.edu.ar/german-braun/
<https://sites.google.com/a/fi.uncoma.edu.ar/german-braun/>

-----------

[EOM]--End of Message
[NRR]--No Reply Required  (alternative stronger than FYI)
[Y/N]--Yes/No Question
[RB+ ]--Reply By (insert timeline)  e.g. [RB+4] 4 days
[AB+ ]--Action By (insert timeline)
[PYR]--Per Your Request


On Fri, 26 Jun 2020 at 07:15, Mikael Pesonen <[email protected]>
wrote:

>
> Hi,
>
> HermiT has a bug giving more false positives that true positives for
> entailment: https://github.com/owlcs/hermit-reasoner/issues/9
>
> Pellet and if i remember correctly openllet give java error when trying
> to compile package: https://github.com/stardog-union/pellet/issues/48
>
> FaCT++: actually just managed to solve issue with missing libs, but
> can't find any documentation on how to make config file for reasoning
>
> eye: missing some dependencies and didn't manage to install right ones
> without documentation.
>
>
> May I ask which one are you running successfully? Btw I'm using Ubuntu.
>
> Br
>
>
> On 25.6.2020 18:39, William Van Woensel wrote:
> > Hi Mikael,
> >
> > Just wondering, what errors are you getting in particular for each
> reasoner? I've successfully used several of the listed ones. (Also note
> that EYE is not an OWL reasoner, although it could be used with an OWL2 R=
L
> ruleset to fulfill that role to an extent.)
> >
> >
> > W
> >
> > -----Original Message-----
> > From: Mikael Pesonen <[email protected]>
> > Sent: June-25-20 6:59 AM
> > To: [email protected]
> > Subject: State of OWL reasoners
> >
> > CAUTION: The Sender of this email is not from within Dalhousie.
> >
> > I thought to do some entailment checking in OWL in way that no
> programming or install scripting is not be required.
> > So far have tested so far HermiT, Pellet, Openllet, Fact++, EYE and
> Robot. None of them work.
> > Robot doesn't have the entailment function, others are broken. Either
> knowledge how to tweak Linux installation scripts to solve conflicts is
> required or they just crash or function erroneously.
> > Some of the projects are alive, that is, forum and GitHub posts got
> first answered, but eventually got silence before problems got solved.
> >
> > I thing W3C is doing awesome job making the specifications, but they ar=
e
> useless without the tools that implement them.
> >
>
>
>

--0000000000007f622905a8fbb257
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-family:trebuche=
t ms,sans-serif">Dear Mikael,</div><div class=3D"gmail_default" style=3D"fo=
nt-family:trebuchet ms,sans-serif"><br></div><div class=3D"gmail_default" s=
tyle=3D"font-family:trebuchet ms,sans-serif">I have been successfully using=
 Racer and Konclude and they work for the &quot;standard&quot; tasks. Of co=
urse, you could have a bottleneck if you use OWLlink protocol (<a href=3D"h=
ttp://www.owllink.org/">http://www.owllink.org/</a>) to interface with them=
.. The last update of the protocol was in 2011.<br clear=3D"all"></div><div>=
<div dir=3D"ltr" class=3D"gmail_signature" data-smartmail=3D"gmail_signatur=
e"><div dir=3D"ltr"><div><div dir=3D"ltr"><div><div dir=3D"ltr"><div><div d=
ir=3D"ltr"><div dir=3D"ltr"><div style=3D"color:rgb(34,34,34);font-family:a=
rial,sans-serif;font-size:13px"><br></div><div style=3D"color:rgb(34,34,34)=
;font-family:arial,sans-serif;font-size:13px"><div style=3D"font-family:tre=
buchet ms,sans-serif" class=3D"gmail_default">Konclude <a href=3D"https://w=
ww.derivo.de/en/produkte/konclude.html">https://www.derivo.de/en/produkte/k=
onclude.html</a></div><div style=3D"font-family:trebuchet ms,sans-serif" cl=
ass=3D"gmail_default">Racer <a href=3D"https://github.com/ha-mo-we/Racer">h=
ttps://github.com/ha-mo-we/Racer</a></div><div style=3D"font-family:trebuch=
et ms,sans-serif" class=3D"gmail_default"><br></div><div style=3D"font-fami=
ly:trebuchet ms,sans-serif" class=3D"gmail_default">If you look for bug may=
be you find them because is software! but Racer could work for you.</div><d=
iv style=3D"font-family:trebuchet ms,sans-serif" class=3D"gmail_default"><b=
r></div><div style=3D"font-family:trebuchet ms,sans-serif" class=3D"gmail_d=
efault">Germ=C3=A1n</div><br><br></div><div style=3D"color:rgb(34,34,34);fo=
nt-family:arial,sans-serif;font-size:13px"><font color=3D"#000000">Germ=C3=
=A1n Braun<br></font></div><div style=3D"color:rgb(34,34,34);font-family:ar=
ial,sans-serif;font-size:13px"><font color=3D"#000000">Becario Posdoctoral =
CONICET<br></font></div><div style=3D"color:rgb(34,34,34);font-family:arial=
,sans-serif;font-size:13px"><font color=3D"#000000">Departamento de Teor=C3=
=ADa de la Computaci=C3=B3n</font></div><div style=3D"color:rgb(34,34,34);f=
ont-family:arial,sans-serif;font-size:13px"><div><font color=3D"#000000">Fa=
cultad de Inform=C3=A1tica / Universidad Nacional del Comahue</font></div><=
div><font color=3D"#000000">Buenos Aires 1400 - Neuqu=C3=A9n Capital (8300)=
 - Neuqu=C3=A9n=C2=A0</font></div><div><span style=3D"font-family:Arial,Hel=
vetica,sans-serif;background-color:rgb(255,255,255)"><font color=3D"#000000=
">Tel.: (+54) 299-4490300 int 637 Cel.: 298 4634689</font></span></div><div=
><span style=3D"font-family:Arial,Helvetica,sans-serif;background-color:rgb=
(255,255,255)"><font color=3D"#000000"><a href=3D"https://sites.google.com/=
a/fi.uncoma.edu.ar/german-braun/" target=3D"_blank">https://fi.uncoma.edu.a=
r/german-braun/</a><br></font></span></div><div><span style=3D"font-family:=
Arial,Helvetica,sans-serif;background-color:rgb(255,255,255)"><font color=
=3D"#000000"><br></font></span></div><div><span style=3D"font-family:Arial,=
Helvetica,sans-serif;background-color:rgb(255,255,255)"><font color=3D"#000=
000">-----------</font></span></div><div><span style=3D"font-family:Arial,H=
elvetica,sans-serif;background-color:rgb(255,255,255)"><font color=3D"#0000=
00"><br></font></span></div><div><span style=3D"color:rgb(0,0,0);font-famil=
y:Arial;font-size:13.3333px;white-space:pre-wrap;line-height:1.2;background=
-color:transparent">[EOM]--End of Message</span></div><div><span style=3D"c=
olor:rgb(0,0,0);font-family:Arial;font-size:13.3333px;white-space:pre-wrap;=
line-height:1.2;background-color:transparent">[NRR]--No Reply Required =C2=
=A0(alternative stronger than FYI)</span></div><div><span style=3D"color:rg=
b(0,0,0);font-family:Arial;font-size:13.3333px;white-space:pre-wrap;line-he=
ight:1.2;background-color:transparent">[Y/N]--Yes/No Question</span></div><=
div><span style=3D"color:rgb(0,0,0);font-family:Arial;font-size:13.3333px;w=
hite-space:pre-wrap;line-height:1.2;background-color:transparent">[RB+ ]--R=
eply By (insert timeline) =C2=A0e.g. [RB+4] 4 days</span></div><div><span s=
tyle=3D"color:rgb(0,0,0);font-family:Arial;font-size:13.3333px;white-space:=
pre-wrap;line-height:1.2;background-color:transparent">[AB+ ]--Action By (i=
nsert timeline)</span></div><div><span style=3D"color:rgb(0,0,0);font-famil=
y:Arial;font-size:13.3333px;white-space:pre-wrap;line-height:1.2;background=
-color:transparent">[PYR]--Per Your Request</span></div></div></div></div><=
/div></div></div></div></div></div></div></div><br></div><br><div class=3D"=
gmail_quote"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, 26 Jun 2020 at 0=
7:15, Mikael Pesonen &lt;<a href=3D"mailto:[email protected]">mika=
[email protected]</a>&gt; wrote:<br></div><blockquote class=3D"gmail_q=
uote" style=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,2=
04);padding-left:1ex"><br>
Hi,<br>
<br>
HermiT has a bug giving more false positives that true positives for <br>
entailment: <a href=3D"https://github.com/owlcs/hermit-reasoner/issues/9" r=
el=3D"noreferrer" target=3D"_blank">https://github.com/owlcs/hermit-reasone=
r/issues/9</a><br>
<br>
Pellet and if i remember correctly openllet give java error when trying <br=
>
to compile package: <a href=3D"https://github.com/stardog-union/pellet/issu=
es/48" rel=3D"noreferrer" target=3D"_blank">https://github.com/stardog-unio=
n/pellet/issues/48</a><br>
<br>
FaCT++: actually just managed to solve issue with missing libs, but <br>
can&#39;t find any documentation on how to make config file for reasoning<b=
r>
<br>
eye: missing some dependencies and didn&#39;t manage to install right ones =
<br>
without documentation.<br>
<br>
<br>
May I ask which one are you running successfully? Btw I&#39;m using Ubuntu.=
<br>
<br>
Br<br>
<br>
<br>
On 25.6.2020 18:39, William Van Woensel wrote:<br>
&gt; Hi Mikael,<br>
&gt;<br>
&gt; Just wondering, what errors are you getting in particular for each rea=
soner? I&#39;ve successfully used several of the listed ones. (Also note th=
at EYE is not an OWL reasoner, although it could be used with an OWL2 RL ru=
leset to fulfill that role to an extent.)<br>
&gt;<br>
&gt;<br>
&gt; W<br>
&gt;<br>
&gt; -----Original Message-----<br>
&gt; From: Mikael Pesonen &lt;<a href=3D"mailto:[email protected]"=
 target=3D"_blank">[email protected]</a>&gt;<br>
&gt; Sent: June-25-20 6:59 AM<br>
&gt; To: <a href=3D"mailto:[email protected]" target=3D"_blank">semantic-=
[email protected]</a><br>
&gt; Subject: State of OWL reasoners<br>
&gt;<br>
&gt; CAUTION: The Sender of this email is not from within Dalhousie.<br>
&gt;<br>
&gt; I thought to do some entailment checking in OWL in way that no program=
ming or install scripting is not be required.<br>
&gt; So far have tested so far HermiT, Pellet, Openllet, Fact++, EYE and Ro=
bot. None of them work.<br>
&gt; Robot doesn&#39;t have the entailment function, others are broken. Eit=
her knowledge how to tweak Linux installation scripts to solve conflicts is=
 required or they just crash or function erroneously.<br>
&gt; Some of the projects are alive, that is, forum and GitHub posts got fi=
rst answered, but eventually got silence before problems got solved.<br>
&gt;<br>
&gt; I thing W3C is doing awesome job making the specifications, but they a=
re useless without the tools that implement them.<br>
&gt;<br>
<br>
<br>
</blockquote></div>

--0000000000007f622905a8fbb257--