Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2009 |
| Sprache | Englisch |
| Identifikator | ISSN: 1617-5468 KITopen-ID: 1000015863 |
| Erschienen in | Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, United Kindgom, July 27-30, 2009. Ed.: B. Cuenca-Grau |
| Seiten | 12 S. |
| Serie | CEUR Workshop Proceedings ; 477 |