A Description Logic with Concrete Domains and a Role-forming Predicate Operator Haarslev, V. Lutz, C. Möller, R. 1999 - Forschungsinformationssystem der UHH