Link: http://attempto.ifi.uzh.ch/site/cnl2009/

Marettimo Island, Sicily (Italy) 8-10 June 2009

Controlled natural languages (CNLs) are subsets of natural languages, obtained by restricting the grammar and vocabulary in order to reduce or eliminate ambiguity and complexity. Traditionally, controlled languages fall into two major types: those that improve readability for human readers, and those that enable reliable automatic semantic analysis of the language. [...] The second type of languages has a formal logical basis, i.e. they have a formal syntax and semantics, and can be mapped to an existing formal language, such as first-order logic. Thus, those languages can be used as knowledge representation languages, and writing of those languages is supported by fully automatic consistency and redundancy checks, query answering, etc. (http://en.wikipedia.org/wiki/Controlled_natural_language)

Various controlled natural languages of the second type have been developed by a number of organisations, and have been used in many different application domains, most recently within the semantic web.

This workshop is dedicated to discussing the similarities and differences of existing controlled natural languages of the second type, possible improvements to these languages, relations to other knowledge representation languages, tool support, existing and future applications, and further topics of interest.