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 RC6, 30 April 2009)
• FaCT++ (Version 1.2.3, 5 March 2009)
• CEL (Version 1.0 Build 8, 5 February 2009)
• HermiT (Version 0.9.3, 12 December 2008)
• SHER (15 July 2008)