Data validation for answer set programming (extended abstract)