Video recording
Session title:
KR: description logic
Session chair:
Thomas Schneider
Talks
Foundations of Uniform Interpolation and Forgetting in Expressive Description LogicsCarsten Lutz and Frank Wolter
On the Complexity of Dealing with Inconsistency in Description Logic OntologiesRiccardo Rosati
On the complexity of EL with defeasible inclusionsPiero Bonatti, Marco Faella and Luigi Sauro
 
Video
 
Video also available for download here. We recommend VLC for playing