SHER
From semanticweb.org
| SHER | |
|---|---|
| www.alphaworks.ibm.com/tech/sher | |
| Status: | unknown |
| Last release: | (July 15 2008) |
| Affiliation: | IBM |
SHER is a reasoner which uses Pellet internally and enhances upon it. In particular, it can be set to trade completeness of reasoning for improved efficiency.
