Examples of org.semanticweb.owlapi.reasoner.TimeOutException

org.semanticweb.owlapi.reasoner.TimeOutException
Thrown when the current reasoner operation has been interrupted due to a satisfiability check timeout. @author Matthew Horridge, The University of Manchester, InformationManagement Group @since 3.0.0

    }
    public void checkInterrupt() {
        InterruptType interruptType=m_interruptType;
        if (interruptType!=null) {
            if (interruptType==InterruptType.TIMEOUT)
                throw new TimeOutException();
            else
                throw new ReasonerInterruptedException();
        }
    }

View Full Code Here


  private PelletRuntimeException convert(PelletRuntimeException e) throws InconsistentOntologyException,
      ReasonerInterruptedException, TimeOutException, FreshEntitiesException {


    if( e instanceof org.mindswap.pellet.exceptions.TimeoutException ) {
      throw new TimeOutException();
    }
    
    if( e instanceof org.mindswap.pellet.exceptions.TimerInterruptedException ) {
      throw new ReasonerInterruptedException( e );
    }

View Full Code Here

  
  private PelletRuntimeException convert(PelletRuntimeException e) throws InconsistentOntologyException,
      ReasonerInterruptedException, TimeOutException, FreshEntitiesException {
    
    if( e instanceof org.mindswap.pellet.exceptions.TimeoutException ) {
      throw new TimeOutException();
    }
    
    if( e instanceof org.mindswap.pellet.exceptions.TimerInterruptedException ) {
      throw new ReasonerInterruptedException( e );
    }

View Full Code Here

TOP

Related Classes of org.semanticweb.owlapi.reasoner.TimeOutException

com.clarkparsia.modularity.IncrementalClassifier

com.clarkparsia.pellet.owlapiv3.PelletReasoner

org.semanticweb.HermiT.tableau.InterruptFlag

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.