Protege 4.0 Beta update (build 104)

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Protege 4.0 Beta update (build 104)

Jennifer Vendetti
There is a new Protege 4.0 beta build available on our Web site:

Changes & Bug Fixes in Protege-OWL
- There is now an auto-update facility that can:
a). Let you know when new versions of installed plug-ins are available
b). Help you find and install plug-ins from within Protege-OWL
More information is available on the wiki:

- There is now an inferred object property hierarchy view.

- The new entity preferences have been tidied up and you can now choose
/ instead of #. More information is available on the wiki:

- The search/find preferences have been renamed to "General" and also
include a setting for the expression editor delay.

- Usage allows you to turn on/off certain filters.

- Property and individual views show more inferred information.

- Updates to FaCT++ allow us to get inferred properties of individuals
and domains/ranges of properties. Please note that FaCT++ for 64-bit
Linux has not yet been updated.

- Bundling an updated version of the OWL API to allow fixes for several

- Fixed a bug where the General Axioms editor autocompleted with
unnecessary : characters.

- Fixed a bug where the usage view broke in the presence of GCIs.

- Fixed a bug where individuals with the same name were disappearing.

- Fixed a bug where reasoners kept running in the background even when
cancel was pressed.

- Fixed a bug where autcomplete would not work for the fillers of QCRs.

- Fixed a bug where the ontology annotations were not correctly handled
when merging ontologies.

- Fixed a bug where find would not switch to an appropriate tab to
display the entity.

- Fixed a bug in "Rename entities..." where tickboxes were ignored.

- Web link menu items (like those in the Help menu) are now implemented
as plugins. More information is available on the wiki:

- The explanation/debugger has been removed from the default
installation and will be available as a separate plug-in(s).

As always, a Web-based version of the release notes is available on our

The Protege Team

protege-beta mailing list
[hidden email]

Instructions for unsubscribing: