Re: State of OWL reasoners

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>
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>
> > Sent: June-25-20 6:59 AM
> > To: 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.
> >
>
>
>