Jump to: navigation, search

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

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.

Pages in category "Reasoner"

The following 24 pages are in this category, out of 24 total.