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 --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
