Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
Publikationstyp | Proceedingsbeitrag |
Publikationsjahr | 2005 |
Sprache | Englisch |
Identifikator | ISSN: 1862-4405 KITopen-ID: 1000018191 |
Erschienen in | Principles and Practices of Semantic Web Reasoning, Dagstuhl, Germany, 11.09.05 - 16.09.05. Ed.: F. Bry |
Verlag | Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI) |
Seiten | 2 S. |
Serie | Dagstuhl Seminar Proceedings ; 05371 |