How to use

dispose

method

in

org.semanticweb.owlapi.reasoner.OWLReasoner

 /**
  * Empty the ReasonerSession of any previously loaded and classified
  * ontologies.  Marking a ReasonerSession as expired will cause any
  * subsequent attempts to lease it to fail.
  */
 public synchronized void expire() {
//    reasoner.clearOntologies();
  reasoner.dispose();
  expired = true;
 }

protected void disposeUsedReasoners() {
  // Can be empty if lsignature is empty
  if (lReasoner != null) {
    lReasoner.dispose();
  }
  if (owl2reasoner != null) {
    owl2reasoner.dispose();
  }
}

@Override
public synchronized void dispose() {
  r.dispose();
}

  @Override
  public void dispose()
  {
    _reasoner.ifPresent(r -> r.dispose());
  }
}

  @Override
  public void dispose()
  {
    _reasoner.ifPresent(r -> r.dispose());
  }
}

  @Override
  public void dispose()
  {
    _reasoner.ifPresent(r -> r.dispose());
  }
}

  @Override
  public void dispose() {
    for (OWLReasoner r : reasoners.values()){
      r.dispose();
    }
    reasoners.clear();
  }
}

@Override
public void dispose(OWLReasoner r){
  for (String name : reasoners.keySet()){
    if (reasoners.get(name).equals(r)){
      r.dispose();
      reasoners.remove(name);
      return;
    }
  }
}

private void clearAndDisposeReasoners() {
  for (OWLReasoner reasoner : reasonerMap.values()) {
    if (reasoner != null) {
      try {
        reasoner.dispose();
      } catch (Throwable t) {
        logger.warn("An error occurred whilst disposing of the '{}' reasoner.  Error: {}", reasoner.getReasonerName(), t);
      }
    }
  }
  reasonerMap.clear();
}

private void clearAndDisposeReasoners() {
  for (OWLReasoner reasoner : reasonerMap.values()) {
    if (reasoner != null) {
      try {
        reasoner.dispose();
      } catch (Throwable t) {
        logger.warn("An error occurred whilst disposing of the '{}' reasoner.  Error: {}", reasoner.getReasonerName(), t);
      }
    }
  }
  reasonerMap.clear();
}

private void clearAndDisposeReasoners() {
  for (OWLReasoner reasoner : reasonerMap.values()) {
    if (reasoner != null) {
      try {
        reasoner.dispose();
      }
      catch (Throwable t) {
        ProtegeApplication.getErrorLog().logError(t);
      }
    }
  }
  reasonerMap.clear();
}

private void clearAndDisposeReasoners() {
  for (OWLReasoner reasoner : reasonerMap.values()) {
    if (reasoner != null) {
      try {
        reasoner.dispose();
      }
      catch (Throwable t) {
        ProtegeApplication.getErrorLog().logError(t);
      }
    }
  }
  reasonerMap.clear();
}

public void killCurrentReasoner() {
  OWLReasoner reasoner = getCurrentReasoner();
  if (!(reasoner instanceof NoOpReasoner)) {
    reasoner.dispose();
    synchronized (reasonerMap)  {
      reasonerMap.put(owlModelManager.getActiveOntology(), null);
    }
  }
}

@Override
public void dispose() {
  reset();
  getReasoner().dispose();
}

@Override
public void dispose() {
  reset();
  getReasoner().dispose();
}

@Override
public void dispose() {
  reset();
  getReasoner().dispose();
}

@Override
public void dispose() {
  reset();
  getReasoner().dispose();
}

public void killCurrentReasoner() {
  OWLReasoner reasoner = getCurrentReasoner();
  if (!(reasoner instanceof NoOpReasoner)) {
    try {
      reasoner.dispose();
    } catch (Exception ex) {
      logger.warn("An error occurred whilst disposing of the current reasoner ({}).  Error: {}", reasoner.getReasonerName(), ex);
    }
    synchronized (reasonerMap) {
      reasonerMap.put(owlModelManager.getActiveOntology(), null);
    }
  }
}

public void dispose() {
  reset();
  getReasoner().dispose();
}

public void killCurrentReasoner() {
  OWLReasoner reasoner = getCurrentReasoner();
  if (!(reasoner instanceof NoOpReasoner)) {
    try {
      reasoner.dispose();
    } catch (Exception ex) {
      logger.warn("An error occurred whilst disposing of the current reasoner ({}).  Error: {}", reasoner.getReasonerName(), ex);
    }
    synchronized (reasonerMap) {
      reasonerMap.put(owlModelManager.getActiveOntology(), null);
    }
  }
}