Changed

• Speed up unsatisfiable object-property check on certain reasoners including HermiT #1100
• Update HermiT from 1.3.8.413 to 1.4.5.456 #1073

Fixed

• Preserve prefixes across ontology load and save #1101