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

[Jack Hodges]

Cool, thanks!

On Monday, June 20, 2016 at 4:12:07 PM UTC-7, Martynas Jusevicius wrote:
>
> There is also the Data Quality Constraints Library:
> http://semwebquality.org/ontologies/dq-constraints
>
> On Wednesday, June 8, 2016 at 6:04:45 PM UTC+2, Jack Hodges wrote:
>>
>> 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
>>> --- 
>>> 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.
>>> 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.

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

[Martynas Jusevicius]

There is also the Data Quality Constraints Library:
http://semwebquality.org/ontologies/dq-constraints

On Wednesday, June 8, 2016 at 6:04:45 PM UTC+2, Jack Hodges wrote:
>
> 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
>> --- 
>> 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.
>> 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.

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

[Irene Polikoff]

Jack,

You are right. The items below are functions. The items Holger sent are
templates. I was simply saying that all functions that are shipped with TBC
models are listed in the reference page.

All templates are listed as well, but templates are web services so they are
documented in the administrative console  under the ³Available Web Services²
page in the TBL Administrator console.

These templates have been developed for use in our data governance products
­ EVN, RDM and EDG in order to allow business users specify data validation
rules in the web UI. For more details on how it is used and works see
http://www.topquadrant.com/docs/5.1/EVN-User-Guide_1802256.html#EVNUserGuide
-Addingconstraintstoaclass.

Thus, if you were running, for example, EVN this functionality would be very
apparent to you. Ways to create new constraint templates are described in
the Developer guide
http://www.topquadrant.com/docs/5.1/EVN-Developer-Guide_1802545.html#EVNDeve
loperGuide-GettingStartedwithCustomDataQualityRulesinEnterprise Vocabulary
Network 
<http://www.topquadrant.com/docs/5.1/EVN-Developer-Guide_1802545.html#EVNDev
eloperGuide-GettingStartedwithCustomDataQualityRulesinEnterprise%20Vocabular
y%20Network> .

In short, they were not really created for TBC; thus, not documented in TBC
specific documentation.

Irene Polikoff


From:  Jack Hodges <jhodgesa...@gmail.com>
Reply-To:  <topbraid-users@googlegroups.com>
Date:  Wednesday, June 8, 2016 at 5:22 PM
To:  TopBraid Suite Users <topbraid-users@googlegroups.com>
Subject:  Re: [topbraid-users] general constraint checking 'library'?

Hello Irene,

I mean no disrespect but are you sure? Here is the entire list of spl:
functions from the SPARQL Functions Reference in the Topbraid Help (under
Help->Contents->Topbraid Composer->Reference->SPARQL Functions Reference)
for TBCME 5.1.3:

spl:hasArgument
spl:hasPrimaryKey
spl:hasValue
spl:hasValueOfType
spl:instanceOf
spl:isPrimaryKeyPropertyOfInstance
spl:isUntypedLiteral
spl:max
spl:min
spl:object
spl:objectCount
spl:objectInGraph
spl:objectSubProp
spl:primaryKeyProperty
spl:primaryKeyURIStart
spl:relevantPropertyAtClass
spl:subClassOf
spl:subPropertyOf
spl:subject
spl:subjectCount

and here are the items that Holger referenced this morning:

spl:CountPropertyConstraintTemplates
spl:ExistencePropertyPairConstraint
spl:LessThanOtherPropertyPairConstraint
spl:NonExistencePropertyPairConstraint
spl:ObjectCountPropertyConstraint
spl:PrimaryKeyPropertyConstraint
spl:PropertyConstraintTemplates
spl:PropertyPairConstraintTemplates
spl:RangePropertyConstraint
spl:RegexPropertyConstraint
spl:StringLengthPropertyConstraint
spl:TypePropertyConstraint


It looks to me as though the latter are class taxonomy categories, under
which I would expect to see function instances, but I cannot see any of
these categories in the Classes navigator. So the question remains of where
they are and is there documentation for them?


Jack

On Wednesday, June 8, 2016 at 9:33:29 AM UTC-7, Irene Polikoff wrote:
> Jack,
> 
> All spl functions are listed in the SPARQL Functions Reference.
> 
> Regards,
> 
> Irene Polikoff
> 
> 
> From:  Jack Hodges <jhodg...@gmail.com  >
> Reply-To:  <topbrai...@googlegroups.com  >
> Date:  Wednesday, June 8, 2016 at 12:04 PM
> To:  TopBraid Suite Users <topbrai...@googlegroups.com  >
> Subject:  Re: [topbraid-users] general constraint checking 'library'?
> 
> 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 <http://spinrdf.org/spl/spl.html>  there
> is a reference to spinrdf.org/spl <http://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

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

[Jack Hodges]

Hello Irene,

I mean no disrespect but are you sure? Here is the entire list of spl: 
functions from the SPARQL Functions Reference in the Topbraid Help (under 
Help->Contents->Topbraid Composer->Reference->SPARQL Functions Reference) 
for TBCME 5.1.3:

spl:hasArgument
spl:hasPrimaryKey
spl:hasValue
spl:hasValueOfType
spl:instanceOf
spl:isPrimaryKeyPropertyOfInstance
spl:isUntypedLiteral
spl:max
spl:min
spl:object
spl:objectCount
spl:objectInGraph
spl:objectSubProp
spl:primaryKeyProperty
spl:primaryKeyURIStart
spl:relevantPropertyAtClass
spl:subClassOf
spl:subPropertyOf
spl:subject
spl:subjectCount

and here are the items that Holger referenced this morning:

spl:CountPropertyConstraintTemplates

spl:ExistencePropertyPairConstraint

spl:LessThanOtherPropertyPairConstraint

spl:NonExistencePropertyPairConstraint

spl:ObjectCountPropertyConstraint

spl:PrimaryKeyPropertyConstraint

spl:PropertyConstraintTemplates

spl:PropertyPairConstraintTemplates

spl:RangePropertyConstraint

spl:RegexPropertyConstraint

spl:StringLengthPropertyConstraint

spl:TypePropertyConstraint


It looks to me as though the latter are class taxonomy categories, under 
which I would expect to see function instances, but I cannot see any of 
these categories in the Classes navigator. So the question remains of where 
they are and is there documentation for them?


Jack

On Wednesday, June 8, 2016 at 9:33:29 AM UTC-7, Irene Polikoff wrote:
>
> Jack,
>
> All spl functions are listed in the SPARQL Functions Reference.
>
> Regards,
>
> Irene Polikoff
>
>
> From: Jack Hodges <jhodg...@gmail.com >
> Reply-To: <topbrai...@googlegroups.com >
> Date: Wednesday, June 8, 2016 at 12:04 PM
> To: TopBraid Suite Users <topbrai...@googlegroups.com >
> Subject: Re: [topbraid-users] general constraint checking 'library'?
>
> 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
>> 

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

[Irene Polikoff]

Jack,

All spl functions are listed in the SPARQL Functions Reference.

Regards,

Irene Polikoff


From:  Jack Hodges <jhodgesa...@gmail.com>
Reply-To:  <topbraid-users@googlegroups.com>
Date:  Wednesday, June 8, 2016 at 12:04 PM
To:  TopBraid Suite Users <topbraid-users@googlegroups.com>
Subject:  Re: [topbraid-users] general constraint checking 'library'?

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
>>  
>>  --- 
>>  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  .
>>  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.


-- 
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.

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

[Jack Hodges]

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 
> 
> --- 
> 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 .
> 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.

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

[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: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 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.


--
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.