PROV-SEM update

Hi,

I wanted to mention at some point that I've been (slowly) making progress on PROV-SEM, so since we're not meeting next week, I'm mentioning it now.

- I had a shot at converting some of the rules into Prolog, so that we can programmatically generate different presentations (wiki, mathML, HTML, etc.).  

- I also started a PROV_SEM HTML file, with (so far) just copies of some of the automatically generated rules.

- This is in the repository at:

http://dvcs.w3.org/hg/prov/raw-file/default/semantics/

I am looking for any volunteers to investigate tools to convert material from the wiki (LaTeX) to HTML, or to convert the remaining constraints into Prolog.  The latter activity is easily parallelizable and does not require much training.

For the LaTeX->HTML conversion, I would prefer not to do this by hand (or for others to do it by hand) since it is boring and error-prone; I'd much rather be able to embed the LaTeX source directly in the HTML (and edit it in place) and have it converted to something more HTML-friendly automagically, much like respec already does for other things (this would have been extremely helpful for PROV-CONSTRAINTS too).  Ivan asked Bert Bos for pointers about this but we haven't heard anything.  Thus, I'd really appreciate if anyone has time to look into this.

Happy holidays everyone,
--James
-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Received on Friday, 14 December 2012 14:53:45 UTC