Archonte plugin for Protege 4.2