/** * @param o o * @param type type * @param excludeAssertions true if assertions should be excluded */ public AtomicDecompositionImpl(OWLOntology o, ModuleType type, boolean excludeAssertions) { this(AxiomSelector.selectAxioms(o, excludeAssertions), type); }
/** * @param axioms axioms * @param type type */ public AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type) { this.type = type; decomposer = new Decomposer(AxiomSelector.wrap(axioms), new SyntacticLocalityChecker()); int size = decomposer.getAOS(this.type).size(); atoms = new ArrayList<>(); for (int i = 0; i < size; i++) { final Atom atom = new Atom(asSet(decomposer.getAOS().get(i).getAtomAxioms())); atoms.add(atom); atomIndex.put(atom, i); for (OWLEntity e : atom.getSignature()) { termBasedIndex.put(e, atom); } } for (int i = 0; i < size; i++) { Set<OntologyAtom> dependentIndexes = decomposer.getAOS().get(i).getDependencies(); for (OntologyAtom j : dependentIndexes) { dependencies.put(atoms.get(i), atoms.get(j.getId())); dependents.put(atoms.get(j.getId()), atoms.get(i)); } } }
/** * @param axioms axioms * @param type type */ public AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type) { this.type = type; decomposer = new Decomposer(AxiomSelector.wrap(axioms), new SyntacticLocalityChecker()); int size = decomposer.getAOS(this.type).size(); atoms = new ArrayList<>(); for (int i = 0; i < size; i++) { final Atom atom = new Atom(asSet(decomposer.getAOS().get(i).getAtomAxioms())); atoms.add(atom); atomIndex.put(atom, i); for (OWLEntity e : atom.getSignature()) { termBasedIndex.put(e, atom); } } for (int i = 0; i < size; i++) { Set<OntologyAtom> dependentIndexes = decomposer.getAOS().get(i).getDependencies(); for (OntologyAtom j : dependentIndexes) { dependencies.put(atoms.get(i), atoms.get(j.getId())); dependents.put(atoms.get(j.getId()), atoms.get(i)); } } }
/** * @param o o * @param type type * @param excludeAssertions true if assertions should be excluded */ public AtomicDecompositionImpl(OWLOntology o, ModuleType type, boolean excludeAssertions) { this(AxiomSelector.selectAxioms(o, excludeAssertions), type); }
/** * @param axioms axioms * @param type type */ public AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type) { this.type = type; decomposer = new Decomposer(AxiomSelector.wrap(axioms), new SyntacticLocalityChecker()); int size = decomposer.getAOS(this.type).size(); atoms = new ArrayList<>(); for (int i = 0; i < size; i++) { final Atom atom = new Atom(asSet(decomposer.getAOS().get(i).getAtomAxioms())); atoms.add(atom); atomIndex.put(atom, i); for (OWLEntity e : atom.getSignature()) { termBasedIndex.put(e, atom); } } for (int i = 0; i < size; i++) { Set<OntologyAtom> dependentIndexes = decomposer.getAOS().get(i).getDependencies(); for (OntologyAtom j : dependentIndexes) { dependencies.put(atoms.get(i), atoms.get(j.getId())); dependents.put(atoms.get(j.getId()), atoms.get(i)); } } }
/** * @param o o */ public AtomicDecompositionImpl(OWLOntology o) { this(AxiomSelector.selectAxioms(o), ModuleType.BOT); }
/** * @param axioms axioms * @param type type */ public AtomicDecompositionImpl(List<OWLAxiom> axioms, ModuleType type) { this.type = type; decomposer = new Decomposer(AxiomSelector.wrap(axioms), new SyntacticLocalityChecker()); int size = decomposer.getAOS(this.type).size(); atoms = new ArrayList<>(); for (int i = 0; i < size; i++) { final Atom atom = new Atom(asSet(decomposer.getAOS().get(i).getAtomAxioms())); atoms.add(atom); atomIndex.put(atom, i); for (OWLEntity e : atom.getSignature()) { termBasedIndex.put(e, atom); } } for (int i = 0; i < size; i++) { Set<OntologyAtom> dependentIndexes = decomposer.getAOS().get(i).getDependencies(); for (OntologyAtom j : dependentIndexes) { dependencies.put(atoms.get(i), atoms.get(j.getId())); dependents.put(atoms.get(j.getId()), atoms.get(i)); } } }
/** * @param o o * @param type type */ public AtomicDecompositionImpl(OWLOntology o, ModuleType type) { this(AxiomSelector.selectAxioms(o), type); }
/** * @param o o * @param type type * @param excludeAssertions true if assertions should be excluded */ public AtomicDecompositionImpl(OWLOntology o, ModuleType type, boolean excludeAssertions) { this(AxiomSelector.selectAxioms(o, excludeAssertions), type); }
/** * @param o o * @param type type */ public AtomicDecompositionImpl(OWLOntology o, ModuleType type) { this(AxiomSelector.selectAxioms(o), type); }
/** * @param o o * @param type type */ public AtomicDecompositionImpl(OWLOntology o, ModuleType type) { this(AxiomSelector.selectAxioms(o), type); }
/** * @param o the ontology to filter * @return list of declarations and logical axioms */ public static List<OWLAxiom> selectAxioms(OWLOntology o) { return selectAxioms(o, false); }
/** * @param o o * @param type type * @param excludeAssertions true if assertions should be excluded */ public AtomicDecompositionImpl(OWLOntology o, ModuleType type, boolean excludeAssertions) { this(AxiomSelector.selectAxioms(o, excludeAssertions), type); }
/** * @param o o */ public AtomicDecompositionImpl(OWLOntology o) { this(AxiomSelector.selectAxioms(o), ModuleType.BOT); }
/** * @param o o * @param type type */ public AtomicDecompositionImpl(OWLOntology o, ModuleType type) { this(AxiomSelector.selectAxioms(o), type); }
/** * @param o the ontology to filter * @return list of declarations and logical axioms */ public static List<OWLAxiom> selectAxioms(OWLOntology o) { return selectAxioms(o, false); }
/** * @param o the ontology to filter * @return list of declarations and logical axioms */ public static List<OWLAxiom> selectAxioms(OWLOntology o) { return selectAxioms(o, false); }
/** * @param o o */ public AtomicDecompositionImpl(OWLOntology o) { this(AxiomSelector.selectAxioms(o), ModuleType.BOT); }
/** * @param o the ontology to filter * @return list of declarations and logical axioms */ public static List<OWLAxiom> selectAxioms(OWLOntology o) { return selectAxioms(o, false); }
/** * @param o o */ public AtomicDecompositionImpl(OWLOntology o) { this(AxiomSelector.selectAxioms(o), ModuleType.BOT); }