Hi Ken, [plus others: maybe David, James, Michael, Paul?]
in short: I'm really happy to see that there are so many good ideas for OpenMath-RDF interoperability around. Your post hardly leaves any questions open. I particularly like how you pointed out the ability of implementing partial typechecking in OWL. I guess it would be a good time to ask the "senior" OpenMath folks for their opinion about this. My intuition is that we will never win a majority for changing anything about the OpenMath URI scheme – but I think it would make sense if a future OpenMath specification mentioned at least some non-normative best practices on how to make OpenMath interoperable with RDF. Just to prevent _even_ more people from reinventing the wheels that we have invented already. Cheers, Christoph -- Christoph Lange, Jacobs University Bremen http://kwarc.info/clange, Skype duke4701 → SePublica Workshop @ ESWC 2012. Crete, Greece, 27/28 May 2012. Deadline 4 Mar. http://sepublica.mywikipaper.org → I-SEMANTICS 2012. Graz, Austria, 5-7 September 2012 Abstract Deadline 2 April. http://www.i-semantics.at _______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
