Skip to content

v1.9.4

Compare
Choose a tag to compare
@jamesaoverton jamesaoverton released this 23 May 20:15
· 247 commits to master since this release

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