Hi Paul, On 3/29/2012 0:31, PaulZH 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.
Thanks, yes the documentation was slightly outdated here. Double click leads to the values in the table. Only the light bulb button will show the explanation, and I have clarified this in the documentation for 3.6.
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.
Yes as Scott stated this is because you have probably not owl:imported the OWL 2 RL rules but used spin:import. In that case navigating to owl:Thing will not really show you the actual rules. Those would be found in the file owlrl.spin.ttl. The explanation facillity makes indeed much more sense if you have custom rules defined in the same file.
The now retracted Pellet explanations were of more value to me.
Of course! Pellet is optimized for exactly the task of running OWL DL inferences. TopSPIN is treating OWL DL as one rule language among many others. This means TopSPIN can be used for much different kinds of inferences, and you can combine OWL with things like unit conversion. The trade off of this flexibility is that we did not hard-code anything specific for OWL DL like Pellet did and therefore the explanation facility is a bit rougher.
Hope this makes sense. 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 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
