Re: State of OWL reasoners
Mikael Pesonen <[email protected]> Fri, 26 Jun 2020 15:44:08 +0300
| Newsgroups | gmane.org.w3c.semantic-web |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format. --------------52A5D8D14F91857DC3419884 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Thanks for the tips! Those I haven't tried yet. On 26.6.2020 15:17, Germán Braun wrote: > 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án > > > Germán Braun > Becario Posdoctoral CONICET > Departamento de Teoría de la Computación > Facultad de Informática / Universidad Nacional del Comahue > Buenos Aires 1400 - Neuquén Capital (8300) - Neuquén > 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] <mailto:[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 RL ruleset to fulfill that role to an extent.) > > > > > > W > > > > -----Original Message----- > > From: Mikael Pesonen <[email protected] > <mailto:[email protected]>> > > Sent: June-25-20 6:59 AM > > To: [email protected] <mailto:[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 are useless without the tools that implement them. > > > > --------------52A5D8D14F91857DC3419884 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: 8bit <html> <head> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> </head> <body> <br> Thanks for the tips! Those I haven't tried yet.<br> <br> <br> <div class="moz-cite-prefix">On 26.6.2020 15:17, Germán Braun wrote:<br> </div> <blockquote type="cite" cite="mid:CAOVDoevntG0WY-3yjOsi01DX+RfKxt8P83pz5RBWnFgouvu1MA@mail.gmail.com"> <meta http-equiv="content-type" content="text/html; charset=UTF-8"> <div dir="ltr"> <div class="gmail_default" style="font-family:trebuchet ms,sans-serif">Dear Mikael,</div> <div class="gmail_default" style="font-family:trebuchet ms,sans-serif"><br> </div> <div class="gmail_default" style="font-family:trebuchet ms,sans-serif">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 (<a href="http://www.owllink.org/" moz-do-not-send="true">http://www.owllink.org/</a>) to interface with them. The last update of the protocol was in 2011.<br clear="all"> </div> <div> <div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"> <div dir="ltr"> <div> <div dir="ltr"> <div> <div dir="ltr"> <div> <div dir="ltr"> <div dir="ltr"> <div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><br> </div> <div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> <div style="font-family:trebuchet ms,sans-serif" class="gmail_default">Konclude <a href="https://www.derivo.de/en/produkte/konclude.html" moz-do-not-send="true">https://www.derivo.de/en/produkte/konclude.html</a></div> <div style="font-family:trebuchet ms,sans-serif" class="gmail_default">Racer <a href="https://github.com/ha-mo-we/Racer" moz-do-not-send="true">https://github.com/ha-mo-we/Racer</a></div> <div style="font-family:trebuchet ms,sans-serif" class="gmail_default"><br> </div> <div style="font-family:trebuchet ms,sans-serif" class="gmail_default">If you look for bug maybe you find them because is software! but Racer could work for you.</div> <div style="font-family:trebuchet ms,sans-serif" class="gmail_default"><br> </div> <div style="font-family:trebuchet ms,sans-serif" class="gmail_default">Germán</div> <br> <br> </div> <div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><font color="#000000">Germán Braun<br> </font></div> <div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><font color="#000000">Becario Posdoctoral CONICET<br> </font></div> <div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"><font color="#000000">Departamento de Teoría de la Computación</font></div> <div style="color:rgb(34,34,34);font-family:arial,sans-serif;font-size:13px"> <div><font color="#000000">Facultad de Informática / Universidad Nacional del Comahue</font></div> <div><font color="#000000">Buenos Aires 1400 - Neuquén Capital (8300) - Neuquén </font></div> <div><span style="font-family:Arial,Helvetica,sans-serif;background-color:rgb(255,255,255)"><font color="#000000">Tel.: (+54) 299-4490300 int 637 Cel.: 298 4634689</font></span></div> <div><span style="font-family:Arial,Helvetica,sans-serif;background-color:rgb(255,255,255)"><font color="#000000"><a href="https://sites.google.com/a/fi.uncoma.edu.ar/german-braun/" target="_blank" moz-do-not-send="true">https://fi.uncoma.edu.ar/german-braun/</a><br> </font></span></div> <div><span style="font-family:Arial,Helvetica,sans-serif;background-color:rgb(255,255,255)"><font color="#000000"><br> </font></span></div> <div><span style="font-family:Arial,Helvetica,sans-serif;background-color:rgb(255,255,255)"><font color="#000000">-----------</font></span></div> <div><span style="font-family:Arial,Helvetica,sans-serif;background-color:rgb(255,255,255)"><font color="#000000"><br> </font></span></div> <div><span style="color:rgb(0,0,0);font-family: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="color: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 (alternative stronger than FYI)</span></div> <div><span style="color:rgb(0,0,0);font-family:Arial;font-size:13.3333px;white-space:pre-wrap;line-height:1.2;background-color:transparent">[Y/N]--Yes/No Question</span></div> <div><span style="color:rgb(0,0,0);font-family:Arial;font-size:13.3333px;white-space:pre-wrap;line-height:1.2;background-color:transparent">[RB+ ]--Reply By (insert timeline) e.g. [RB+4] 4 days</span></div> <div><span style="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 (insert timeline)</span></div> <div><span style="color:rgb(0,0,0);font-family: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="gmail_quote"> <div dir="ltr" class="gmail_attr">On Fri, 26 Jun 2020 at 07:15, Mikael Pesonen <<a href="mailto:[email protected]" moz-do-not-send="true">[email protected]</a>> wrote:<br> </div> <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><br> Hi,<br> <br> HermiT has a bug giving more false positives that true positives for <br> entailment: <a href="https://github.com/owlcs/hermit-reasoner/issues/9" rel="noreferrer" target="_blank" moz-do-not-send="true">https://github.com/owlcs/hermit-reasoner/issues/9</a><br> <br> Pellet and if i remember correctly openllet give java error when trying <br> to compile package: <a href="https://github.com/stardog-union/pellet/issues/48" rel="noreferrer" target="_blank" moz-do-not-send="true">https://github.com/stardog-union/pellet/issues/48</a><br> <br> FaCT++: actually just managed to solve issue with missing libs, but <br> can't find any documentation on how to make config file for reasoning<br> <br> eye: missing some dependencies and didn't manage to install right ones <br> without documentation.<br> <br> <br> May I ask which one are you running successfully? Btw I'm using Ubuntu.<br> <br> Br<br> <br> <br> On 25.6.2020 18:39, William Van Woensel wrote:<br> > Hi Mikael,<br> ><br> > 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 RL ruleset to fulfill that role to an extent.)<br> ><br> ><br> > W<br> ><br> > -----Original Message-----<br> > From: Mikael Pesonen <<a href="mailto:[email protected]" target="_blank" moz-do-not-send="true">[email protected]</a>><br> > Sent: June-25-20 6:59 AM<br> > To: <a href="mailto:[email protected]" target="_blank" moz-do-not-send="true">[email protected]</a><br> > Subject: State of OWL reasoners<br> ><br> > CAUTION: The Sender of this email is not from within Dalhousie.<br> ><br> > I thought to do some entailment checking in OWL in way that no programming or install scripting is not be required.<br> > So far have tested so far HermiT, Pellet, Openllet, Fact++, EYE and Robot. None of them work.<br> > 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.<br> > Some of the projects are alive, that is, forum and GitHub posts got first answered, but eventually got silence before problems got solved.<br> ><br> > I thing W3C is doing awesome job making the specifications, but they are useless without the tools that implement them.<br> ><br> <br> <br> </blockquote> </div> </blockquote> <br> </body> </html> --------------52A5D8D14F91857DC3419884--