@Override public <O, T extends Throwable> O accept( final EntailmentQueryResult.Visitor<O, T> visitor) throws T { return visitor.visit(this); }
@Override public void printInfo() { if (computation_ != null) { computation_.printStatistics(); } }
@Override public <O, T extends Throwable> O accept( final ProperEntailmentQueryResult.Visitor<O, T> visitor) throws T { return accept((EntailmentQueryResult.Visitor<O, T>) visitor); }
@Override public EntailmentQueryTestOutput<ElkAxiom> getActualOutput() throws Exception { final Map<ElkAxiom, EntailmentQueryResult> result = getReasoner() .isEntailed(manifest.getInput().getQuery()); return new EntailmentQueryTestOutput<ElkAxiom>( resultToOutput(result)); }
@Override public EquivalentEntitiesTestOutput<ElkClass> getActualOutput() throws Exception { final Node<ElkClass> equivalent = getReasoner() .getEquivalentClassesQuietly( manifest.getInput().getQuery()); return new ElkEquivalentEntitiesTestOutput(equivalent); }
@Override public RelatedEntitiesTestOutput<ElkClass> getActualOutput() throws Exception { final Set<? extends Node<ElkClass>> subNodes = getReasoner() .getSubClassesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkClass>( subNodes, ElkClassKeyProvider.INSTANCE); }
@Override public SatisfiabilityTestOutput getActualOutput() throws Exception { final boolean isSatisfiable = getReasoner() .isSatisfiableQuietly(manifest.getInput().getQuery()); return new BaseSatisfiabilityTestOutput(isSatisfiable); }
@Override public RelatedEntitiesTestOutput<ElkNamedIndividual> getActualOutput() throws Exception { final Set<? extends Node<ElkNamedIndividual>> subNodes = getReasoner() .getInstancesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkNamedIndividual>( subNodes, ElkIndividualKeyProvider.INSTANCE); }
@Override public RelatedEntitiesTestOutput<ElkClass> getActualOutput() throws Exception { final Set<? extends Node<ElkClass>> subNodes = getReasoner() .getSuperClassesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkClass>( subNodes, ElkClassKeyProvider.INSTANCE); }
@Override public EntailmentQueryTestOutput<ElkAxiom> getExpectedOutput() throws Exception { final Map<ElkAxiom, EntailmentQueryResult> result = getStandardReasoner() .isEntailed(manifest.getInput().getQuery()); return new EntailmentQueryTestOutput<ElkAxiom>( ElkEntailmentQueryTest.resultToOutput(result)); }
@Override public EntailmentQueryTestOutput<ElkAxiom> getActualOutput() throws Exception { final Map<ElkAxiom, EntailmentQueryResult> result = getIncrementalReasoner() .isEntailed(manifest.getInput().getQuery()); return new EntailmentQueryTestOutput<ElkAxiom>( ElkEntailmentQueryTest.resultToOutput(result)); }
@Override public SatisfiabilityTestOutput getExpectedOutput() throws Exception { final boolean isSatisfiable = getStandardReasoner() .isSatisfiableQuietly( manifest.getInput().getQuery()); return new BaseSatisfiabilityTestOutput(isSatisfiable); }
@Override public RelatedEntitiesTestOutput<ElkNamedIndividual> getExpectedOutput() throws Exception { final Set<? extends Node<ElkNamedIndividual>> subNodes = getStandardReasoner() .getInstancesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkNamedIndividual>( subNodes, ElkIndividualKeyProvider.INSTANCE); }
public ClassExpressionQueryComputation( final Collection<IndexedClassExpression> inputs, final InterruptMonitor interrupter, final ConcurrentExecutor executor, final int maxWorkers, final ProgressMonitor progressMonitor, final SaturationState<?> saturationState, final TransitiveReductionOutputVisitor<IndexedClassExpression> outputProcessor) { super(inputs, new ClassExpressionQueryComputationFactory(interrupter, saturationState, maxWorkers, outputProcessor), executor, maxWorkers, progressMonitor); }
@Override public <O, T extends Throwable> O accept( final UnsupportedIndexingEntailmentQueryResult.Visitor<O, T> visitor) throws T { return accept((EntailmentQueryResult.Visitor<O, T>) visitor); }
@Override public <O, T extends Throwable> O accept( final UnsupportedQueryTypeEntailmentQueryResult.Visitor<O, T> visitor) throws T { return accept((EntailmentQueryResult.Visitor<O, T>) visitor); }
@Override protected void appendDiff(final EntailmentQueryTestOutput<A> actualOutput, final StringBuilder result) { final EntailmentQueryTestOutput<A> expOutput = getExpectedOutput(); final Map<A, Boolean> expMap = expOutput == null ? Collections.<A, Boolean> emptyMap() : expOutput.getOutput(); final Map<A, Boolean> actMap = actualOutput == null ? Collections.<A, Boolean> emptyMap() : actualOutput.getOutput(); writeMapDiff(expMap, actMap, result); }
@Override public <O, T extends Throwable> O accept( final EntailmentQueryResult.Visitor<O, T> visitor) throws T { return visitor.visit(this); }
@Override public <O, T extends Throwable> O accept( final ProperEntailmentQueryResult.Visitor<O, T> visitor) throws T { return accept((EntailmentQueryResult.Visitor<O, T>) visitor); }
@Override public <O, T extends Throwable> O accept( final EntailmentQueryResult.Visitor<O, T> visitor) throws T { return visitor.visit(this); }