- From: Richard Cyganiak <richard@cyganiak.de>
- Date: Thu, 13 Sep 2012 13:19:24 +0100
- To: Pat Hayes <phayes@ihmc.us>
- Cc: Antoine Zimmermann <antoine.zimmermann@emse.fr>, RDF Working Group <public-rdf-wg@w3.org>
On 13 Sep 2012, at 05:57, Pat Hayes wrote: > "The truth of an RDF dataset is defined with respect to a graph extension, a relationship that associates RDF graphs with resources. Think of it as capturing a snapshot of the contents of all g-boxes in the universe of discourse." IGEXT stands for Graph EXTension. This parallels property extensions (IEXT) and class extensions (ICEXT) in the current RDF Semantics document. That should explain the first sentence. I think the model theory should explicitly say somewhere that IGEXT stands for graph extension, so that we have a pronounceable version of the term. The second sentence is an attempt at relating the semantics at least informally to the term “g-box”, which is likely to be defined in the abstract syntax document (using another word), but unlikely to be given a formal meaning in the semantics. Informally, the resources denoted by the names in <name,graph> pairs are g-boxes, and the graphs must be consistent with the “contents” of the denoted g-box. I think that makes the second sentence true. Best, Richard > > On the face of it, this seems to be simply false: you just defined truth of a dataset, and you didn't mention graph extensions or g-boxes at all. Should we simply ignore this sentence, or should the model thoery be modified to account for it? > > Pat > > ------------------------------------------------------------ > 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 Thursday, 13 September 2012 12:19:55 UTC