KIT | KIT-Bibliothek | Impressum | Datenschutz

How to reason with OWL in a logic programming system

Krötzsch, M.; Hitzler, P.; Vrandecic, D.; Sintek, M.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 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, Los Alamitos (Calif.)
Seiten 17 - 26
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page