Hi Holger, thank you very much for the detailed answer! Removing spinowl.ttl from imports works fine.
Best regards, Oleksandr Mandryk On Tuesday, May 16, 2017 at 1:42:27 AM UTC+2, Holger Knublauch wrote: > > Hi Oleksandr, > > the specific constraints from your screenshot originate from the file > TopBraid/SPIN/spinowl.ttl. That file is usually not owl:imported so I am > wondering how it ended up in your EVN vocabularies. If you can track that > back, there would be an owl:imports or spin:imports triple pointing at the > file, which you can remove (see below). It is possible that the checking of > these constraints has become slower in 5.3 because we had to make > adjustments to the way that SPIN loops through the values of ?this due to > changes in the variable scoping of the underlying SPARQL engine. > > FWIW I am also working on redoing (and actually extending) the default > teamwork constraints (from http://topbraid.org/teamworkconstraints) that > are imported by default into every new EVN/EDG vocabulary. In 5.3 and older > versions there are two SPIN-based constraints that interpret > owl:FunctionalProperties and owl:maxCardinality restrictions with closed > world semantics, implemented in SPIN. I believe I will simply remove those > for 5.4 because people should use SHACL sh:maxCount to express such things. > Likewise the constraints from spinowl look outdated now that SHACL is > around the corner. Once everything is in SHACL, users will be able to > disable any constraint using sh:deactivated in 5.4. Meanwhile, for users > who don't want those tests, your best bet to get rid of them is to remove > the triple <urn:x-evn-master:XY> owl:imports|spin:imports > <http://topbraid.org/teamworkconstraints> > <http://topbraid.org/teamworkconstraints>. There is no way to do that > from the UI right now for the default "system" includes, so I am afraid you > may need to run a SPARQL update with a DELETE via the SPARQL endpoint as a > quick fix. > > Thanks > Holger > > > On 15/05/2017 22:29, Oleksandr Mandryk wrote: > > Hello, > recently I found that generating constraint violations report takes much > more time than previously (probably after updating to EVN 5.3). > After investigation I found that owl:Thing has a set of constraints which > are checking during generating violations report. > Is it possible to disable these constraints? And if yes, how can I do it? > > > <https://lh3.googleusercontent.com/-oewxVR4wlI0/WRmetQw6PII/AAAAAAAABHs/anj9pTpRI7k_mqWR3NqA2TUodOQ1pSbnwCLcB/s1600/owl-thing-constraints.png> > > > Thanks. > > > Best regards, > > Oleksandr Mandryk > > -- > 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 [email protected] > <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 [email protected] <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 [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.
