Re: State of OWL reasoners

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 
> <mikael.pesonen@lingsoft.fi <mailto:mikael.pesonen@lingsoft.fi>> 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 <mikael.pesonen@lingsoft.fi
>     <mailto:mikael.pesonen@lingsoft.fi>>
>     > Sent: June-25-20 6:59 AM
>     > To: semantic-web@w3.org <mailto:semantic-web@w3.org>
>     > 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.
>     >
>
>