Private development repository for the KnowRob knowledge base