- Speaker: Assoc Prof Renata Wassermann (University of Sao Poaulo)
- Host: Renate Schmidt
- 2nd July 2018 at 14:00 in Kilburn L.T 1.4
In this talk, I will first summarize our work in the last 10 years on adapting AGM style Belief Revision to deal with Description Logics. The usual AGM respresentation results depend on many assumptions on the underlying logics which do not hold for DLs. We have characterized contraction and revision for DLs, providing constructions, sets of rationality postulates and representation theorems for belief bases and belief sets. In the second part, I will present some experimental results with OWL and discuss current efforts on bridging the gap between theory and practice.