Re: Hello, n3

Dear William, all

>> Even in case all list elements need to be referenced:
>>
>> { ?c owl:intersectionOf ?l, @forall :cl (?l x:member :cl, :cl a ?t, 
>> ?y a ?t) } => ?y a ?c
>>
> Note that the rule above is problematic since the scope of your 
> @forAll is basically the whole Web, so you can never know whether the 
> antecedence of this rule is true. What you can do, is set a scope, 
> saying something like "for all c1 mentioned in a certain document", 
> this is something we can test.
>
I just realised that I was wrong here since you actually have the list, 
so please ignore the comment about the scope. I guess I answered a 
little bit too fast here. I will think about containers and lists in 
this context again (and read the paper you mention) and send you a 
better answer.

Kind regards,
Dörthe//

-- 
Dörthe Arndt
Researcher Semantic Web
imec - Ghent University - IDLab | Faculty of Engineering and Architecture | Department of Electronics and Information Systems
Technologiepark-Zwijnaarde 19, 9052 Ghent, Belgium
t: +32 9 331 49 59 | e: doerthe.arndt@ugent.be