KIT | KIT-Bibliothek | Impressum | Datenschutz

A Kernel Revision Operator in Description Logics

Qi, Guilin; Haase, Peter; Huang, Zhisheng; Pan, Jeff



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2008
Sprache Englisch
Identifikator ISSN: 1613-0073
KITopen ID: 1000016627
Erschienen in Proceedings of the 21st International Workshop on Description Logics (DL-2008), Dresden, Germany, May 13-16, 2008. Ed.: F. Baader
Verlag CEUR-WS, Aachen
Seiten 27/1 - 10
Serie CEUR Workshop Proceedings ; 353
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page