Re: log:forSome/#rdfms-identity-anon-resources

Frank Manola wrote:
> Dan Connolly wrote:
[...]
> > [[[
> > 4. A person is between a rock and a hard place.
> > [...]
> >
> > Following is the KIF representation:
> >
> > (exists ((?x person) (?y rock) (?z place) (?w hard))
> >         (and (betw ?y ?z ?x) (attr ?z ?w)))
> > ]]]
> >
> > --        Conceptual Graph Examples
> > http://www.bestweb.net/~sowa/cg/cgexampw.htm#Ex_4
> > Thu, 22 Mar 2001 01:45:12 GMT
> > linked from http://www.bestweb.net/~sowa/cg/
> > linked from http://www.w3.org/DesignIssues/CG#[2]
> 
> Yes, that was the interpretation I'd been assuming as well (see my
> message
> http://lists.w3.org/Archives/Public/w3c-rdfcore-wg/2001Jun/0326.html)

Ah... good... then we're agreed, on the essential point.

[...]

>  So I don't understand how queries come into
> this.

Then never mind; somebody was convinced by the bookseller
scenario about the need for existentials in RDF, so I thought
I'd try it here. But I don't need the WG to agree with
the bookseller/query scenario; only with the interpretation
of triples as (exists (?a1 ?a2 ...) (and (p1 s1 ?a1) ...) ).


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Friday, 29 June 2001 12:05:58 UTC