Efficient TBox Reasoning with Value Restrictions Using the FL0wer Reasoner (Extended Abstract)