SemTree: An index for supporting semantic retrieval of documents