A UML-Based Method for Deciding Finite Satisfiability in Description Logics.