@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); }