The webprotege code base extended with the interactive debugging features from the OntoDebug Protégé plugin