@Override public Stream<OWLAxiom> getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype) { return decomposer.getModule(signature, useSemantics, moduletype).stream() .map(AxiomWrapper::getAxiom).filter(ax -> ax != null); } }
@Override public Stream<OWLAxiom> getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype) { return decomposer.getModule(signature, useSemantics, moduletype).stream() .map(AxiomWrapper::getAxiom).filter(ax -> ax != null); } }
@Override public Stream<OWLAxiom> getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype) { return decomposer.getModule(signature, useSemantics, moduletype).stream() .map(AxiomWrapper::getAxiom).filter(ax -> ax != null); } }
@Override public Stream<OWLAxiom> getModule(Stream<OWLEntity> signature, boolean useSemantics, ModuleType moduletype) { return decomposer.getModule(signature, useSemantics, moduletype).stream() .map(AxiomWrapper::getAxiom).filter(ax -> ax != null); } }
/** * @param signature * signature * @param useSemantic * useSemantic * @param type * type * @param r * reasoner * @return a set of axioms that corresponds to the atom with the id INDEX */ @PortedFrom(file = "Kernel.h", name = "getModule") public Collection<AxiomWrapper> getModule(List<Expression> signature, boolean useSemantic, ModuleType type, OWLReasoner r) { // init signature Signature sig = new Signature(); sig.setLocality(false); signature.stream().filter(p -> p instanceof NamedEntity).map(p -> ((NamedEntity) p).getEntity()).forEach( sig::add); return getModExtractor(useSemantic, r).getModule(sig.getSignature().stream(), useSemantic, type); }
/** * setup Name2Sig for a given entity; * * @param entity * entity */ @PortedFrom(file = "Incremental.cpp", name = "setupSig") public void setupSig(@Nullable OWLEntity entity) { moduleTimer.start(); // do nothing if entity doesn't exist if (entity == null) { return; } moduleTimer.start(); // prepare a place to update Signature sig = new Signature(); // calculate a module sig.add(entity); getModExtractor(false, null).getModule(sig.getSignature().stream(), false, ModuleType.BOT); // perform update name2Sig.put(entity, new Signature(getModExtractor(false, null).getModularizer().getSignature().getSignature() .stream())); moduleTimer.stop(); }