Description Logics in the Calculus of Structures. - Jean-David Roubach; Pascal Yim; Joaquin Rodriguez (Description Logics, 2007)