- 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>
> > > >
> > > > { ?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 UTC