- 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
[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 UTC