KIT | KIT-Bibliothek | Impressum
Originalveröffentlichung
DOI: 10.5591/978-1-57735-516-8

Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ

Ortiz, M.; Rudolph, S.; Simkus, M.



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Proceedingsbeitrag
Jahr 2011
Sprache Englisch
Identifikator ISBN: 978-1-57735-514-4
KITopen ID: 1000026398
Erschienen in Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Spain, 16th July - 22nd July 2011. Ed.: T. Walsh
Verlag AAAI Press, Menlo Park (Calif.)
Seiten 1039 - 1044
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page