W3C home > Mailing lists > Public > www-math@w3.org > February 2010

Replace Content MathML by RDFa inside Presentation MathML?

From: Christoph LANGE <ch.lange@jacobs-university.de>
Date: Mon, 1 Feb 2010 17:59:35 +0100
To: "www-math@w3.org" <www-math@w3.org>
Message-Id: <201002011759.40915.ch.lange@jacobs-university.de>
Dear all,

  given that RDFa has been a recommendation since 2008, have you ever thought
of using RDFa inside Presentation MathML as an alternative for Content MathML?

Here is an example how this might look.  I'm literally reusing parts of
Content MathML as the vocabulary for RDF (inspired by the approach suggested
by M. Marchiori in
http://www.w3.org/People/Massimo/papers/2003/mathsemweb_mkm_03.pdf but then
never adopted), but one could also design a proper ontology from scratch.  And
I'm using empty mrows for carrying annotations that do not fit elsewhere:

<mrow typeof="math:apply">
  <mrow rel="rdf:_1"> <!-- first argument -->
    <mn typeof="math:cn" property="rdf:value" datatype="xsd:integer">1</mn>
  <mrow rel="math:head"> <!-- head element of the expression, i.e.
      the one that would be the first child of <apply/> -->
    <mo resource="http://www.openmath.org/cd/arith1#plus">+</mo>
  <mrow rel="rdf:_2"> <!-- second argument -->
    <mi typeof="math:ci" property="rdf:value" datatype="xsd:string">x</mi>

I'm not actually _propagating_ such a syntax, so don't get me wrong.  Parallel
MathML markup is easier to read and write, probably more adequate to the tree
structure of mathematical formulæ, and compatible to OpenMath, which is
important for computation.  But supporting RDFa in MathML would give us access
to _other_ kinds of software, now that RDFa in XHTML is becoming more and more
widely used.  Consider semantic search engines, which crawl the web and, e.g.,
index all occurrences of a certain URI – http://xmlns.com/foaf/0.1/Person as
well as http://www.openmath.org/cd/arith1#plus.

So what I'm just interested in is:  Have there ever been any such thoughts?



Christoph Lange, Jacobs Univ. Bremen, http://kwarc.info/clange, Skype duke4701

Received on Monday, 1 February 2010 16:59:54 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:27:42 UTC