Representing and Reasoning on XML Documents: a Description Logic Approach