/**
* Determine whether the given property is recognized and treated specially by this reasoner. This
* is a convenience packaging of a special case of getCapabilities.
*
* @param property the property which we want to ask the reasoner about, given as a Node since
* this is part of the SPI rather than API
* @return true if the given property is handled specially by the reasoner.
*/
@Override
public boolean supportsProperty(Property property) {
if (factory == null) return false;
Model caps = factory.getCapabilities();
Resource root = caps.getResource(factory.getURI());
return caps.contains(root, ReasonerVocabulary.supportsP, property);
}
/**
* 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());
}