RE: State of OWL reasoners

Hi Mikael,

Disclaimer: I've been using these reasoners (HermiT, Pellet) either through Protégé or as Java libraries (i.e., in Java code), not directly from command line. (So maybe that's the rub here.)

Regarding Eye, you can find the install doc here: I found this reasoner working quite well via command line - I've used it often. 


-----Original Message-----
From: Mikael Pesonen <> 
Sent: June-26-20 7:10 AM
To: William Van Woensel <William.Van.Woensel@Dal.Ca>;
Subject: Re: State of OWL reasoners

CAUTION: The Sender of this email is not from within Dalhousie.


HermiT has a bug giving more false positives that true positives for

Pellet and if i remember correctly openllet give java error when trying to compile package:

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.


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

Received on Friday, 26 June 2020 12:30:56 UTC