TY - RPRT TI - Fusions of Description Logics and Abstract Description Systems AU - F. Baader AU - C. Lutz AU - H. Sturm AU - F. Wolter PY - 2011 DO - 10.1613/jair.919 UR - https://arxiv.org/abs/1106.1802 ID - 1106.1802 ER -