Hi Mark,
yes this doesn't look correct. I am not entirely sure why I put that
guard clause into the beginning of that check. It does indeed simply
have the effect that no checking will take place for most spl:Argument
instances. Unfortunately this is not easy to fix. The underlying issue
is that in many cases, the values of arguments are blank nodes - SPIN
RDF expressions. For example even for something simple as
FILTER (?var && true)
the SPIN RDF syntax would produce a bnode for the var, but the
spl:valueType of the arguments of sp:and is xsd:boolean. That would need
to be changed too, leading to a long list of follow-up changes.
Meanwhile, if you want to employ spl:Argument checking, you may need to
modify your local copy of the spl file.
Regards,
Holger
On 9/7/2015 22:17, Mark Hale wrote:
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]
<mailto:[email protected]>.
For more options, visit https://groups.google.com/d/optout.
--
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.
