Paul; My overall recommendation would be to try this with some custom SPIN rules. The light bulb will display whatever is in the comment or the rdfs:label of a spin:ConstraintViolation instance. So the explanation can be anything you want it to be. The "navigate to" link will take you to the class the rule is defined on.
I take it that you used the Ontology Profile to define your rules? Using that method, the rules get added in the background, and hence going to owl:Thing doesn't seem to be useful. The label is the exact same as defined in the W3C standard, so you can easily look them up by going to http://www.w3.org/TR/owl2-profiles/#Reasoning_in_OWL_2_RL_and_RDF_Graphs_using_Rules and search for the name, such as cax-sco, etc. To do anything more would go beyond the standard, and this doesn't seem like a good idea. -- Scott On Mar 28, 9:31 am, PaulZH <[email protected]> wrote: > Using the 3.6 beta on Mac. > > Having run SPIN inferences. > > According to the manual: > > > After SPIN inferences have been executed, you can double-click on each > >> triple in the Inferences View to get an explanation window. This window > >> will display the rule that has inferred the triple. > > This double-clicking effect doesn't seem to be happening. > > When I click the light bulb icon, I get indeed an explanation in a popup > window (although cryptic). > > Inferred by spin:rule at class owl:Thing: > > OWL RL prp-trp > Would you like to navigate to owl:Thing? > > When I do this "navigate to" owl:Thing, I don't see much of additional > input to the explanation requested. > > The now retracted Pellet explanations were of more value to me. > Maybe I don't have the grips yet on the SPIN explanations. -- 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 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
