Video recording
Session title:
KR: description logic
Session chair:
Carsten Lutz
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQMagdalena Ortiz, Sebastian Rudolph and Mantas Simkus
Consequence-Based Reasoning beyond Horn OntologiesFrantisek Simancik, Yevgeny Kazakov and Ian HorrocksSlides
Containment of Regular Path Queries under Description Logic ConstraintsDiego Calvanese, Magdalena Ortiz and Mantas Simkus
Video also available for download here. We recommend VLC for playing