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 <[email protected]> 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 [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-composer-users?hl=en -~----------~----~----~----~------~----~------~--~---
