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