Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{GlimmKazakov:08:RoleConjunctions,
  abstract = "We show that adding role conjunctions to the Description Logics (DLs) SHI and SHOIF causes a jump in the computational complexity of the standard reasoning tasks from ExpTime-complete to 2ExpTime-complete and from NExpTime-complete to N2ExpTime-hard respectively. We further show that this increase is due to a subtle interaction between inverse roles, role hierarchies, and role transitivity in the presence of role conjunctions and that for the DL SHQ a jump in the computational complexity cannot be observed.",
  annote = "LPAR 2008, To appear",
  author = "Birte Glimm and Yevgeny Kazakov",
  title = "Role Conjunctions in Expressive Description Logics",
  year = "2008",
}

