Lesezeichen und Publikationen teilen - in blau!
Melden Sie sich mit Ihrem Benutzernamen an.
Ich habe mein Passwort vergessen.
Melden Sie sich mit Ihrem OpenID-Provider an.
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.