@ Override public boolean isEntailed ( Set < ? extends OWLAxiom > axioms ) throws ReasonerInterruptedException , UnsupportedEntailmentTypeException , TimeOutException , AxiomNotInProfileException , FreshEntitiesException , InconsistentOntologyException { throw new UnsupportedEntailmentTypeException ( axioms . iterator ( ) . next ( ) ) ; }
Determines if the specified set of axioms is entailed by the reasoner axioms .