KIT | KIT-Bibliothek | Impressum | Datenschutz

Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog

Rudolph, S. 1; Krötsch, M.; Hitzler, P.
1 Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB), Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.2168/LMCS-8(1:12)2012
Scopus
Zitationen: 18
Web of Science
Zitationen: 4
Dimensions
Zitationen: 12
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2012
Sprache Englisch
Identifikator ISSN: 1860-5974
KITopen-ID: 1000035984
Erschienen in Logical Methods in Computer Science
Verlag Logical Methods in Computer Science
Band 8
Heft 1
Seiten 1-38
Nachgewiesen in Scopus
Dimensions
Web of Science
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page