KIT | KIT-Bibliothek | Impressum
Open Access Logo

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

Rudolph, S.; Krötsch, M.; Hitzler, P.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Jahr 2012
Sprache Englisch
Identifikator ISSN: 1860-5974
KITopen ID: 1000035984
Erschienen in Logical Methods in Computer Science
Band 8
Heft 1
Seiten 1-38
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page