利用描述逻辑进行文本蕴含识别

本文旨在展示如何利用描述逻辑（DLs）处理文本蕴含识别（RTE）任务。为此，我们提出了一种受一阶逻辑现有表示法启发的自然语言语义 DL 表示法。但我们最重要的贡献是定义了两个新的推理任务：A-Box 饱和和子图检测，这对我们的 RTE 方法至关重要。