- From: Steve Harris <steve.harris@garlik.com>
- Date: Fri, 1 Oct 2010 13:57:39 +0100
- To: Andy Seaborne <andy.seaborne@epimorphics.com>
- Cc: SPARQL Working Group <public-rdf-dawg@w3.org>
On 2010-10-01, at 10:15, Andy Seaborne wrote:
> The definition:
>
> [[
> Group(ExprList, Ω) = { ListEval(ExprList, μ) -> { μ' | μ' in Ω, ListEval(ExprList, μ) = ListEval(ExprList, μ') } | μ in Ω }
> ]]
>
> uses "ExprList" which does not remove errors. It would be worth adding this to ListEval (changes suggested marked __)
>
> [[
> Definition: ListEval
>
> ListEval(ExprList, μ) returns a list E, where Ei =
> μ(ExprListi) _or error_.
>
> _ListEval retains errors in evaluation of the list elements._
>
> A variant, ListEvalE, is the same except that all elements of E which are errors are removed.
> ]]
I need to think about this to make sure it captures the intention correctly.
...
> Editorial:
>
> Defn: Group
> s/from explitic groups/from explicit groups/
>
> but I'd suggest
> "from groups where the ExprList is non-empty"
>
> because the text causes me to ask "what's an _explicit_ group".
Yes, agreed that's clearer.
- Steve
--
Steve Harris, CTO, Garlik Limited
1-3 Halford Road, Richmond, TW10 6AW, UK
+44 20 8439 8203 http://www.garlik.com/
Registered in England and Wales 535 7233 VAT # 849 0517 11
Registered office: Thames House, Portsmouth Road, Esher, Surrey, KT10 9AD
Received on Friday, 1 October 2010 12:58:49 UTC