This is theoretically very possible, and I know that at least a few people (http://ccimi.maths.cam.ac.uk/projects/create-semantic-search-engine-mathematical-lit

This is theoretically very possible, and I know that at least a few people (http://ccimi.maths.cam.ac.uk/projects/create-semantic-search-engine-mathematical-literature/ http://ccimi.maths.cam.ac.uk/projects/create-semantic-search...) are working on it.