A plugin that provides an administration tab for a Protege server configuration - View it on GitHub