!!! This is a SiteProxy proxied website, do not enter your personal information. Refer to: https://github.com/netptop/siteproxy for details !!!×
Description Logic

Franz Baader
TU Dresden
Theoretical Computer Science
D-01062 Dresden
Germany
baader@tcs.inf.tu-dresden.de

Carsten Lutz
TU Dresden
Theoretical Computer Science
D-01062 Dresden
Germany
clu@tcs.inf.tu-dresden.de