/** * @param top set new locality polarity */ public void setLocality(boolean top) { this.setLocality(top, top); }
/** * @param top set new locality polarity */ public void setLocality(boolean top) { this.setLocality(top, top); }
/** * @param top set new locality polarity */ public void setLocality(boolean top) { this.setLocality(top, top); }
/** * @param top set new locality polarity */ public void setLocality(boolean top) { this.setLocality(top, top); }
/** * @param ax axiom * @param type type * @return true iff the axiom AX is a tautology wrt given type */ public boolean isTautology(OWLAxiom ax, ModuleType type) { boolean topLocality = type == ModuleType.TOP; sig = new Signature(ax.signature()); sig.setLocality(topLocality); // axiom is a tautology if it is local wrt its own signature boolean toReturn = checker.local(ax); if (type != ModuleType.STAR || !toReturn) { return toReturn; } // here it is STAR case and AX is local wrt BOT sig.setLocality(!topLocality); return checker.local(ax); }
/** * add axiom AX to the non-local set with top-locality value TOP * * @param ax axiom * @param top top or bottom */ private void checkNonLocal(AxiomWrapper ax, boolean top) { emptySig.setLocality(top); checker.setSignatureValue(emptySig); if (!checker.local(ax.getAxiom())) { if (top) { topNonLocal.add(ax); } else { bottomNonLocal.add(ax); } } }
/** * @param ax axiom * @param type type * @return true iff the axiom AX is a tautology wrt given type */ public boolean isTautology(OWLAxiom ax, ModuleType type) { boolean topLocality = type == ModuleType.TOP; sig = new Signature(ax.signature()); sig.setLocality(topLocality); // axiom is a tautology if it is local wrt its own signature boolean toReturn = checker.local(ax); if (type != ModuleType.STAR || !toReturn) { return toReturn; } // here it is STAR case and AX is local wrt BOT sig.setLocality(!topLocality); return checker.local(ax); }
/** * add axiom AX to the non-local set with top-locality value TOP * * @param ax axiom * @param top top or bottom */ private void checkNonLocal(AxiomWrapper ax, boolean top) { emptySig.setLocality(top); checker.setSignatureValue(emptySig); if (!checker.local(ax.getAxiom())) { if (top) { topNonLocal.add(ax); } else { bottomNonLocal.add(ax); } } }
/** * add axiom AX to the non-local set with top-locality value TOP * * @param ax axiom * @param top top or bottom */ private void checkNonLocal(AxiomWrapper ax, boolean top) { emptySig.setLocality(top); checker.setSignatureValue(emptySig); if (!checker.local(ax.getAxiom())) { if (top) { topNonLocal.add(ax); } else { bottomNonLocal.add(ax); } } }
/** * @param ax axiom * @param type type * @return true iff the axiom AX is a tautology wrt given type */ public boolean isTautology(OWLAxiom ax, ModuleType type) { boolean topLocality = type == ModuleType.TOP; sig = new Signature(ax.signature()); sig.setLocality(topLocality); // axiom is a tautology if it is local wrt its own signature boolean toReturn = checker.local(ax); if (type != ModuleType.STAR || !toReturn) { return toReturn; } // here it is STAR case and AX is local wrt BOT sig.setLocality(!topLocality); return checker.local(ax); }
/** * add axiom AX to the non-local set with top-locality value TOP * * @param ax axiom * @param top top or bottom */ private void checkNonLocal(AxiomWrapper ax, boolean top) { emptySig.setLocality(top); checker.setSignatureValue(emptySig); if (!checker.local(ax.getAxiom())) { if (top) { topNonLocal.add(ax); } else { bottomNonLocal.add(ax); } } }
/** * @param ax axiom * @param type type * @return true iff the axiom AX is a tautology wrt given type */ public boolean isTautology(OWLAxiom ax, ModuleType type) { boolean topLocality = type == ModuleType.TOP; sig = new Signature(ax.signature()); sig.setLocality(topLocality); // axiom is a tautology if it is local wrt its own signature boolean toReturn = checker.local(ax); if (type != ModuleType.STAR || !toReturn) { return toReturn; } // here it is STAR case and AX is local wrt BOT sig.setLocality(!topLocality); return checker.local(ax); }
/** * @param signature the signature to use * @param moduletype module type * @param useSemantics true if semantic locality should be used * @return a set of axioms that corresponds to the atom with the id INDEX */ public Collection<AxiomWrapper> getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype) { // init signature Signature sig = new Signature(signature); sig.setLocality(false); modularizer.extract(axioms, sig, moduletype); return modularizer.getModule(); } }
/** * @param signature the signature to use * @param moduletype module type * @param useSemantics true if semantic locality should be used * @return a set of axioms that corresponds to the atom with the id INDEX */ public Collection<AxiomWrapper> getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype) { // init signature Signature sig = new Signature(signature); sig.setLocality(false); modularizer.extract(axioms, sig, moduletype); return modularizer.getModule(); } }
/** * @param signature the signature to use * @param moduletype module type * @param useSemantics true if semantic locality should be used * @return a set of axioms that corresponds to the atom with the id INDEX */ public Collection<AxiomWrapper> getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype) { // init signature Signature sig = new Signature(signature); sig.setLocality(false); modularizer.extract(axioms, sig, moduletype); return modularizer.getModule(); } }
/** * @param signature the signature to use * @param moduletype module type * @param useSemantics true if semantic locality should be used * @return a set of axioms that corresponds to the atom with the id INDEX */ public Collection<AxiomWrapper> getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype) { // init signature Signature sig = new Signature(signature); sig.setLocality(false); modularizer.extract(axioms, sig, moduletype); return modularizer.getModule(); } }
/** * @param signature the signature to use * @param moduletype the module type * @return a set of axioms that corresponds to the atom with the id INDEX */ public Set<OWLAxiom> getNonLocal(Stream<OWLEntity> signature, ModuleType moduletype) { // init signature Signature sig = new Signature(signature); sig.setLocality(false); // do check modularizer.getLocalityChecker().setSignatureValue(sig); Set<OWLAxiom> result = new HashSet<>(); for (AxiomWrapper p : axioms) { if (!modularizer.getLocalityChecker().local(p.getAxiom())) { result.add(p.getAxiom()); } } return result; }
/** * @param signature the signature to use * @param moduletype the module type * @return a set of axioms that corresponds to the atom with the id INDEX */ public Set<OWLAxiom> getNonLocal(Stream<OWLEntity> signature, ModuleType moduletype) { // init signature Signature sig = new Signature(signature); sig.setLocality(false); // do check modularizer.getLocalityChecker().setSignatureValue(sig); Set<OWLAxiom> result = new HashSet<>(); for (AxiomWrapper p : axioms) { if (!modularizer.getLocalityChecker().local(p.getAxiom())) { result.add(p.getAxiom()); } } return result; }
/** * @param signature the signature to use * @param moduletype the module type * @return a set of axioms that corresponds to the atom with the id INDEX */ public Set<OWLAxiom> getNonLocal(Stream<OWLEntity> signature, ModuleType moduletype) { // init signature Signature sig = new Signature(signature); sig.setLocality(false); // do check modularizer.getLocalityChecker().setSignatureValue(sig); Set<OWLAxiom> result = new HashSet<>(); for (AxiomWrapper p : axioms) { if (!modularizer.getLocalityChecker().local(p.getAxiom())) { result.add(p.getAxiom()); } } return result; }
/** * @param signature the signature to use * @param moduletype the module type * @return a set of axioms that corresponds to the atom with the id INDEX */ public Set<OWLAxiom> getNonLocal(Stream<OWLEntity> signature, ModuleType moduletype) { // init signature Signature sig = new Signature(signature); sig.setLocality(false); // do check modularizer.getLocalityChecker().setSignatureValue(sig); Set<OWLAxiom> result = new HashSet<>(); for (AxiomWrapper p : axioms) { if (!modularizer.getLocalityChecker().local(p.getAxiom())) { result.add(p.getAxiom()); } } return result; }