Hi all,

I am playing about with SPIN/Jena and there is something that doesn't seem 
to make sense. I am probably overlooking something simple, but I can't see 
how spl:Argument is meant to work as a constraint. Part of its spin:body is

      sp:where (
          (
            [
              rdf:type sp:Filter ;
              sp:expression [
                  rdf:type sp:isIRI ;
                  sp:arg1 spin:_this ;
                ] ;
            ]
          )
          [
            rdf:type sp:Union ;
            sp:elements (

which from what I can tell equates to .... WHERE { { FILTER (isIRI(?this)) 
}  {...} UNION {...} }. Surely all arguments are bnodes of the form 
[rdf:type spl:Argument] so isIRI(?this) = false making the union irrelevant.


-- 
You received this message because you are subscribed to the Google Group 
"TopBraid Suite Users", the topics of which include Enterprise Vocabulary 
Network (EVN), Reference Data Manager (RDM), TopBraid Composer, TopBraid Live, 
TopBraid Insight, SPARQLMotion, SPARQL Web Pages and SPIN.
To post to this group, send email to [email protected]
--- 
You received this message because you are subscribed to the Google Groups 
"TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
For more options, visit https://groups.google.com/d/optout.

Reply via email to