W3C home > Mailing lists > Public > www-math@w3.org > April 2012

Re: Mathematical Proofs in HTML5 Documents

From: Christoph LANGE <ch.lange@jacobs-university.de>
Date: Tue, 03 Apr 2012 01:28:05 +0200
Message-ID: <4F7A3605.2030902@jacobs-university.de>
To: Adam Sobieski <adamsobieski@hotmail.com>
CC: www-math@w3.org
Hi Adam,

2012-04-03 00:54 Adam Sobieski:
> 3. Having proofs in HTML5 document structure, possibly containing one or
> more <math> element instances, while utilizing RDFA
> (http://dev.w3.org/html5/rdfa/). Proof structure and semantics can
> overlay the HTML5 and/or the RDFA can relate elements to referenced
> external resources.

In case you are looking for suitable RDFa vocabularies, you may want to 
have a look into section 4.3.2 of 
http://www.semantic-web-journal.net/content/ontologies-and-languages-representing-mathematical-knowledge-semantic-web.

Cheers,

Christoph

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

→ SePublica Workshop @ ESWC 2012.  Crete, Greece, 27/28 May 2012.
   Deadline 18 Mar.  http://sepublica.mywikipaper.org
→ I-SEMANTICS 2012.  Graz, Austria, 5-7 September 2012
   Abstract Deadline 2 April.  http://www.i-semantics.at
Received on Monday, 2 April 2012 23:28:30 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 2 April 2012 23:28:30 GMT