represent and reason about symbolic content
Opened this issue · 4 comments
Moving far beyond the simplistic string matching which NNexus does in the direction of HDM, we talked about far more sophisticated types of autolinking (which should have information stored in Arxana-like hypergraphs).
That's very similar to what we talked about with Florian Rabe when I was sitting in the kitchen at KWARC and had Ray on the line via Mumble. Can we do something "smart" with the XHTML coming from LaTeXML? It seems entirely reasonable that we SHOULD be able to.
Is this ticket about multi-linking from NNexus? The title confuses me.
I would say "NNexus 3.0" is "version 1.0" of this. Some of our more advanced NNexus ideas (like autolinking within symbolic expressions) definitely apply. I think the larger vision is more like what I wrote about in http://planetmath.org/semanticsofmathematicalwriting -- can we turn the MathML into Lisp and start to do some automatic inference about it? PS. Different titles are welcome. :)
I don't mind the title as long as we have a matching description :) Your comment helps, thanks!
We should probably make a PM Preview about this...