Machine learning-based web documents categorization by semantic graphs