Investigation of the tradeoff between expressiveness and complexity in description logics with spatial operators