Ontology-based text summarization. The case of Texminer