Modelling karyotypes in OWL