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