an enum for inference rules and providing access to the name of each
inference as string on the OWL API level
tweaks