W3C home > Mailing lists > Public > public-rdf-dawg@w3.org > April to June 2005

Formatting requests

From: Bijan Parsia <bparsia@isr.umd.edu>
Date: Mon, 4 Apr 2005 15:32:58 -0400
Message-Id: <4ba29d934f090cfe0988e93e3419a1eb@isr.umd.edu>
To: DAWG Mailing List <public-rdf-dawg@w3.org>

Sorry to be nitpicky.

It would be helpful for me in my trying to grasp and explicate the 
formal bits of the Query language spec if there were anchors for each 
definition. This would give each definition a nice URI as well.

It looks pretty easy to generate the anchors almost mechanically. In my 
extracted defs, I see only two "weird" names of definitions:

	Definition: Graph Pattern  Grouping

and
	Definition: Pattern Matching (Union)

(which should be consistent).

The latter should probably be called Union Pattern Solution since that 
is what's actually defined:
	 """Given graph patterns GP1 and GP2, and graph G, then a  union 
pattern solution of GP1 and GP2 ""

There is no definition of "graph pattern". I take it that the 
definition of Basic Pattern is supposed to be the definition of Graph 
Pattern?

I would suggest calling Basic Pattern, "Basic Graph Pattern" or "Simple 
Graph Pattern" and then making the Graph Pattern -- Grouping, either 
just Graph Pattern (which can either be a Simple Graph Pattern, or what 
you have there), or "Compound Graph Pattern", in which case it might be 
nice to have a separate definition saying that a Graph Pattern is 
either a Simple/Basic or Compound Graph Pattern.

Cheers,
Bijan.
Received on Monday, 4 April 2005 19:33:01 GMT

This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 16:15:23 GMT