An ISWC 2013 demo: finding DBpedia entities in mathematical formulas