Extending soft sets with description logics