- From: Pat Hayes <phayes@ihmc.us>
- Date: Fri, 14 Sep 2012 00:39:00 -0500
- To: Richard Cyganiak <richard@cyganiak.de>
- Cc: Andy Seaborne <andy.seaborne@epimorphics.com>, public-rdf-wg@w3.org
On Sep 13, 2012, at 7:39 AM, Richard Cyganiak wrote: > On 13 Sep 2012, at 13:12, Andy Seaborne wrote: >> We would have to be careful to explain why we then don't have datasets-inside-datasets and "named datasets". > > It's a somewhat arbitrary restriction in the abstract syntax that makes implementations simpler while still allowing the use cases we care most about to be addressed. > >> It's not a block to the idea but keeping them separate does make it clearer where the boundary is. > > I think that keeping them separate would make the Semantics document more complicated. The Semantics document is complicated enough as it is. I think making it more complicated to account for a syntactic restriction is not a good idea. If writing a semantics that is more general than necessary for the abstract syntax turns out to be simpler, then readers are better served by the simpler thing, IMO. I agree. > A related case here is literals-as-subjects, which is a well-motivated restriction that I never would want to remove Just as an aside, and off-list if you prefer, I would love to hear what these good motivations are. AFAIK, the only motivation for this restriction is a historical vestige of a problem in the RDF/XML striped syntax conventions. > , but I'd prefer if the Semantics document would use a generalized notion of RDF graphs that doesn't have the restriction, because that would remove probably a page of pointless and hard-to-understand trickery that is needed to work around the restriction. More like ten pages, actually, and several long and boring proofs, and several silly but necessary inference rules. > At least I personally found that a barrier to understanding the document. And it was a huge problem when writing the document. Pat > > Best, > Richard > ------------------------------------------------------------ IHMC (850)434 8903 or (650)494 3973 40 South Alcaniz St. (850)202 4416 office Pensacola (850)202 4440 fax FL 32502 (850)291 0667 mobile phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes
Received on Friday, 14 September 2012 05:39:39 UTC