[protege-releases] Protege 4.1 beta update (build 209)

  There is a new Protege 4.1 beta build available on our Web site: 
http://bit.ly/avtVAe

Release Notes:
---------------------
- A new version of the OWL API (3.1.0) was released with several 
improvements and bug fixes. We've updated Protege to be in line with 
this latest release. Unfortunately, this transition introduced some 
incompatibilities for plug-in developers. We don't anticipate that these 
incompatibilities will be too difficult to resolve.

- Added a basic explanation feature. Many inferred assertions will have 
a question mark icon nearby. Click on the icon and a simple explanation 
dialog appears.

- The manner in which reasoners are started has been simplified. The 
usage model is a bit different than in previous versions of Protege 4, 
which may take some getting used to. Selecting the reasoner and choosing 
to classify the ontology are now divided into separate steps. New 
reasoner preferences have also been added, including fine-grained 
control of what classification steps take place during a classify operation.

- The Protege startup process has been significantly improved. 
Previously, some users were getting exceptions when they started 
multiple instances of Protege, and had problems when running different 
versions of Protege at the same time.

- Protege now lets you specify the prefixes that are used in an ontology.

- Protege now uses a recursive search starting at the working directory 
to find on-disk versions of ontologies to import.

- Fixed a bug that caused new users to have their font inadvertently set 
by the renderer preferences panel.

- The inferred class hierarchy now synchronizes with other views.

- The class members list view is now aware of imports.

- Imports of anonymous ontologies no longer fail.

A web-based version of the release notes are available on the Protege 
wiki: http://bit.ly/bWjoId

Best Regards,
The Protege Team



_______________________________________________
protege-releases mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-releases

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03