Feature modeling and Verification based on Description Logics