KIT | KIT-Bibliothek | Impressum | Datenschutz

A Stratification-based Approach for Inconsistency Handling in Description Logics

Qi, Guilin; Pan, Jeff



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2007
Sprache Englisch
Identifikator KITopen-ID: 1000017060
Erschienen in Proceedings of International Workshop on Ontology Dynamics (IWOD'07), June 7, 2007, Innsbruck, Austria. Ed.: G. Flouris
Seiten 83 - 96
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page