A填补数据与语义之间的鸿沟B提供启发式结构C无法对抗信息过载D是支持知识驱动型任务的有例工具