Optimizations for Decision Making and Planning in Description Logic Dynamic Knowledge Bases