The blue social bookmark and publication sharing system.
Log in with your username.
I've lost my password.
Log in with your OpenID-Provider.
Baader: Description logics as ontology languages for the semantic web. in Hutter et al. (Hrsg.): Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday, LNAI 2605, S. 228-248. Springer, 2005.