The webprotege code base extended with the interactive debugging features from the OntoDebug Protégé plugin
OntoDebug: An interactive ontology debugger plugin for Protege 5