KIT | KIT-Bibliothek | Impressum | Datenschutz

Paraconsistent Reasoning for Expressive and Tractable 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 2008
Sprache Englisch
Identifikator ISSN: 1613-0073
KITopen ID: 1000016604
Erschienen in Proceedings of the 21st International Workshop on Description Logics, DL2008, May 13-16, 2008, Dresden, Germany. Ed.: F. Baader
Verlag CEUR-WS, Aachen
Seiten 11 S.
Serie CEUR Workshop Proceedings ; 353
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page