Yes, the owlrl-all.rdf file was missing in the library of the previous releases (I have added it recently). In the meantime, it needs to be imported from its URL http://topbraid.org/spin/owlrl-all
Please keep in mind that the SPIN-based OWL RL implementation is not meant to be a real-world inference engine in its current state. It has mostly been a proof of concept to demonstrate the value of OWL RL as a platform neutral collection of rules that can (among others) be expressed in SPARQL. If you import the owlrl-all file, then the system will do all inferences from the spec, even though many of them are highly uninteresting (e.g. that each individual is owl:sameAs to itself). A better way of using this is to select which OWL RL rules (here: SPIN templates) shall be used. For example, if you need transitive reasoning of classes, then add the corresponding templates to spin:rule at owl:Thing. This ability to fine tune the rules, and the fact that it uses the native SPARQL support of a RDF repository means that a SPIN-based solution can be very efficient. More on this topic can be found at Composing the Semantic Web: OWL 2 RL in SPARQL using SPIN Some custom-tailored inferences engines for RDFS and OWL are bundled with TBC-SE and ME. Holger On Dec 10, 2009, at 10:31 AM, Vlad Tanasescu wrote: >> refresh the library by clicking on the TopBraid project and Import... >> TopBraid Composer > RDF/OWL Library fromthe Web. > > I did that (again), after recreating a project. I can confirm the only > owlrl.owl file is in TBC. I reimported the two files. Now I created an > ontology in the owl format (instead of previously n3), and inference > now works. Thanks! > > On Dec 10, 5:58 pm, Scott Henninger <[email protected]> > wrote: >> Vlad; By Inference, I mean Inference > Run Inferences. The >> owl.rl.owl file should be in TopBraid > Common, if you are using the >> latest version (if you have reused a previous workspace, make sure you >> refresh the library by clicking on the TopBraid project and Import... >> TopBraid Composer > RDF/OWL Library fromthe Web. >> >> <Use Currently Configured Inferences in the sparql tab.> >> >> This is not available in the Free Edition. >> >> All Composer products can be downloaded for a 30-day evaluation >> fromhttp://www.topquadrant.com/products/TB_download.html >> >> -- Scott >> >> On Dec 10, 11:36 am, Vlad Tanasescu <[email protected]> wrote: >> >>> Scott, thanks for your reply. I have imported owlrl-all.owl (which on >>> my version is in folder TBC and not Common) then got an error message >>> asking for owlr (that couldn't be found). After importing owlrl, owlrl- >>> all imported correctly. However, still no inference. I also lack, in >>> my free version, the Use Currently Configured Inferences in the sparql >>> tab. >> >>> Any other suggestion would be appreciated (or a license for the >>> Standard edition, which works like a charm on another computer) >> >>> On Dec 9, 10:13 pm, Scott Henninger <[email protected]> >>> wrote: >> >>>> Vlad; Sorry, the answer was already in your subject line. The Free >>>> edition uses the SPIN inference engine and therefore requires an >>>> additional setup step. If you import owlrl-all.owl (in the project >>>> TopBraid library > Common) into the example file you create, the >>>> subPropertyOf inferences will work. (Just FYI, owlrl-all.owl is an >>>> implementation of the OWL 2 RL profile.) >> >>>> -- Scott >> >>>> On Dec 9, 3:20 pm, Scott Henninger <[email protected]> wrote: >> >>>>> Vlad; Which version of TopBraid Composer are you using? >> >>>>> -- Scott >> >>>>> On Dec 9, 11:17 am, Vlad Tanasescu <[email protected]> wrote: >> >>>>>> Hi, >> >>>>>> I am new to topbraid composer but it appears to be a very fine tool. I >>>>>> went through the getting started example (and created instances such >>>>>> as WilliamShakespeare), but the inference does not return anything >>>>>> (even if hasDaughter and hasSon are subproperties of hasChild), is >>>>>> that normal? >> >>>>>> thanks >>>>>> Vlad > > -- > > 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. > > -- 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.
