[Om] Content Dictionary for Linked Data with RDF

[Christoph LANGE]

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