TrOWL

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.