Best Java code snippets using org.semanticweb.owlapi.debugging.BlackBoxOWLDebugger.reset (Showing top 10 results out of 315)

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

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

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

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

  public void dispose() {
    reset();
//        reasoner.dispose();
  }

@Override
public Set<OWLAxiom> getSOSForInconsistentClass(OWLClassExpression cls) {
  reset();
  currentClass = setupDebuggingClass(cls);
  generateSOSAxioms();
  getOWLOntology().remove(temporaryAxioms);
  debuggingAxioms.removeAll(temporaryAxioms);
  return new HashSet<>(debuggingAxioms);
}

@Override
public Set<OWLAxiom> getSOSForInconsistentClass(OWLClassExpression cls) {
  reset();
  currentClass = setupDebuggingClass(cls);
  generateSOSAxioms();
  getOWLOntology().remove(temporaryAxioms);
  debuggingAxioms.removeAll(temporaryAxioms);
  return new HashSet<>(debuggingAxioms);
}

@Override
public Set<OWLAxiom> getSOSForInconsistentClass(OWLClassExpression cls) {
  reset();
  currentClass = setupDebuggingClass(cls);
  generateSOSAxioms();
  getOWLOntology().remove(temporaryAxioms);
  debuggingAxioms.removeAll(temporaryAxioms);
  return new HashSet<>(debuggingAxioms);
}

@Override
public Set<OWLAxiom> getSOSForInconsistentClass(OWLClassExpression cls) {
  reset();
  currentClass = setupDebuggingClass(cls);
  generateSOSAxioms();
  getOWLOntology().remove(temporaryAxioms);
  debuggingAxioms.removeAll(temporaryAxioms);
  return new HashSet<>(debuggingAxioms);
}

public Set<OWLAxiom> getSOSForIncosistentClass(OWLClassExpression cls) throws OWLException {
  reset();
  currentClass = setupDebuggingClass(cls);
  generateSOSAxioms();
  for (OWLAxiom ax : temporaryAxioms) {
    owlOntologyManager.applyChanges(Arrays.asList(new RemoveAxiom(getOWLOntology(), ax)));
  }
  debuggingAxioms.removeAll(temporaryAxioms);
  ontologyCounter = 0;
  return new HashSet<OWLAxiom>(debuggingAxioms);
}