A plugin for Protege that allows the implied fillers of existential restrictions to be queried. - View it on GitHub