Video recording
Session title:
KR: description logic
Session chair:
Giuseppe De Giacomo
Talks
Description Logic TBoxes: Model-theoretic Characterizations and RewritabilityCarsten Lutz, Robert Piro and Frank Wolter
Well-Supported Semantics for Description Logic ProgramsYi-Dong ShenSlides
Beth Definability in Expressive Description LogicsBalder ten Cate, Enrico Franconi and Inanc Seylan
 
Video
 
Video also available for download here. We recommend VLC for playing