Topic detection with K-means, improved by ontology's supporting