Hi Dave Thanks for your very fast reply, I couldn't even finish the complete message I wanted to send ( before hitting send prematurely ). I understand your explanation why bindSchema is useful, the problem is that for the moment I don't get it to do the actual inference work
mycircuit On 27 June 2013 10:30, Dave Reynolds <dave.e.reyno...@gmail.com> wrote: > On 27/06/13 09:12, mycircuit wrote: > >> Hi, I am struggling to understand the usage of this idiom: >> >> reasoner = reasoner.bindSchema(schema); >> > > This creates a new reasoner which is a specialized version of the original > reasoner for that ontology. This is sometimes call "partial evaluation". > > If you are just going to use the reasoner once on one data set then this > has no benefit compared to just running the reasoner over a model that > contains both the data and the schema. > > If you are going to be using a reasoner plus the same ontology over a > number of different data sets then it might have a benefit. Some reasoners > may be able to precompute some state based on the ontology once, and then > reuse that state for each dataset. > > The builtin rule based reasoners for OWL and RDFS can do a little useful > prework like this, though the savings aren't usually that great. However, > we have had experimental reasoners (not released) that compiled the > ontology into a tailored rule sets. That kind of approach can give big > savings if you are going to be processing lots of separate small data sets > through it. > > Dave > >
