Improving Design Patterns by Description Logics: A Use Case with Abstract Factory and Strategy