Video recording
Session title:
KR: description logic
Session chair:
Giuseppe De Giacomo
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 also available for download here. We recommend VLC for playing