Scott thanks for the reply, I am aware of how to switch on the checking using the triangle and how to use the refresh and problems view. However my problem is that in two of my .n3 files it does not work, yet if these models are imported into another file the rules work.
I am trying to keep my imports down to a mininum, do I need to have the spin namespace imported into every file. I have also noticed that after taking the steps listed previously I have ended up with the following import into one of the affected files <j.0:imports rdf:resource="http://topbraid.org/spin/rdfsplus"/> On Feb 10, 9:51 pm, Scott Henninger <[email protected]> wrote: > John; A nice feature of SPIN is that constraint violation warnings are > separate from inference through SPARQL rules. I.e. as opposed to OWL > where only consistency checking is supported, you can write a > constraint violation rule for anything that can be expressed in > SPARQL. > > To turn on constraint violation warnings, click the yellow triangle in > the top icon row in Composer. To view all constraint violations open > the Problems view (Window > Show View > Problems) and click on the > refresh button. This will check all rules defined in spin:constraint > properties against all members of the class. A nice set of examples > are found in the :Person class in the TopBraid/Examples/ > kennedysSPIN.rdf file. > > -- Scott > > On Feb 10, 3:31 pm, John Perdoni <[email protected]> wrote: > > > > > Hi, for some reason or another the spin constraint violations and > > refresh seem to have stopped working. I will try and explain what I > > was doing leading up to this issue, it may shed some light. > > > I was looking at some inverse functional properties and set one up, > > pressed the inference play button and recieved and error saying (from > > my memory) something like, no rules found, you may want to check the > > profile tab for owl-rl. I found the tab and clicked the checkbox for > > owl-rl, running inferences is fine now, but the constraint violations > > have stopped working. > > > I have reset to the following > > > Under the inference tab I have the following setup > > > Input:Asserted Triples > > | > > TopSpin (sparql Rules) > > non-incremental, iteratively) > > | > > Output :Infrerred Triples > > > The ontology profile tab has nothing checked. > > > If possible can you shed some light on the issue. > > > thanks in advance > > > John- Hide quoted text - > > - Show quoted text - -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion and SPIN. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/topbraid-users?hl=en
