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 (e.g. non-native speakers), and those that enable reliable
automatic semantic analysis of the language.

Languages of the first type (often called "simplified" or "technical"
languages), for example ASD Simplified Technical English, Caterpillar
Technical  English,  IBM's  Easy  English,  are  used  in industry to
increase the quality of technical documentation, and possibly simplify
the (semi-) automatic translation of the documentation. These languages
restrict the writer by general rules such as "write short and
grammatically simple sentences", "use nouns instead of pronouns", "use
determiners", and "use active instead of passive".

Languages of the second type have 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.



CNL 2010 will address issues connected to controlled natural languages
including the following topics

Nature and Purpose of CNLs:
- design of CNLs and comparison between CNLs
- lexical and Syntactic issues for CNLs
- CNL semantics and knowledge representation
- expressivity within CNLs
- reasoning in CNLs
- theoretical results for CNLs

- CNLs for specifications
- CNLs and the semantic web
- CNLs for user interfaces
- CNLs for interaction, communication and dialogue
- CNL in the context of Linked Open Data (LOD) content creation and annotation
- CNL and Information Extraction
- tool support architectures for CNLs
- linking text mining to CNLs
- CNLs for business rules
- CNLs and mobile computing
- use cases of CNLs

The workshop will be informal with plenty of time for presentations and
discussions in the fashion of the seminars organised at Dagstuhl in
Germany (www.dagstuhl.de/programm/dagstuhl-seminare). To ensure the
informal atmosphere the number of participants will be limited.


There is no registration fee for CNL 2010.


A workshop dinner will be arranged during the workshop, and will be paid
individually by the participants.


Michael Rosner (University of Malta) mike.rosner@um.edu.mt
Norbert E. Fuchs (University of Zurich, Switzerland) fuchs@ifi.uzh.ch
[updated 02/07/2010]