Extensions to the OWL API for Protege