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