- From: naudts guido <naudts_vannoten@yahoo.com>
- Date: Fri, 14 Oct 2005 03:29:54 -0700 (PDT)
- To: Tim Berners-Lee <timbl@w3.org>, cwm <public-cwm-talk@w3.org>
- Cc: (wrong string) ésar" Varona <cesar.varona@ptbsl.com>
Hallo,
Sorry, I should have been more clear about my problem.
I actually was wondering about existential variables
in the premisses of rules.
However, after carefully studying your document, I
make following two assumptions:
1) existential variables are not permitted in the
premisses of rules
2) it is always permitted to replace a blank node by
an existential variable.
If you can agree with these assumptions, my problems
with variables are solved.
With kind regards,
--- Tim Berners-Lee <timbl@w3.org> wrote:
> The actual syntax is @forAll and @forSome (for
> several years now,
> though cwm accepts the old form).
>
> The
> There is an explanation of the semantics
> http://www.w3.org/DesignIssues/N3Logic
>
> An excerpt:
>
> Any formula, (including the root formula), may have
> a set of
> universal variables. These are indicated by
> @forall declarations.
> The scope of the @forAll is outside the scope of any
> @forSome.
>
> If both universal and existential quantification are
> specified for
> the same context, then the scope of the universal
> quantification is
> outside the scope of the existentials:
>
> { @forAll <#h>. @forSome <#g>. <#g> <#loves> <#h> }.
> means
>
> ∀<#h> ( ∃<#g> (( <#g> <#loves> <#h> ))
>
>
> Does this help?
>
> Tim BL
>
> On Oct 4, 2005, at 7:05, naudts guido wrote:
>
> >
> > Hallo,
> > Does anyone know of an N3 example where
> log:forSome is
> > used and where the query is not possible with
> > log:forAll?
> > I ask this question because I'm trying to
> understand
> > what the precise semantics are of log:forSome.
> > Greetings,
> >
> > Guido Naudts
> > Lic. zoologie
> > Ir.informatica
> > Adviseur Department of Justice
> > Secretarisdreef 5
> > 2288 Bouwel
> > Belgium
> >
> >
> >
> >
> >
> > __________________________________
> > Yahoo! Mail - PC Magazine Editors' Choice 2005
> > http://mail.yahoo.com
> >
>
>
Guido Naudts
Lic. zoologie
Ir.informatica
Adviseur Department of Justice
Secretarisdreef 5
2288 Bouwel
Belgium
__________________________________
Yahoo! Music Unlimited
Access over 1 million songs. Try it free.
http://music.yahoo.com/unlimited/
Received on Friday, 14 October 2005 10:30:00 UTC