public Collection<QueryTestManifest<ElkClassExpression, SatisfiabilityTestOutput>> getSatisfiabilityManifests( final String name, final URL input) { final List<QueryTestManifest<ElkClassExpression, SatisfiabilityTestOutput>> result = new ArrayList<QueryTestManifest<ElkClassExpression, SatisfiabilityTestOutput>>( queryClasses_.size()); for (final ElkClassExpression queryClass : queryClasses_) { final Map<ElkIri, ElkClass> node = equivalent_.get(queryClass); // If the query class is equivalent to bottom, node is NOT null! result.add( new QueryTestManifest<ElkClassExpression, SatisfiabilityTestOutput>( name, input, queryClass, new BaseSatisfiabilityTestOutput( node == null || !node.containsKey( PredefinedElkIris.OWL_NOTHING)))); } return result; }
@Override public SatisfiabilityTestOutput getExpectedOutput() throws Exception { final boolean isSatisfiable = getStandardReasoner() .isSatisfiableQuietly( manifest.getInput().getQuery()); return new BaseSatisfiabilityTestOutput(isSatisfiable); }
@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); }