Separate tree cherry-picked regularly by Ignazio from the SourceForge owlapi Git Repository