KIT | KIT-Bibliothek | Impressum
Open Access Logo

Complexities of Horn Description Logics

Krötsch, M.; Rudolph, S.; 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: 1529-3785
KITopen ID: 1000035979
Erschienen in ACM Transactions on Computational Logic
Band 14
Heft 1
Seiten 1-36
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page