2010-01-27 22:30 Professor James Davenport <[email protected]>: > If it WERE in RDF, how would he reason about it? I would go for ANY > semantic web construct with decent semantics, and MathML-C/OpenMath is such.
That is a very good question. I will have to ask him; maybe I can invite him to join this list. Cheers, Christoph -- Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701
signature.asc
Description: This is a digitally signed message part.
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
