@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() .getSuperClassesQuietly( manifest.getInput().getQuery(), true); return new ElkRelatedEntitiesTestOutput<ElkClass>( subNodes, ElkClassKeyProvider.INSTANCE); }
@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> 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 EntailmentQueryTestOutput<ElkAxiom> getActualOutput() throws Exception { final Map<ElkAxiom, EntailmentQueryResult> result = getReasoner() .isEntailed(manifest.getInput().getQuery()); return new EntailmentQueryTestOutput<ElkAxiom>( resultToOutput(result)); }