Re: Inference rule selection for dummies?

[Dave Reynolds]

Hi Simon,

So now I’ve instantiated a GenericRuleReasoner and mutated it in a similar 
fashion. There is one bit I’m unsure about which is the implementation of the 
bind method that I had copied from the OWLMicroReasoner:

@Override
public InfGraph bind(Graph data) throws ReasonerException {
     InfGraph graph = super.bind(data);
     ((FBRuleInfGraph)graph).setDatatypeRangeValidation(true);
     return graph;
}

This method seems to mutate the graph before returning. I wonder if it is 
necessary for me to even retain this functionality... and how would I go about 
doing that using a GenericRuleReasoner?

This is a feature/hack to (as the name suggests) do some validation of 
OWL data type ranges in a way that can't be conveniently done in the 
rules. Given your goals of just supporting inverse reasoning you can 
safely ignore this.

Dave