/** * Precompute the implications of a schema graph. The statements in the graph * will be combined with the data when the final InfGraph is created. */ @Override public Reasoner bindSchema(Graph tbox) throws ReasonerException { return new LPBackwardRuleReasoner(this, tbox); }
/** * Override in subclasses to test other reasoners. */ public Reasoner createReasoner(List<Rule> rules) { LPBackwardRuleReasoner reasoner = new LPBackwardRuleReasoner(rules); reasoner.tablePredicate(sP); reasoner.tablePredicate(sC); reasoner.tablePredicate(ty); reasoner.tablePredicate(p); reasoner.tablePredicate(a); reasoner.tablePredicate(b); return reasoner; }
/** * Override in subclasses to test other reasoners. */ public Reasoner createReasoner(List<Rule> rules) { LPBackwardRuleReasoner reasoner = new LPBackwardRuleReasoner(rules); reasoner.tablePredicate(sP); reasoner.tablePredicate(sC); reasoner.tablePredicate(ty); reasoner.tablePredicate(p); reasoner.tablePredicate(a); reasoner.tablePredicate(b); return reasoner; }
/** * Precompute the implications of a schema graph. The statements in the graph * will be combined with the data when the final InfGraph is created. */ @Override public Reasoner bindSchema(Graph tbox) throws ReasonerException { return new LPBackwardRuleReasoner(this, tbox); }
/** * Precompute the implications of a schema Model. The statements in the graph * will be combined with the data when the final InfGraph is created. */ @Override public Reasoner bindSchema(Model tbox) throws ReasonerException { return new LPBackwardRuleReasoner(this, tbox.getGraph()); }
/** * Precompute the implications of a schema Model. The statements in the graph * will be combined with the data when the final InfGraph is created. */ @Override public Reasoner bindSchema(Model tbox) throws ReasonerException { return new LPBackwardRuleReasoner(this, tbox.getGraph()); }