Metadata
Author: WikiMatrix
Data
English[en]
Translating an ACE text into (a fragment of) first-order logic allows users to reason about the text, for instance to verify, to validate, and to query it.
Spanish[es]
Traducir DRSs al lenguaje común de lógica de primer orden permite a los usuarios razonar sobre textos ACE, por ejemplo para verificarlos, para validarlos, y para consultarlos.