TrOWL v1.4 Released

Posted in News on December 17th, 2013 by yuanren – Be the first to comment

TrOWL v1.4 and TrOWL Plug-in v1.4 for Protege are now available for download. The new version of TrOWL has fixed some bugs on some ontological patterns.

TrOWL v1.3 Released

Posted in Uncategorized on August 12th, 2013 by yuanren – Be the first to comment

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.

New TrOWL Tools Released

Posted in News on May 24th, 2013 by yuanren – Be the first to comment

New versions of TrOWL tools are now available to download. In this update, we have improved the recall of approximation and fixed a few bugs.

New TrOWL Plug-in for Protege 4.2

Posted in News on April 10th, 2013 by yuanren – Be the first to comment

A new version of the TrOWL plug-in for ontology editor Protégé 4.2 is now available for download. To use the TrOWL plug-in, you only need to unzip the downloaded file and put the jar file into the plugin folder of you Protege 4.2. Start Protégé and you can find TrOWL in the Reasoner menu.

OWL-DBC v1.1 Released

Posted in News on February 4th, 2013 by yuanren – Be the first to comment

We are glad to announce the release of OWL-DBC v1.1, a new set of JAVA APIs that help TrOWL users to connect to the native inference capabilities of Oracle Spatial and Graph. OWL-DBC combines the TrOWL reasoning infrastructure with the scalable Oracle Spatial and Graph, on the one hand, allowing TrOWL to handle extreme large data sets and, on the other hand, enhancing Oracle Spatial and Graph’s support to complex OWL 2 ontologies. You can download OWL-DBC here.

TrOWL v1.1 Released

Posted in News on February 4th, 2013 by yuanren – Be the first to comment

TrOWL v1.1 is now available for download. Besides numerous bug fixes, this version includes the following major updates:

  • significant improvement of reasoning performance and scalability, especially on ABox materialisation. A benchmark and an evaluation report are coming soon;
  • updated support of the new TrOWL-BGP v1.1 release, which is also available for download;
  • support of the new OWL-DBC v1.1 release.

TrOWL v1.0 Released

Posted in News on September 17th, 2012 by yuanren – Be the first to comment

TrOWL v1.0 is now available for download. It provides SPARQL conjunctive query answering service via TrOWL-BGP, an adapted version of the OWL-BGP API.

SPARQL is the W3C recommendation for query answering in the Semantic Web. TrOWL v1.0 treats SPARQL variables as distinguished variables that can be evaluated as individuals. TrOWL v1.0 supports the usual TrOWL API and the TrOWL-BGP API. The usual TrOWL API can be used alone in a same way as previous TrOWL releases. To support SPARQL query answering, both TrOWL and TrOWL-BGP are needed.

TrOWL v0.9 Released

Posted in News on May 23rd, 2012 by yuanren – Be the first to comment

TrOWL v0.9 provides stream reasoning services using truth maintenance systems and is available for download.

Stream reasoning is very useful for situations where ontologies are subject to change. The current version supports complete TBox stream reasoning of EL+ and approximate ABox stream reasoning of SHIQ. Reasoning is soundness-guaranteed and tractable as always. Additionally, an approximate justification is also maintained for each inference result. Retrieval of such jsutifications can be performed directly without further computation.

TrOWL v0.8 Released

Posted in News on August 18th, 2011 by jeffpan – 2 Comments

TrOWL v0.8 provides new optimisations for the Jena API. It provides better support for Jena, Joseki and TDB, as well as Semantic MediaWiki.

TrOWL v0.7 Released

Posted in News on March 22nd, 2011 by jeffpan – 1 Comment

TrOWL v0.7 supports local closed world reasoning with NBox (Negation As Failure Box). Full negation in front of NBox classes functions as Negation as Failure.

You can now also use TrOWL with Jena, Joseki and TDB, as well as Semantic MediaWiki.