KIT | KIT-Bibliothek | Impressum | Datenschutz

Paraconsistent Resolution for Four-valued Description Logics

Ma, Yue; 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: 1000017018
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 395 - 402
Serie CEUR Workshop Proceedings ; 250
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page