Category:Reasoner

From semanticweb.org

A reasoner is a system for computing (logical) consequences from a given knowledge base. In the context of this wiki, reasoners are considered special kinds of Semantic Web tool.

A commented list of current description logic reasoners can be found at http://www.cs.man.ac.uk/~sattler/reasoners.html.

Latest releases

The following tools from that category have been released most recently. You can also subscribe to the RSS feed of tool releases to be notified of new releases.

• Pellet (Version 2.0 RC3, 13 November 2008)
• SHER (15 July 2008)
• AllegroGraph (Version v3.0, 19 May 2008)
• Owlgres (Version 0.1, 7 May 2008)
• Internet Business Logic (Version 1.0, 30 April 2008)