Naproche - Events

ACE Workshop by Norbert E. Fuchs

• Date: Thursday, November 20, 09:00-17:30
  
• Location: Beringstr. 3 Plücker/Hausdorffraum
  
• About: The course will give a concise introduction into ACE and its associated tools, and offer hands-on experience with all tools.
• Background: Attempto Controlled English (ACE) is a controlled natural language (CNL), i.e. a rich subset of standard English designed to serve as specification and knowledge representation language. ACE allows users to express professional texts precisely, and in the terms of their respective application domain. As any language, ACE must be learned to be used competently, but this amounts to learning the differences between ACE and full English, formulated as a small set of ACE construction and interpretation rules. Once written, ACE texts can be read and understood by anybody.
  
  ACE and its tools (Attempto Parsing Engine APE, Attempto Reasoner RACE, Attempto Verbaliser DRACE etc.) are intended for professionals who want to use formal notations and formal methods, but may not be familiar with them. Thus the Attempto system has been designed in a way that allows users to work solely on the level of ACE without having to take recourse to its internal logic representation.
  
  ACE appears perfectly natural, but - being a controlled subset of English - is in fact a formal language. ACE texts are computer-processable and can be unambiguously translated into discourse representation structures, a syntactic variant of first-order logic. Discourse representation structures derived from ACE texts have been translated into various other languages, for instance FOL, PQL, FLUX, RuleML, and a rule format to be used for Courteous Logic Programs and for stable model semantics. Using discourse representation structures as inter-lingua we have developed a prototypical bidirectional translation of ACE into and from OWL DL.
  
  ACE has been used in several applications, and was adopted as the controlled language of the EU Network of Excellence REWERSE (Reasoning on the Web with Semantics and Rules). [Taken from the the attempto homepage].
  
  The ACE webclient can be found at http://attempto.ifi.uzh.ch/ape.
• ACE and Naproche: A controlled language defines a unique translation from texts, which are written in this language, into logic. By studying the ACE, we wish to get additional insight into controlled natural languages which we can use to improve the existing Naproche CNL.
• Timetable:
  • 09:00-10:30 Tutorial
  • 10:30-11:00 Coffee Break
  • 11:00-12:30 Tutorial
  • 12:30-14:15 Lunch Break
  • 14:15-15:30 Tutorial
  • 15:30-16:00 Coffee Break
  • 16:00-17:30 Tutorial
• Application and Participation: If you are interested in participating, please send an email to Marcos Cramer or Daniel Kuehlwein. Registration is required and there are only limited places, so write early! Participants are asked to bring their own laptop.