Titlebook: Controlled Natural Language; Second International Michael Rosner,Norbert E. Fuchs Conference proceedings 2012 Springer-Verlag Berlin Heidel

沉默

收養(yǎng)

Interpreting Plurals in the Naproche CNL,collective-distributive ambiguity in the context of mathematical language, as well as pairwise interpretations of collective plurals. Additionally, we present a special scope ambiguity conjunctions give rise to. Finally, we describe an innovative plural interpretation algorithm implemented in Naproc

TOXIN

Offstage

First-Order Reasoning for Attempto Controlled English,om ACE axioms and answer ACE queries from ACE axioms. In each case RACE gives a proof justification in ACE and full English. This paper is a system description of RACE sketching its structure, its implementation, its operation and its user interface. The power and the limitations of RACE are demonst