Re: [topbraid-users] extending SM Module

2016-06-07 Thread Holger Knublauch
Hi German, see the attached example. The key is to define a new helper function which takes two arguments and has a SPARQLMotion script as its body. The new function can then be inserted into any other SM script from the Functions section, as a lego block. Using SPIN constructors would no

Re: [topbraid-users] general constraint checking 'library'?

2016-06-07 Thread Holger Knublauch
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

RE: [topbraid-users] Support for square root

2016-06-07 Thread Steve Ray
Thanks, Holger, That’s good to know. Generally, when I’m looking for functions to use, I refer to the “TopBraid SPARQL Functions reference” section in TBC Help. Updating that with either the new afn: functions, or a link to http://jena.apache.org/documentation/query/library-function.html in th

Re: [topbraid-users] Support for square root

2016-06-07 Thread Holger Knublauch
Hi Steve, Jena already includes a number of math functions including afn:sqrt(num), see http://jena.apache.org/documentation/query/library-function.html These functions are not however listed in the afn namespace as instances of spin:Function and therefore do not show up in auto-complete etc

[topbraid-users] general constraint checking 'library'?

2016-06-07 Thread Jack Hodges
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 c

[topbraid-users] extending SM Module

2016-06-07 Thread german . peter81
Hi, I would like to to specialize existing SM module, by binding some of its arguments. More concretely, i would like to create module my:ImportGoogleSpreadsheetCSV by extending module sml:ImportFileFromURL. my:ImportGoogleSpreadsheetCSV should have 2 additional parameters -- documentId and sh