Modify OBO IRI prefix for HDO imports
As commit 06c42313 revealed, we need to do some Protégé / Makefile config to change OBO IRI prefixes to HOB ones.
As commit 06c42313 revealed, we need to do some Protégé / Makefile config to change OBO IRI prefixes to HOB ones.