@Override public ChangeApplied remove(OWLAxiom axiom) { return withWriteLock(() -> delegate.remove(axiom)); }
/** * @param axiom to change * @return true changes list * @since 2.5.1 */ default public ChangeApplied removeAxiom(final OWLAxiom axiom) { return getOntology().remove(axiom); }
@Override public ChangeApplied remove(OWLAxiom axiom) { return withWriteLock(() -> delegate.remove(axiom)); }
@Override public ChangeApplied remove(OWLAxiom... axioms) { return withWriteLock(() -> delegate.remove(axioms)); }
/** * @param axiom to change * @return true changes list * @since 2.5.1 */ default public ChangeApplied removeAxiom(final OWLAxiom axiom) { return getOntology().remove(axiom); }
@Override public ChangeApplied remove(Collection<? extends OWLAxiom> axioms) { return withWriteLock(() -> delegate.remove(axioms)); }
@Override public ChangeApplied remove(OWLAxiom... axioms) { return withWriteLock(() -> delegate.remove(axioms)); }
@Override public ChangeApplied remove(Collection<? extends OWLAxiom> axioms) { return withWriteLock(() -> delegate.remove(axioms)); }
@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); }
/** * @return ontology for gci */ public OWLOntology createGCIOntology() { MacroExpansions expansions = new MacroExpansions(); outputOntology.add(expansions.getNewAxioms()); outputOntology.remove(expansions.getRmAxioms()); return outputOntology; }
/** * @return ontology with expanded macros */ public OWLOntology expandAll() { MacroExpansions macroExpansions = new MacroExpansions(); Set<OWLAxiom> newAxioms = macroExpansions.getNewAxioms(); Set<OWLAxiom> rmAxioms = macroExpansions.getRmAxioms(); inputOntology.add(newAxioms); inputOntology.remove(rmAxioms); return inputOntology; }
/** * @return ontology for gci */ public OWLOntology createGCIOntology() { MacroExpansions expansions = new MacroExpansions(); outputOntology.add(expansions.getNewAxioms()); outputOntology.remove(expansions.getRmAxioms()); return outputOntology; }
/** * @return ontology for gci */ public OWLOntology createGCIOntology() { MacroExpansions expansions = new MacroExpansions(); outputOntology.add(expansions.getNewAxioms()); outputOntology.remove(expansions.getRmAxioms()); return outputOntology; }
/** * @return ontology with expanded macros */ public OWLOntology expandAll() { MacroExpansions macroExpansions = new MacroExpansions(); Set<OWLAxiom> newAxioms = macroExpansions.getNewAxioms(); Set<OWLAxiom> rmAxioms = macroExpansions.getRmAxioms(); inputOntology.add(newAxioms); inputOntology.remove(rmAxioms); return inputOntology; }
/** * @return ontology with expanded macros */ public OWLOntology expandAll() { MacroExpansions macroExpansions = new MacroExpansions(); Set<OWLAxiom> newAxioms = macroExpansions.getNewAxioms(); Set<OWLAxiom> rmAxioms = macroExpansions.getRmAxioms(); inputOntology.add(newAxioms); inputOntology.remove(rmAxioms); return inputOntology; }
/** * @return ontology for gci */ public OWLOntology createGCIOntology() { MacroExpansions expansions = new MacroExpansions(); outputOntology.add(expansions.getNewAxioms()); outputOntology.remove(expansions.getRmAxioms()); return outputOntology; }
/** * @return ontology with expanded macros */ public OWLOntology expandAll() { MacroExpansions macroExpansions = new MacroExpansions(); Set<OWLAxiom> newAxioms = macroExpansions.getNewAxioms(); Set<OWLAxiom> rmAxioms = macroExpansions.getRmAxioms(); inputOntology.add(newAxioms); inputOntology.remove(rmAxioms); return inputOntology; }