Re: Mathematical Proofs in HTML5 Documents

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