KIT | KIT-Bibliothek | Impressum | Datenschutz

Complexities of Horn Description Logics

Krötsch, Markus; Rudolph, Sebastian 1; Hitzler, Pascal
1 Karlsruher Institut für Technologie (KIT)


Download
Originalveröffentlichung
DOI: 10.1145/2422085.2422087
Scopus
Zitationen: 54
Web of Science
Zitationen: 32
Dimensions
Zitationen: 34
Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2012
Sprache Englisch
Identifikator ISSN: 1529-3785
KITopen-ID: 1000035979
Erschienen in ACM Transactions on Computational Logic
Verlag Association for Computing Machinery (ACM)
Band 14
Heft 1
Seiten 1-36
Nachgewiesen in Dimensions
Web of Science
Scopus
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page