TrOWL v1.3 is now available for download. Besides numerous bug fixes, the new version includes the following major updates:
- improved memory consumption by simplifying certain data structures without affecting the performance and recall of reasoning;
- improved performance by optimising the reasoning algorithms, avoiding computing superfluous results;
- separation of approximation and reasoning, and separation of TBox and ABox reasoning. Now TrOWL will not automatically perform reasoning upon creation of reasoner. Instead, users can invoke TBox or ABox reasoning by using the precomputeInferences method of the reasoner. When in TBox reasoning, ABox results will not be computed unless they are relevant to TBox reasoning. When ABox reasoning is performed after TBox reasoning, TBox results will not be re-computed. Users can also directly use the normal get… methods of the reasoner to retrieve reasoning results. TBox or ABox reasoning will be automatically invoked depending on the type of reasoning needed, if they have not been precomputed;
- as a consequence of separation of TBox and ABox reasoning, TBox relevant results now can be computed much faster for ontologies with large ABox;
- improved recall by including more completion rules;
A Protege Plug-in for the new TrOWL v1.3 is also released and available for download.