/** * @param o o */ public AtomicDecompositionImpl(OWLOntology o) { this(AxiomSelector.selectAxioms(o), ModuleType.BOT); }
/** * @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 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 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 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 * @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 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); }