[Attempto] Ann: ACE View v1.2.16

[Kaarel Kaljurand]

Hi,

a new version of ACE View is available from http://attempto.ifi.uzh.ch/aceview/.

Release notes:

ADDED (experimental): in Q&A View: The label "Answer is complete" is
added to the set of individual-answers, in case the set is complete
(no new individual can show up as part of the answer unless an
existing axiom is modified/deleted). If the answer is not complete,
then a button shows up, allowing the user to declare that the answer
is complete.

Thanks to Tobias for pointing out that this might be a useful feature.

ADDED: in Q&A View: now translating an unsatisfiable question (e.g.
"Which dog is a cat?", provided that "No dog is a cat.") into a
snippet ("Nothing is a dog that is a cat.") and showing it together
with a "Why?" button in the answers pane.

IMPROVED: Updating the answers automatically after classification is
now optional, i.e.
can be switched on/off in the preferences

IMPROVED: Updating the answers now runs in the background, the
progress is reported, and the task can be cancelled.

IMPROVED: The auto-completer now returns a sorted set (sorted
case-insensitively)

IMPROVED: The GUI a bit (nicer buttons, nicer answers pane)

UPDATED: to google-collect-snapshot-20090211

Lots of minor bug fixes, cleanup of the code and Javadoc


The ACE View source code is available from:

http://attempto.ifi.uzh.ch/aceview/source/aceview_src-090217_unofficial.zip

--
kaarel