Reasoner

Konclude

Konclude usage

Konclude is reasoner that can work with DL (as opposed to ELK, that works with EL) and has been the winner of multiple competitions.

Unfortunately, there is no Protégé plugin, but here are some instructions on how to use it with OWL-API

WORK
ontology work