@techreport{GlRV10b, title = "Integrated Metamodeling and Diagnosis in OWL 2", author = "Birte Glimm and Sebastian Rudolph and Johanna Völker", year = "2010", institution = "Institut AIFB, KIT", month = "September", note = "Technical Report", number = "3006", }