Archinte plugin for Protégé