In this talk, I will rst summarize our work in the last 10 years on adapting AGM style Belief Revision to deal with Description Logics. The usual AGM representation 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 e orts on bridging the gap between theory and practice.