[protege-releases] Protege 4.2 beta update (build 269)

There's a new Protege 4.2 beta build available on our website:

http://protege.stanford.edu/download/registered.html#p4.2

Release Notes
---------------------
- Introduced a new explanation plug-in in addition to the existing basic 
explanation plug-in provided in previous releases. The new explanation 
plug-in, referred to as "Justification Based Explanation", will generate 
multiple explanations for a single inference, will sort the explanation 
to be more readable, and can generate laconic explanations (laconic 
justifications). The plug-in can also generate explanations for 
inconsistent ontologies (previous releases only included an ad-hoc tool, 
which in some cases was unable to find any explanation for a problem).

- Fixed a bug that could cause Protege to crash during start-up.

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