KIT | KIT-Bibliothek | Impressum | Datenschutz

Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2

Ortiz, Magdalena; Rudolph, Sebastian; Simkus, Mantas



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