KIT | KIT-Bibliothek | Impressum | Datenschutz

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

Ma, Yue; Qi, Guilin; Hitzler, Pascal; Lin, Zuoquan



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2007
Sprache Englisch
Identifikator ISSN: 1613-0073
KITopen-ID: 1000017020
Erschienen in Proceedings of the 20th International Workshop on Description Logics (DL2007), Brixen-Bressanone, Italy 8-10 June, 2007. Ed.: D. Calvanese
Verlag CEUR-WS, Aachen
Seiten 403 - 410
Serie CEUR Workshop Proceedings ; 250
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page