final ATermAppl definition = dtReasoner.getDefinition(dtName); if (definition != null) ds = ds.union(Collections.singleton(ATermUtils.makeDatatypeDefinition(dtName, definition)), true); if (_abox.doExplanation()) final ATermAppl definition = dtReasoner.getDefinition(element); if (definition != null) ds = ds.union(Collections.singleton(ATermUtils.makeDatatypeDefinition(element, definition)), true);
final ATermAppl definition = dtReasoner.getDefinition(dtName); if (definition != null) ds = ds.union(Collections.singleton(ATermUtils.makeDatatypeDefinition(dtName, definition)), true); if (_abox.doExplanation()) final ATermAppl definition = dtReasoner.getDefinition(element); if (definition != null) ds = ds.union(Collections.singleton(ATermUtils.makeDatatypeDefinition(element, definition)), true);