sTeX+ - a System for Flexible Formalization of Linked Data