KIT | KIT-Bibliothek | Impressum | Datenschutz

Efficient OWL Reasoning with Logic Programs - Evaluations

Rudolph, Sebastian; Krötzsch, Markus; Hitzler, Pascal; Sintek, Michael; Vrandecic, Denny


Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2007
Sprache Englisch
Identifikator ISBN: 978-3-540-72981-5
ISSN: 0302-9743
KITopen-ID: 1000017069
Erschienen in Web reasoning and rule systems - first international conference, RR 2007, Innsbruck, Austria, June 7 - 8, 2007. Proceedings. Ed.: M. Marchiori
Verlag Springer-Verlag
Seiten 370 - 373
Serie Lecture notes in computer science ; 4524
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page