> it makes it easier to access (can read papers on the net rather than going to a library) but that's about it.

I disagree. The text is indexed and searchable.

> the meaning of the papers isn't addressed by that.

I agree. I wonder if starting with research papers that have lots of symbolic logic (e.g. math proofs) would be the easiest starting point for a system like this.