Re: ACTION: task force unasserted triples

[...]

>>If so, then I think that knowing that _:a1 has to be
>>``used'' (by value) could also work.
>
>What would the actual criterion be for recognizing such 'use',
>though? Wouldnt it amount to the same as darkening the first/rest/nil
>vocabulary?

well, I simply meant that it could be known per the predicate
name e.g. that object of owl:intersectionOf is a functional term
but of course that is implicit/builtin matter
I think it's now important that we test your concrete proposal
and I would really hope for several independent implementations

--
Jos