approximationTime += timerApproximation.getTotal();
}
if (approximationResult != null)
{
approximatedTboxOntology = approximationResult
.approximatedOntology();
URI tboxPhysicalURI = createURI(tmpTboxPhysicalURI, runCounter);
if (saveApproximatedTbox)
{