public static <T> Iterable<T> concat(final Iterable<? extends T>... inputs) { return concat(Arrays.asList(inputs)); }
public static <T> Iterable<T> concat(final Iterable<? extends T>... inputs) { return concat(Arrays.asList(inputs)); }
public static <T> Iterable<T> concat(final Iterable<? extends T>... inputs) { return concat(Arrays.asList(inputs)); }
/** * @return {@link IndexedContextRoot} that are needed to answer the * registered entailment queries and not saturated. */ Collection<IndexedContextRoot> getNotSaturatedPositivelyIndexedRoots() { int sizeUpper = 0; for (final QueryState state : queried_.values()) { if (state.indexed != null) { sizeUpper += state.indexed.getPositivelyIndexed().size(); } } final Iterable<IndexedContextRoot> result = Operations .concat(Operations.map(queried_.values(), POSITIVELY_INDEXED)); return Operations.getCollection(result, sizeUpper); }
/** * @return {@link IndexedContextRoot} that are needed to answer the * registered entailment queries and not saturated. */ Collection<IndexedContextRoot> getNotSaturatedPositivelyIndexedRoots() { int sizeUpper = 0; for (final QueryState state : queried_.values()) { if (state.indexed != null) { sizeUpper += state.indexed.getPositivelyIndexed().size(); } } final Iterable<IndexedContextRoot> result = Operations .concat(Operations.map(queried_.values(), POSITIVELY_INDEXED)); return Operations.getCollection(result, sizeUpper); }
/** * @return {@link IndexedContextRoot} that are needed to answer the * registered entailment queries and not saturated. */ Collection<IndexedContextRoot> getNotSaturatedPositivelyIndexedRoots() { int sizeUpper = 0; for (final QueryState state : queried_.values()) { if (state.indexed != null) { sizeUpper += state.indexed.getPositivelyIndexed().size(); } } final Iterable<IndexedContextRoot> result = Operations .concat(Operations.map(queried_.values(), POSITIVELY_INDEXED)); return Operations.getCollection(result, sizeUpper); }
@SuppressWarnings("unchecked") @Override public final Collection<? extends IndexedPropertyChain> getPropertyChains() { return Operations.getCollection( Operations.concat(cachedObjectProperties_, cachedBinaryPropertyChains_), cachedObjectProperties_.size() + cachedBinaryPropertyChains_.size()); }
@SuppressWarnings("unchecked") @Override public final Collection<? extends IndexedPropertyChain> getPropertyChains() { return Operations.getCollection( Operations.concat(cachedObjectProperties_, cachedBinaryPropertyChains_), cachedObjectProperties_.size() + cachedBinaryPropertyChains_.size()); }
@SuppressWarnings("unchecked") @Override public final Collection<? extends IndexedPropertyChain> getPropertyChains() { return Operations.getCollection( Operations.concat(cachedObjectProperties_, cachedBinaryPropertyChains_), cachedObjectProperties_.size() + cachedBinaryPropertyChains_.size()); }
@SuppressWarnings("unchecked") @Override public final Collection<? extends IndexedClassExpression> getClassExpressions() { return Operations.getCollection( Operations.concat(cachedClasses_, cachedIndividuals_, cachedComplexClassExpressions_), cachedClasses_.size() + cachedIndividuals_.size() + cachedComplexClassExpressions_.size()); }
@SuppressWarnings("unchecked") @Override public final Collection<? extends IndexedClassExpression> getClassExpressions() { return Operations.getCollection( Operations.concat(cachedClasses_, cachedIndividuals_, cachedComplexClassExpressions_), cachedClasses_.size() + cachedIndividuals_.size() + cachedComplexClassExpressions_.size()); }
@SuppressWarnings("unchecked") @Override public final Collection<? extends IndexedClassExpression> getClassExpressions() { return Operations.getCollection( Operations.concat(cachedClasses_, cachedIndividuals_, cachedComplexClassExpressions_), cachedClasses_.size() + cachedIndividuals_.size() + cachedComplexClassExpressions_.size()); }
result = Operations.concat(Operations .<OntologyInconsistencyEntailmentInference> singleton( new TopObjectPropertyInBottomEntailsOntologyInconsistencyImpl( result = Operations.concat(Operations .<OntologyInconsistencyEntailmentInference> singleton( new OwlThingInconsistencyEntailsOntologyInconsistencyImpl(
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedClass> classesToRemove = reasoner.classTaxonomyState .getToRemove(); final Collection<IndexedIndividual> individualsToRemove = reasoner.instanceTaxonomyState .getToRemove(); @SuppressWarnings("unchecked") Collection<IndexedClassEntity> inputs = Operations.getCollection( Operations.concat(classesToRemove, individualsToRemove), classesToRemove.size() + individualsToRemove.size()); LOGGER_.trace("{}: classes to remove", classesToRemove); LOGGER_.trace("{}: individuals to remove", individualsToRemove); cleaning_ = new TaxonomyCleaning(inputs, reasoner.getInterrupter(), reasoner.classTaxonomyState.getTaxonomy(), reasoner.instanceTaxonomyState.getTaxonomy(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor()); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedClass> classesToRemove = reasoner.classTaxonomyState .getToRemove(); final Collection<IndexedIndividual> individualsToRemove = reasoner.instanceTaxonomyState .getToRemove(); @SuppressWarnings("unchecked") Collection<IndexedClassEntity> inputs = Operations.getCollection( Operations.concat(classesToRemove, individualsToRemove), classesToRemove.size() + individualsToRemove.size()); LOGGER_.trace("{}: classes to remove", classesToRemove); LOGGER_.trace("{}: individuals to remove", individualsToRemove); cleaning_ = new TaxonomyCleaning(inputs, reasoner.getInterrupter(), reasoner.classTaxonomyState.getTaxonomy(), reasoner.instanceTaxonomyState.getTaxonomy(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor()); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedClass> classesToRemove = reasoner.classTaxonomyState .getToRemove(); final Collection<IndexedIndividual> individualsToRemove = reasoner.instanceTaxonomyState .getToRemove(); @SuppressWarnings("unchecked") Collection<IndexedClassEntity> inputs = Operations.getCollection( Operations.concat(classesToRemove, individualsToRemove), classesToRemove.size() + individualsToRemove.size()); LOGGER_.trace("{}: classes to remove", classesToRemove); LOGGER_.trace("{}: individuals to remove", individualsToRemove); cleaning_ = new TaxonomyCleaning(inputs, reasoner.getInterrupter(), reasoner.classTaxonomyState.getTaxonomy(), reasoner.instanceTaxonomyState.getTaxonomy(), reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor()); return true; }
@SuppressWarnings("unchecked") private String getFailureMessage(Reasoner testReasoner, final OnOffVector<T> changingAxioms, final List<T> staticAxioms, long seed) throws ElkException { LOGGER_.trace("====== FAILURE! ===="); LOGGER_.trace("= Expected Reasoner Computation ="); Reasoner standardReasoner = io_.createReasoner(Operations .concat(changingAxioms.getOnElements(), staticAxioms)); standardReasoner.getTaxonomyQuietly(); LOGGER_.trace("Current axioms"); printCurrentAxioms( Operations.concat(changingAxioms.getOnElements(), staticAxioms), LogLevel.DEBUG); StringWriter writer = new StringWriter(); try { writer.write("EXPECTED TAXONOMY:\n"); printResult(standardReasoner, writer); writer.write("\nINCREMENTAL TAXONOMY:\n"); printResult(testReasoner, writer); writer.flush(); } catch (IOException ioe) { // TODO } return "Seed: " + seed + "\n" + writer.getBuffer().toString(); }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedContextRoot> queries = reasoner.entailmentQueryState_ .getNotSaturatedPositivelyIndexedRoots(); final Collection<? extends IndexedClassEntity> consistencyTestEntities = reasoner.consistencyCheckingState .getTestEntitites(); @SuppressWarnings("unchecked") final Collection<IndexedContextRoot> inputs = Operations.getCollection( Operations.concat(queries, consistencyTestEntities), queries.size() + consistencyTestEntities.size()); this.computation_ = new ClassExpressionSaturation<IndexedContextRoot>( inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedContextRoot> queries = reasoner.entailmentQueryState_ .getNotSaturatedPositivelyIndexedRoots(); final Collection<? extends IndexedClassEntity> consistencyTestEntities = reasoner.consistencyCheckingState .getTestEntitites(); @SuppressWarnings("unchecked") final Collection<IndexedContextRoot> inputs = Operations.getCollection( Operations.concat(queries, consistencyTestEntities), queries.size() + consistencyTestEntities.size()); this.computation_ = new ClassExpressionSaturation<IndexedContextRoot>( inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }
@Override public boolean preExecute() { if (!super.preExecute()) { return false; } final Collection<IndexedContextRoot> queries = reasoner.entailmentQueryState_ .getNotSaturatedPositivelyIndexedRoots(); final Collection<? extends IndexedClassEntity> consistencyTestEntities = reasoner.consistencyCheckingState .getTestEntitites(); @SuppressWarnings("unchecked") final Collection<IndexedContextRoot> inputs = Operations.getCollection( Operations.concat(queries, consistencyTestEntities), queries.size() + consistencyTestEntities.size()); this.computation_ = new ClassExpressionSaturation<IndexedContextRoot>( inputs, reasoner.getProcessExecutor(), workerNo, reasoner.getProgressMonitor(), new RuleApplicationAdditionFactory<RuleApplicationInput>( reasoner.getInterrupter(), reasoner.saturationState)); return true; }