After running the inference, the Inference View should appear (if not, go to Window > Show View > Inference). From that view you can assert selected inferences, get an explanation for the inference (if supported by the inference engine), etc.
-- Scott On May 25, 12:44 pm, rick <r...@rickmurphy.org> wrote: > Works, You rock, dude! > > Is is possible to turn on some logging, so I can see a record of all the > inferences run and have them in a file? > > Rick > > > > Scott Henninger wrote: > > Rick, here is a step-by-step procedure to demonstrate rdfs:domain > > inferences in Composer: > > > 1. Create a class, let's call it :Thing_1 > > 2. Create a property, let's call it :Property_1 > > 3. Assert :Thing_1 as the rdfs:domain of :Property_1 > > 4. Create an instance, call it :inst_1 (it can be any resource) > > 5. Add :Property_1 to the class and give it a value > > i.e. open :inst_1, drag :Property_1 into its form, add any value > > 6. Run inferences (the default will do) > > > The triple :inst_1 rdfs:type :Thing_1 will be inferred. > > > Do all of this using Composer's interface. You can look at the source > > later, if desired or necessary. > > > -- Scott > > > On May 25, 11:12 am, Holger Knublauch <hol...@topquadrant.com> wrote: > >>> While asking about this, would you be able to tell me how swiftowlim > >>> has > >>> been configured for use with TB? The four standard choices are: empty, > >>> rdfs, owl-horst and owl-max. A pointer to how to configure these > >>> choices, if available, would be appreciated as well! > >> (Partial response only) > > >> The default configuration is owl-max. You can select owl-horst or rdfs > >> with a double-click on OWLIM under Selected Inference Engine in the > >> Configure Inferencing dialog (Inference > Configure Inferencing...) > > >> Holger > > -- > Rick > > cell: 703-201-9129 > web: http://www.rickmurphy.org > blog:http://phaneron.rickmurphy.org --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "TopBraid Composer Users" group. To post to this group, send email to topbraid-composer-users@googlegroups.com To unsubscribe from this group, send email to topbraid-composer-users+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/topbraid-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---