Combining Description Logics with synopses for inferring complex knowledge from XML sources