Re: Mathematical Proofs in HTML5 Documents

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

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 UTC