W3C home > Mailing lists > Public > www-webont-wg@w3.org > April 2002

Re: TEST, SEM: test cases for dark triples

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Tue, 23 Apr 2002 18:26:15 +0200
To: pfps@research.bell-labs.com
Cc: "jjc" <jjc@hplb.hpl.hp.com>, "www-webont-wg" <www-webont-wg@w3.org>
Message-ID: <OF4784634E.63BA853A-ONC1256BA4.00591890@agfa.be>

> > > >
> > > >   { ?s ?p ?o . ?o a ?C } log:implies { ?s a [ xx:functionOf ( ?p ?C
) ]

[...]

> But how does this help to tell me what the () in the entailment is?
> You appear to be adding undocumented extensions to N3.

the ( ?p ?C ) in the entailment is an N3 shorthand for
  _:x rdf:type owl:List .
  _:x owl:first ?p .
  _:x owl:rest _:y .
  _:y rdf:type owl:List .
  _:y owl:first ?C .
  _:y owl:rest owl:nil .

and that's how we use it in our stuff, nothing else

--
Jos

PS we also happen to use
   ( :a / :b ) as shorthand for  _:x rdf:type owl:List .
                                 _:x owl:first :a .
                                 _:x owl:rest :b .
   which is indeed a good remark
Received on Tuesday, 23 April 2002 12:40:04 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:49 GMT