MIN-Fakultät Fachbereich Informatik Bibliothek
Haarslev, Volker ; Möller, Ralf ; Wessel, Michael
The Description Logic ALCNHR+ Extended with Concrete Domains