State of OWL reasoners

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 Thursday, 25 June 2020 10:00:14 UTC