Translating between Horn Representations and their Characteristic Models