W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > August 2001

Re: A use case for anon nodes - action from telecon [Was: W3C-MIT server outage: mailing lists are down]

From: <jos.deroo.jd@belgium.agfa.com>
Date: Wed, 8 Aug 2001 17:57:28 +0100
To: Daniel.Brickley@bristol.ac.uk
Cc: brian_mcbride@hp.com, em@w3.org, barstow@w3.org, dave.beckett@bristol.ac.uk, frank@hwg.org, connolly@w3.org, rdaniel@interwoven.com, bdehora@interx.com, jos.deroo.jd@belgium.agfa.com, rael@oreilly.com, jan.grant@bristol.ac.uk, martyn.horner@profium.com, ykitahara@infoteria.co.jp, Graham.Klyne@MIMEsweeper.com, mkopchenov@brience.com, kwonhj@nca.or.kr, ora.lassila@nokia.com, fmanola@mitre.org, snakamura@infoteria.co.jp, spetschu@ca.ibm.com, pgr@jaxo.com, aswartz@upclink.com, mdean@bbn.com, w3@guha.com, phayes@ai.uwf.edu, melnik@db.stanford.edu, emiller@columbus.rr.com, connolly.1990@alumni.utexas.net, w3c-rdfcore-wg@w3.org, danbri-w3c@rdfweb.org
Message-Id: <OF673DD934.4CC4E628-ON41256AA2.005D0183@bayer-ag.com>

[kind of selfreply...]
> ??? could it be that [ :p :o] (as one token)
> is an existental but that we *could* assert
> forall _:s such that _:s :p :o. ???
> (we actually do use the former and then
> query with some kind of univeral/template
> (which can contain the 'normal' existentials))

we actually see that
  {{:s [ rdfs:subpropertyOf :p] :o} log:implies {:s :p :o}}
    a log:Truth; log:forAll :s, :p, :o.
gives the same "cwm -think" result as
  {{:z rdfs:subPropertyOf :p. :s :z :o} log:implies {:s :p :o}}
    a log:Truth; log:forAll :s, :p, :o, :z.
but *not* the same result as
  {{:z rdfs:subPropertyOf :p. :s :z :o} log:implies {:s :p :o}}
    a log:Truth; log:forAll :s, :p, :o; log:forSome :z.

it could/should be similar for the case of rdfcore 'facts'
(the things behind log:implies)

--
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Thursday, 9 August 2001 09:07:02 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:38:44 EDT