Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2008 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-3-540-88563-4 ISSN: 0302-9743 KITopen-ID: 1000016643 |
| Erschienen in | The Semantic Web - ISWC 2008. 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26 - 30, 2008. Proceedings. Ed.: A. Sheth |
| Verlag | Springer Verlag |
| Seiten | 435 - 450 |
| Serie | Lecture Notes in Computer Science ; 5318 |