output semantics; user feedback; refinement; DT; datasets; decision tree; queries; algorithms