Thank you Holger. I was not aware that the spl had so many constraint-related functions. I tend to look in the SPARQL Functions Reference for available functions. In my SPIN file I see imports for spin, spinx, and sp, but not for spl. On the spinrdf.org/spl/spl.html there is a reference to spinrdf.org/spl but I am not seeing any comprehensive documentation. So as much as I appreciate your response and clarification, how would I have found this on my own?
I would love to play with SHACL but the TQ comments about SHACL implementation in Topbraid say things like 'not even close to production ready' so I've been waiting...but waiting with great anticipation nonetheless. Jack On Tuesday, June 7, 2016 at 5:15:11 PM UTC-7, Holger Knublauch wrote: > > Hi Jack, > > in SPIN we have the SPL library that is supposed to contain "standard" > constraint types as SPIN templates. Right now it includes: > > spl:CountPropertyConstraintTemplates > spl:ExistencePropertyPairConstraint > spl:LessThanOtherPropertyPairConstraint > spl:NonExistencePropertyPairConstraint > spl:ObjectCountPropertyConstraint > spl:PrimaryKeyPropertyConstraint > spl:PropertyConstraintTemplates > spl:PropertyPairConstraintTemplates > spl:RangePropertyConstraint > spl:RegexPropertyConstraint > spl:StringLengthPropertyConstraint > spl:TypePropertyConstraint > spl:UniquePropertyValueConstraint > spl:UntypedObjectPropertyConstraint > > Other than that, I would recommend looking into SHACL, which will have > more support in TopBraid 5.2. Although it is still evolving it will have > the advantage of being a W3C standard. > > http://w3c.github.io/data-shapes/shacl/ > > HTH > Holger > > > On 8/06/2016 7:39, Jack Hodges wrote: > > Topbraid Composer has several SPIN functions that are pretty specific to > defining constraints for model testing. Examples are spl:instanceOf, > spl:hasValueOfType, smf:definedIn, smf:min/maxCardinality, smf:qname, > spif:localName, spin:constructViolations, spin:violatesConstraints, etc. It > seems clear that some effort has been expended to create functions that > could be used in a generic constraints 'library' (i.e., to validate type, > cardinality, value, threshold, range, ...), but does such a library of SPIN > functions and ASK templates already exist? I hate to reinvent the wheel... > > Jack > -- > You received this message because you are subscribed to the Google Group > "TopBraid Suite Users", the topics of which include the TopBraid Suite > family of products and its base technologies such as SPARQLMotion, SPARQL > Web Pages and SPIN. > To post to this group, send email to topbrai...@googlegroups.com > <javascript:> > --- > 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 topbraid-user...@googlegroups.com <javascript:>. > 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 the TopBraid Suite family of products and its base technologies such as SPARQLMotion, SPARQL Web Pages and SPIN. To post to this group, send email to topbraid-users@googlegroups.com --- 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 topbraid-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
