On Nov 24, 2013, at 12:23 PM, Simon Spero <sesuncedu@xxxxxxxxx> wrote: (01)
> On Nov 24, 2013 12:03 PM, "Pat Hayes" <phayes@xxxxxxx> wrote:
>
> > It is hard to know how to make prominent warnings about what is NOT
>entailed, as so much is not entailed. Let me ask you, why did you assume that
>it was entailed?
>
> There are a few warnings ⚠ of what is not entailed ⚠ - e.g. section 10 on
>Datasets, and appendix D.1 on reified triples. These are cases where there are
>obvious intuitions that do not apply in RDF(S). (02)
You are right. These are all cases where the WG had been obliged to clarify a
non-entailment in order to handle an explicit debate, where the issue had been
discussed and debated, and sides taken. I was not aware until a few days ago
that anyone had been misunderstanding the RDFS entailment rules. Nobody has
sent any official comments to the RDF WG concerning this; if they had done, it
would be tracked as an explicit numbered 'issue' and the WG would have been
obliged to consider it and either agree to it or produce a reasoned response.
It is now however to late in the process to raise such issues, since the
revised standard is past the last call phase. (03)
> [I just noticed that there is no property defined on Statement for the fourth
>part of the quad, which seems odd given the new concrete syntax for quads (04)
Quads are not part of official RDF. RDF graphs are (normatively) required to
consist of triples. But also, the reification vocabulary is, if not deprecated,
widely considered to be archaic and is kept in the spec only for legacy
reasons. That section of the new spec is copied almost verbatim from the old
one, relegated to an appendix. (05)
Pat (06)
> , and the intended relationship of reified statements to a statement made in
>a document in a concrete syntax. I can think of arguments against, but nothing
>is mentioned in the new specs. ]
>
> Simon
>
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (07)
------------------------------------------------------------
IHMC (850)434 8903 home
40 South Alcaniz St. (850)202 4416 office
Pensacola (850)202 4440 fax
FL 32502 (850)291 0667 mobile (preferred)
phayes@xxxxxxx http://www.ihmc.us/users/phayes (08)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (09)
|