@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 protected void correctnessCheck(final O actualOutput, final O expectedOutput) throws Exception { if (expectedOutput == null ? actualOutput != null : !expectedOutput.equals(actualOutput)) { // @formatter:off final String message = "Actual output is not equal to the expected output\n" + "Input: " + getManifest().getInput().getName() + "\n" + "Expected:\n" + expectedOutput + "\n" + "Actual:\n" + actualOutput + "\n"; // @formatter:on Assert.fail(message); } }
@Override public EquivalentEntitiesTestOutput<ElkClass> getExpectedOutput() throws Exception { final Node<ElkClass> equivalent = getStandardReasoner() .getEquivalentClassesQuietly( manifest.getInput().getQuery()); return new ElkEquivalentEntitiesTestOutput(equivalent); }
@Override public SatisfiabilityTestOutput getExpectedOutput() throws Exception { final boolean isSatisfiable = getStandardReasoner() .isSatisfiableQuietly( manifest.getInput().getQuery()); return new BaseSatisfiabilityTestOutput(isSatisfiable); }
@Override public EquivalentEntitiesTestOutput<ElkClass> getActualOutput() throws Exception { final Node<ElkClass> equivalent = getReasoner() .getEquivalentClassesQuietly( manifest.getInput().getQuery()); return new ElkEquivalentEntitiesTestOutput(equivalent); }
@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); }
@Override public EquivalentEntitiesTestOutput<ElkClass> getActualOutput() throws Exception { final Node<ElkClass> equivalent = getIncrementalReasoner() .getEquivalentClassesQuietly( manifest.getInput().getQuery()); return new ElkEquivalentEntitiesTestOutput(equivalent); }
@Override public Void getActualOutput() throws Exception { final Reasoner reasoner = getReasoner(); TestUtils.provabilityTest(reasoner, null, reasoner.getElkFactory(), manifest.getInput().getQuery()); return null; }
@Override public RelatedEntitiesTestOutput<ElkClass> getExpectedOutput() throws Exception { final Set<? extends Node<ElkClass>> subNodes = getStandardReasoner() .getSuperClassesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkClass>( subNodes, ElkClassKeyProvider.INSTANCE); }
@Override public RelatedEntitiesTestOutput<ElkNamedIndividual> getActualOutput() throws Exception { final Set<? extends Node<ElkNamedIndividual>> subNodes = getIncrementalReasoner() .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 = getIncrementalReasoner() .getSuperClassesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkClass>( subNodes, ElkClassKeyProvider.INSTANCE); }
@Override public RelatedEntitiesTestOutput<ElkClass> getActualOutput() throws Exception { final Set<? extends Node<ElkClass>> subNodes = getIncrementalReasoner() .getSuperClassesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkClass>( subNodes, ElkClassKeyProvider.INSTANCE); }
@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 = getIncrementalReasoner() .isSatisfiableQuietly( manifest.getInput().getQuery()); return new BaseSatisfiabilityTestOutput(isSatisfiable); }
@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> getExpectedOutput() throws Exception { final Set<? extends Node<ElkClass>> subNodes = getStandardReasoner() .getSuperClassesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkClass>( subNodes, ElkClassKeyProvider.INSTANCE); }
@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 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)); }