/**
  * 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());
 }