Gravar-mail: Ontology-based specification and generation of search queries for post-market surveillance