improve Oops-integration #148
Merge branch 'oops' of github.com:ontohub/ontohub into oops