RE: Mathematical Proofs in HTML5 Documents

Christoph,
 Thank you for the link to the paper Ontologies and Languages for Representing Mathematical Knowledge on the Semantic Web (http://www.semantic-web-journal.net/sites/default/files/swj122_2.pdf). Interestingly, in addition to RDFa, many or all of the formats described in chapter 4 can be utilized with the other four techniques from the non-exhaustive list.  For example, SMIL can align OMDoc and HTML5 documents.  Additionally, generalizing from mathematical proofs, topics from section 4.3.3 pertain to the representation of discourse, pragmatics, and argumentation.   Kind regards, Adam> Date: Tue, 3 Apr 2012 01:28:05 +0200
> From: ch.lange@jacobs-university.de
> To: adamsobieski@hotmail.com
> CC: www-math@w3.org
> Subject: 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