A plugin for Protege that allows the implied fillers of existential restrictions to be queried.