You can now get TrOWL’s initial public release from our download page. More documentation and an extended guide for TrOWL will be published soon as part of this public release. Please contact us if you have any problems or comments.
TrOWL is a Tractable reasoning infrastructure for OWL 2. TrOWL supports both standard TBox and ABox reasoning, as well as conjunctive query answering. Download TrOWL now and check how to get started.
The approach of TrOWL is to offer tractable support for all the expressive power of OWL2 by using quality guaranteed (in terms of soundness and/or completeness) language transformations. In particular, TrOWL utilises a semantic approximation to transform OWL2-DL ontologies into OWL2-QL for conjunctive query answering and a syntactic approximation from OWL2-DL to OWL2-EL for TBox and ABox reasoning. In addition, TrOWL contains an OWL2 profile checker to detect which profile an ontology may already fit into, and it also allows the use of plug-in heavyweight reasoners, such as Fact++, Pellet, HermiT and Racer.
The countdown towards a public release is now under way. Internal testing on the MOST project has gone very well, and so we will have a public download ahead of WWW2010 at the end of April. If you would like to be informed when it becomes available, please drop Edward Thomas an email, at e.thomas@abdn.ac.uk.