Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2010 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-1-57735-451-2 KITopen-ID: 1000022758 |
| Erschienen in | Proceedings / Twelfth International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Ontario, Canada, May 9 - 13, 2010. Ed.: F. Lin |
| Verlag | AAAI Press |
| Seiten | 269-279 |