[Top] [All Lists]

[ontolog-forum] Attempto Controlled English (ACE) 5.5

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: "Norbert E. Fuchs" <fuchs@xxxxxxxxxxxx>
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
Date: Fri, 01 Jun 2007 11:29:29 -0400
Message-id: <46603B59.9020505@xxxxxxxxxxx>
Following is an announcement of the latest version of
Attempto Controlled English (ACE).  As many readers may know,
we have been developing a version of controlled English called
CLCE (Common Logic Controlled English), but that is only a
part of a larger goal of promoting controlled NLs as a way
of making logic in general and Common Logic in particular
more widely accepted for communications with computer systems.    (01)

For an earlier note on these issues, see    (02)

    Logic as the link between human interfaces and machine interfaces    (03)

For anyone interested in RuleML, there is also a Java translator
from ACE to RuleML, which is freely available:    (04)

    TRANSLATOR: TRANSlator from LAnguage TO Rules    (05)

John Sowa    (06)

-------- Original Message --------
Subject: Attempto Controlled English (ACE) 5.5
Date: Fri, 1 Jun 2007 16:44:58 +0200
From: Norbert E.Fuchs <fuchs@xxxxxxxxxxxx>
CC: Tobias Kuhn <t.kuhn@xxxxxx>, Kaarel Kaljurand <kalju@xxxxxxxxxxxx>    (07)

Dear users of Attempto Controlled English (ACE)    (08)

Today we are announcing Attempto Controlled English (ACE) 5.5. Please
check our web-site ( http://attempto.ifi.uzh.ch/site/ ) for details.    (09)

We have improved both the language ACE and its tools taking into
account your requests and your suggestions. In our view, the 'English
part' of ACE 5.5 has reached a state of maturity, and we expect
little change of this part in the near future. In the next months we
will extend ACE by mathematical structures and operations on them,
for example arithmetic and sets. Stay tuned for these developments.    (010)

Following is a list of the new features.    (011)

New language features:    (012)

               numbers and strings as general objects, e.g. "John lives in
"Paris".", "The temperature reaches -2.", "3.14 badly approximates Pi."
               positive, comparative and superlative adjectives, e.g. "John is
tall.", "John is as tall as Mary.", "Mary is taller.", "Mary is
taller than John.", "Mary is tallest."
               positive, comparative and superlative adverbs, e.g. "John runs
fast.", "Mary runs faster.", "Mary runs fastest."
               simple form of imperatives, e.g. "John, enter a card!" 
as "John enters a card.")
               generalisation: any noun phrase can now take a relative phrase
               restriction: no can only precede singular noun phrases, no 
plural noun phrases
Lexicon:    (013)

               clean-up of the built-in lexicon
               new lexicon format
               improved error handling for the user lexicon
  Attempto Parsing Engine:    (014)

               extended error reporting
               improved error representation in the web-interface
  Verbalisation of DRSs:    (015)

               DRS verbalisation component now uses the ACE lexicon
               improved paraphrase of ACE input
  DRS Representation:    (016)

               major overhaul leading to simplifications
               typed and untyped representations
               extended representation of adjectives and adverbs
ACE-to-OWL Translation:    (017)

               added support for OWL 1.1 (data properties partially supported)
               two outputs provided: OWL 1.1 functional-style syntax and OWL 
RDF/XML syntax    (018)

For more details, please read the updated documentation found at
attempto.ifi.uzh.ch/docs/.    (019)

The new features are immediately available as part of the Attempto
web-interface and the APE web-service (cf.  attempto.ifi.uzh.ch/
site/). The previous version of the APE web-service stays temporarily
accessible at: http://attempto.ifi.uzh.ch/ws/ape-old/apews.perl    (020)

As always, we appreciate your feedback.    (021)

Attempto Team (Norbert E. Fuchs, Kaarel Kaljurand, Tobias Kuhn)    (022)

Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (023)

<Prev in Thread] Current Thread [Next in Thread>