On Jun 21, 2012, at 1:54 AM, Mark Green wrote: > Hi Scott, > > Thanks very much for this information. There is one other thing I wonder > about spin which is this: If a class has a spin:rule and a member of that > class is deleted or changed, will any extra triples created by the spin:rule > be removed or does the system have to manually clear out the dead triples?
Adding to what Irene wrote: There is limited support for "incremental inferencing" in the TopSPIN engine. For example if you open the spinsquare example, run inferences, and then activate incremental inferencing in the SPIN inference settings, you can modify width or height values and the derived computations of the area will be updated automatically. However this only works for "simple" inferences. Maintaining arbitrary inferences is known to be a hard problem in Semantic Web computer science. Regards, Holger -- -- You received this message because you are subscribed to the Google Group "TopBraid Suite Users", the topics of which include Enterprise Vocabulary Network (EVN), TopBraid Composer, TopBraid Live, TopBraid Ensemble, SPARQLMotion, SPARQL Web Pages 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
