{On Reasoning about Structural Equality in XML: A Description Logic Approach}