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.
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 is now available for download. Besides numerous bug fixes, this version includes the following major updates:
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 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 provides new optimisations for the Jena API. It provides better support for Jena, Joseki and TDB, as well as Semantic MediaWiki.
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.
The first release of TrOWL to support OWLAPI 3.2 is now available for download. This version includes a new release of the REL reasoner, giving better performance and better coverage of corner case ontologies. Please note that as of TrOWL v0.6.x, support for OWLAPI 2.x has been dropped. We will continue to maintain version 0.5.x for legacy users, this will continue to be available on the download page for the foreseeable future.
A version of TrOWL tailored to Protege 4.1 beta has been released. You can download it from here. To install it, just copy it into the plugins folder in your Protege 4.1 installation. If you are using Protege on an Apple, you should right click on the application icon and select “Show contents”, you should be able to find the plugins folder in here.
A full release of TrOWL (version 0.6.0) supporting OWLAPI 3.1 will be released soon.
It now supports both OWL APIv2 and OWL APIv3.
