Re: alternative result format using collections - avoid use/mention issues

On Tue, 2004-12-07 at 00:10 +0100, jos.deroo@agfa.com wrote:
> | ACTION Jos: Write email about alternative result format using
> | collections - avoid use/mention issues
>  -- 
> http://lists.w3.org/Archives/Public/public-rdf-dawg/2004OctDec/0394.html
> 
> 
> I'll give an example
> in N3 the query looks like
> 
> 
> [] q:select {<> q:answer (?name ?mbox)};
>    q:where  {?x foaf:name ?name. ?x foaf:mbox ?mbox}.
> 
> 
> and the answers then look like
> 
> 
> <above-query-uri> q:answer ("Johnny Lee Outlaw" 
> <mailto:jlow@example.com>). 
> <above-query-uri> q:answer ("Peter Goodguy" <mailto:peter@example.org>). 

That has the same use/mention issues; i.e. it relates
?mbox to a mailbox, while the spec says query results
bind variables to terms.

I think maybe it's OK, but in contrast...

The recent cwm reification format has a way to talk
about terms:

$ echo "<#me> <#mbox> <mailto:connolly@w3.org>." | python cwm.py --reify

#Processed by Id: cwm.py,v 1.164 2004/10/28 17:41:59 timbl Exp
        #    using base
file:/home/connolly/w3ccvs/WWW/2001/sw/DataAccess/

#  Notation3 generation by
#       notation3.py,v 1.166 2004/10/28 17:41:59 timbl Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2001/sw/DataAccess/
     @prefix : <http://www.w3.org/2004/06/rei#> .
     @prefix owl: <http://www.w3.org/2002/07/owl#> .

      [      a <http://www.w3.org/2000/10/swap/log#Truth>;
             :existentials  [
                 owl:oneOf () ];
             :statements  [
                 owl:oneOf  (
                 [
                         :object  [
                             :uri "mailto:connolly@w3.org" ];
                         :predicate  [
                             :uri
"file:/home/connolly/w3ccvs/WWW/2001/sw/DataAccess/#mbox" ];
                         :subject  [
                             :uri
"file:/home/connolly/w3ccvs/WWW/2001/sw/DataAccess/#me" ] ] ) ];
             :universals  [
                 owl:oneOf () ] ].

#ENDS

I'm not sure if we need to be that verbose; in particular,
quoting relative URIs is something we haven't worked out.

I wonder what we do for bnodes... ugh... this is broken:
it should say :subject [ a :BNode] or something...

$ echo "_:me <#mbox> <mailto:connolly@w3.org>." | python cwm.py --reify

#Processed by Id: cwm.py,v 1.164 2004/10/28 17:41:59 timbl Exp
        #    using base
file:/home/connolly/w3ccvs/WWW/2001/sw/DataAccess/

#  Notation3 generation by
#       notation3.py,v 1.166 2004/10/28 17:41:59 timbl Exp

#   Base was: file:/home/connolly/w3ccvs/WWW/2001/sw/DataAccess/
     @prefix : <http://www.w3.org/2004/06/rei#> .
     @prefix owl: <http://www.w3.org/2002/07/owl#> .

      [      a <http://www.w3.org/2000/10/swap/log#Truth>;
             :existentials  [
                 owl:oneOf  (

"file:/home/connolly/w3ccvs/WWW/2001/sw/DataAccess/.run-1102377202.2105761p15473#_g3"  ) ];
             :statements  [
                 owl:oneOf  (
                 [
                         :object  [
                             :uri "mailto:connolly@w3.org" ];
                         :predicate  [
                             :uri
"file:/home/connolly/w3ccvs/WWW/2001/sw/DataAccess/#mbox" ];
                         :subject  [
                         ] ] ) ];
             :universals  [
                 owl:oneOf () ] ].

#ENDS


> 
> 
> This use of RDF lists is very similar to use of it in OWL, e.g.
> :C owl:intersectionOf (:A :B).
> 
> 
-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Monday, 6 December 2004 23:55:22 UTC