Incremental formalization of document annotations through ontology-based paraphrasing