code: @Override
      public boolean isEntailed(Set<? extends OWLAxiom> axioms)
              throws ReasonerInterruptedException,
              UnsupportedEntailmentTypeException, TimeOutException,
              AxiomNotInProfileException, FreshEntitiesException,
              InconsistentOntologyException {
          throw new UnsupportedEntailmentTypeException(axioms.iterator().next());
      }
docs: Determines if the specified set of axioms is entailed by the reasoner
  axioms.
  
  @param axioms
  The set of axioms to be tested
  @return <code>true</code> if the set of axioms is entailed by the axioms
  in the imports closure of the root ontology, otherwise
  <code>false</code>. If the set of reasoner axioms is inconsistent
  then <code>true</code>.
  
  @throws FreshEntitiesException
  if the signature of the set of axioms is not contained within
  the signature of the imports closure of the root ontology and
  the undeclared entity policy of this reasoner is set to
  {@link FreshEntityPolicy#DISALLOW}.
  @throws ReasonerInterruptedException
  if the reasoning process was interrupted for any particular
  reason (for example if reasoning was cancelled by a client
  process)
  @throws TimeOutException
  if the reasoner timed out during a basic reasoning operation.
  See {@link #getTimeOut()}.
  @throws UnsupportedEntailmentTypeException
  if the reasoner cannot perform a check to see if the
  specified axiom is entailed
  @throws AxiomNotInProfileException
  if <code>axiom</code> is not in the profile that is supported
  by this reasoner.
  @throws InconsistentOntologyException
  if the set of reasoner axioms is inconsistent
  @see #isEntailmentCheckingSupported(org.semanticweb.owlapi.model.AxiomType)