\section{Pellet}
Pellet \cite{pellet} is an OWL-DL reasoner, written to show that a sound and complete OWL-DL reasoner can be written with decent preformance. It achieves its goals using tableux based algorithms, in particular based on \cite{sroiq}. Pellet has grown to include support for SWRL and SPARQL queries.

The tableaux algorithms have driven the development of Pellet, which has in turn driven forward the OWL-DL standard. The sorts of queries one can ask it is defined by the OWL-DL datamodel it has. Cwm, by contrast, models RDF as RDF. To build a reasoner as complete as Pellet into Cwm would be difficult. On the other hand, it can do things that are not legal in OWL-DL.

Pellet's reasoner is complete enough to be able to do even the most difficult parts of the OWL-DL standard. For instance, they implemented a sudoku \cite{sudoku} ontology, which given that and a sudoku puzzle, pellet will solve the puzzle \footnote{really slowly. A SAT solver like minisat can solve a sudoku puzzle in a tiny fraction of the time it takes Pellet}
