On Oct 31, 2011, at 3:11 PM, actress wrote: > How to do a backtracking in SPIN? is it possible at all? > Say , I have some rule-chaining in SPIN and want to know what are the > preconditions of initial rule providing that we know the post- > condition of the last rule.
Only very limited - you can inspect an "explanation" for each triple created by SPIN in the Inferences view. Further rule chaining to explain inferences that span multiple rules is currently not implemented. Out of interest: What is your specific use case where you need this? Thanks, Holger -- 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
