- From: Pat Hayes <phayes@ai.uwf.edu>
- Date: Mon, 4 Feb 2002 19:21:52 -0600
- To: "Jeremy Carroll" <jjc@hplb.hpl.hp.com>
- Cc: w3c-rdfcore-wg@w3.org
>Dan: >> > If we're not going to take the implications of reification >> > seriously, let's just throw it out. >> > >Patrick: >> Just because others may view it differently does not mean >> they are not taking it as seriously. >> > >I hadn't taken Dan as questioning the seriousness of my thought, just >dubious about where it ended up! > >If anyone needs reminding as to arguments against the entailment, I quoted >some HP feedback I had received at: > >http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2002Jan/0041.html > >I see this as a straight choice and hope we can just vote on it. Please don't vote on that just yet, as I'm pretty sure that this rabbit is already sitting waiting to hop out. Its just waiting to be told which way to jump. If we decide NO on that entailment test, then the current MT handles reification already (really). If we decide YES then the MT extension that I presented at the California F2F will work OK. Either way we can have reification in the MT fairly painlessly and it will have the right entailments between pieces of reification. Heres the part about reification that puzzles me, however. Are there any entailment relationships between a triple and its reification (in either direction)? Suppose I have a triple, and I also have a reification which describes that triple. Is there any connection between them? What kind of connection? And does RDF in any sense 'know about' that connection? For example, does a graph containing a triple entail the same graph with a reification of the triple added to it? I can see why it ought to: after all, if you look at the reification, it has a blank node in it, and so what it asserts seems to be that something exists with these properties. Well, of *course* something exists with those properties: there it is, in the graph we started with, it's a triple.... Pat -- --------------------------------------------------------------------- IHMC (850)434 8903 home 40 South Alcaniz St. (850)202 4416 office Pensacola, FL 32501 (850)202 4440 fax phayes@ai.uwf.edu http://www.coginst.uwf.edu/~phayes
Received on Monday, 4 February 2002 20:21:21 UTC