Some algebraic results in Description logics : Free model and inclusions, finite basis theorem, and completion of knowledge bases.