Re: Revised Owl-S surface syntax

Drew McDermott wrote:

> I've attached a slightly revised version of the Owl-S surface-syntax 
> definition.  It now includes syntax for more control constructs:
>
> split+join is written    p1 |> p2 |> ... |>pK
> split is written     p1 |< p2 |< ... |< pK
> anyord is written   p1 |; p2 |; ... |; pK
> if-then-else is written
>      if exp then pT else pF
>
> Suggestions for alternative notations are welcome.  Maybe two vertical 
> bars to suggest parallelism more emphatically?  ||; or |;| ?
>
> Also, the parser for the Lexiparse grammar formalism I use is now 
> available (as an "alpha" release) at 
> http://www.cs.yale.edu/homes/dvm/#software.  You can use it to read 
> the files owl-s-syn.lisp and owl-s-rdf.lisp, then parse the surface 
> representation and convert it to Owl/RDF.
>
Cool. Do you have any code to parse OWL/RDF and turn it into surface syntax?

/Daniel