/** * restore all tautologies back */ private void restoreTautologies() { for (AxiomWrapper p : tautologies) { p.setUsed(true); } }
/** * restore all tautologies back */ private void restoreTautologies() { for (AxiomWrapper p : tautologies) { p.setUsed(true); } }
/** * restore all tautologies back */ private void restoreTautologies() { for (AxiomWrapper p : tautologies) { p.setUsed(true); } }
/** * restore all tautologies back */ private void restoreTautologies() { for (AxiomWrapper p : tautologies) { p.setUsed(true); } }
/** * restore all tautologies back */ void restoreTautologies() { tautologies.forEach(p -> p.setUsed(true)); }
/** * restore all tautologies back */ void restoreTautologies() { tautologies.forEach(p -> p.setUsed(true)); }
/** * restore all tautologies back */ void restoreTautologies() { tautologies.forEach(p -> p.setUsed(true)); }
/** * restore all tautologies back */ void restoreTautologies() { tautologies.forEach(p -> p.setUsed(true)); }
/** * retract given axiom to the ontology * * @param p * p */ @PortedFrom(file = "tOntology.h", name = "retract") public void retract(AxiomWrapper p) { changed = true; retracted.add(p); p.setUsed(false); }
/** * Remove tautologies (axioms that are always local) from the ontology * temporarily. * * @param o ontology */ void removeTautologies(Collection<AxiomWrapper> o) { // we might use it for another decomposition tautologies.clear(); for (AxiomWrapper p : o) { if (p.isUsed() && modularizer.isTautology(p.getAxiom(), type)) { tautologies.add(p); p.setUsed(false); } } }
/** * Remove tautologies (axioms that are always local) from the ontology * temporarily. * * @param o ontology */ void removeTautologies(Collection<AxiomWrapper> o) { // we might use it for another decomposition tautologies.clear(); for (AxiomWrapper p : o) { if (p.isUsed() && modularizer.isTautology(p.getAxiom(), type)) { tautologies.add(p); p.setUsed(false); } } }
/** * Remove tautologies (axioms that are always local) from the ontology * temporarily. * * @param o ontology */ void removeTautologies(Collection<AxiomWrapper> o) { // we might use it for another decomposition tautologies.clear(); for (AxiomWrapper p : o) { if (p.isUsed() && modularizer.isTautology(p.getAxiom(), type)) { tautologies.add(p); p.setUsed(false); } } }
/** * Remove tautologies (axioms that are always local) from the ontology * temporarily. * * @param o ontology */ void removeTautologies(Collection<AxiomWrapper> o) { // we might use it for another decomposition tautologies.clear(); for (AxiomWrapper p : o) { if (p.isUsed() && modularizer.isTautology(p.getAxiom(), type)) { tautologies.add(p); p.setUsed(false); } } }
/** * remove tautologies (axioms that are always local) from the ontology * temporarily */ private void removeTautologies() { // we might use it for another decomposition tautologies.clear(); for (AxiomWrapper p : axioms) { if (p.isUsed()) { // check whether an axiom is local wrt its own signature modularizer.extract(p, new Signature(p.getAxiom().signature()), type); if (modularizer.isTautology(p.getAxiom(), type)) { tautologies.add(p); p.setUsed(false); } } } }
/** * remove tautologies (axioms that are always local) from the ontology * temporarily */ private void removeTautologies() { // we might use it for another decomposition tautologies.clear(); for (AxiomWrapper p : axioms) { if (p.isUsed()) { // check whether an axiom is local wrt its own signature modularizer.extract(p, new Signature(p.getAxiom().signature()), type); if (modularizer.isTautology(p.getAxiom(), type)) { tautologies.add(p); p.setUsed(false); } } } }
/** * remove tautologies (axioms that are always local) from the ontology * temporarily */ private void removeTautologies() { // we might use it for another decomposition tautologies.clear(); for (AxiomWrapper p : axioms) { if (p.isUsed()) { // check whether an axiom is local wrt its own signature modularizer.extract(p, new Signature(p.getAxiom().signature()), type); if (modularizer.isTautology(p.getAxiom(), type)) { tautologies.add(p); p.setUsed(false); } } } }
/** * remove tautologies (axioms that are always local) from the ontology * temporarily */ private void removeTautologies() { // we might use it for another decomposition tautologies.clear(); for (AxiomWrapper p : axioms) { if (p.isUsed()) { // check whether an axiom is local wrt its own signature modularizer.extract(p, new Signature(p.getAxiom().signature()), type); if (modularizer.isTautology(p.getAxiom(), type)) { tautologies.add(p); p.setUsed(false); } } } }