Tractable Feature Generation through Description Logics with value and number restrictions