final ATermAppl valueTerm = dtReasoner.getLiteral(value); Literal valueLiteral = _abox.getLiteral(valueTerm); if (valueLiteral == null)
final ATermAppl valueTerm = dtReasoner.getLiteral(value); Literal valueLiteral = _abox.getLiteral(valueTerm); if (valueLiteral == null)