The Birman-Murakami-Wenzl algebra (BMW algebra) of type Dn is shown to be semisimple and free over Z[δ, l]/(m(1 − δ) − (l − l)) of dimension (2n +1)n!!− (2 +1)n!, where n!! = 1 ·3 · · · (2n−1). The Brauer algebra of type Dn is a homomorphic ring image and is also semisimple and free of the same dimension, but over the ring Z[δ]. A rewrite system for the Brauer algebra is used in upper bounding ...