AMI2 is a project to turn PDFs into fully semantic computable, searchable, executable documents with human intervention.

A project by Peter Murray-Rust, advocating the liberation of knowledge, Department of Chemistry, Univeristy of Cambridge.