How to reason with OWL in a logic programming system
| Zugehörige Institution(en) am KIT | Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2006 |
| Sprache | Englisch |
| Identifikator | ISBN: 978-0-7695-2652-2 KITopen-ID: 1000017818 |
| Erschienen in | Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML2006), Athens, Georgia, USA, 10-11 November 2006. Ed.: T. Eiter |
| Verlag | IEEE Computer Society |
| Seiten | 17 - 26 |