KIT | KIT-Bibliothek | Impressum | Datenschutz

Reasoning-Supported Interactive Revision of Knowledge Bases

Nikitina, N.; Rudolph, S.; Glimm, B.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2011
Sprache Englisch
Identifikator ISSN: 1613-0073
KITopen ID: 1000036130
Erschienen in Proceedings of the 24th International Workshop on Description Logics (DL2011), Barcelona, Spain, July 13th to July 16th, 2011. Ed.: Riccardo Rosati
Verlag CEUR-WS, Aachen
Seiten 356-366
Serie CEUR Workshop Proceedings ; 745
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page