Using Description Logics for Recognising Textual Entailment

Paul Bedaride (1)

1 TALARIS - Natural Language Processing: representation, inference and semantics

The aim of this paper is to show how we can handle the Recognising Textual Entailment (RTE) task by using Description Logics (DLs). To do this, we propose a representation of natural language semantics in DLs inspired by existing representations in first-order logic. But our most significant contribution is the definition of two novel inference tasks: A-Box saturation and subgraph detection which are crucial for our approach to RTE.

Mots clés: textual entailment; description logic; lexical knowledge; inference

Domaines: Informatique et langage [cs.CL]

Paul Bedaride. Using Description Logics for Recognising Textual Entailment. 19th European Summer School in Logic, Language and Information, Aug 2007, Dublin, Ireland. pp.11-21. ⟨inria-00179593⟩