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 a special kind 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.
- Quest (Version 1.7 17 April 2012)
- HermiT (Version 1.3.6 23 February 2012)
- AllegroGraph (Version 4.4.0.1 12 January 2012)
- FaCT++ (Version 1.5.3 7 December 2011)
- OWLIM (Version 4.3 4 November 2011)
Pages in category "Reasoner"
The following 23 pages are in this category, out of 23 total.
ABCEFH |
H cont.IKO |
PQRS |
