final Object value = dtReasoner.valueIterator(types).next(); final ATermAppl valueTerm = dtReasoner.getLiteral(value); Literal valueLiteral = _abox.getLiteral(valueTerm);
final Object value = dtReasoner.valueIterator(types).next(); final ATermAppl valueTerm = dtReasoner.getLiteral(value); Literal valueLiteral = _abox.getLiteral(valueTerm);