/** * @param axioms axioms * @param c locality checker * @return new modularizer */ public static Modularizer buildModulariser(List<AxiomWrapper> axioms, LocalityChecker c) { Modularizer m = new Modularizer(c); m.preprocessOntology(axioms); return m; }
/** * @param axioms axioms * @param c locality checker * @return new modularizer */ public static Modularizer buildModulariser(List<AxiomWrapper> axioms, LocalityChecker c) { Modularizer m = new Modularizer(c); m.preprocessOntology(axioms); return m; }
/** * @param axioms axioms * @param c locality checker * @return new modularizer */ public static Modularizer buildModulariser(List<AxiomWrapper> axioms, LocalityChecker c) { Modularizer m = new Modularizer(c); m.preprocessOntology(axioms); return m; }
/** * @param axioms axioms * @param c locality checker * @return new modularizer */ public static Modularizer buildModulariser(List<AxiomWrapper> axioms, LocalityChecker c) { Modularizer m = new Modularizer(c); m.preprocessOntology(axioms); return m; }
modularizer.preprocessOntology(axioms);
modularizer.preprocessOntology(axioms);
modularizer.preprocessOntology(axioms);
modularizer.preprocessOntology(axioms);