Reasoning and inference tools

From GICL Wiki
Revision as of 16:09, 21 August 2006 by I Howley (Talk | contribs)

Jump to: navigation, search

Logic and proof are two key elements in the Semantic Web. While Semantic Web languages such as OWL may define sub-class relationships between two classes, without a logic engine this statement is meaningless to a machine.

For example, we could create a fragment of OWL code like this:

   <owl:Class rdf:ID="SnakeRobot">
       <rdfs:subClassOf rdf:resource="#Robot" />

At the moment, a computer would not be able to infer from the above code that a snakeRobot is a sub-class of Robot. The machine needs something else to interpret the OWL code and make the inference. There currently is not a single widely accepted effort to produce such an inference engine. Instead, there is a large variety of reasoning and inference tools to choose from, each with a different assortment of benefits and disavantages.

Many of the described tools below may be found on other lists, such as W3C's OWL Implementations and DAML Tools. Feel free to wade through these listings as well. Additionally, SemWebCentral has a collection of open source tools for the semantic web.

Order according to alphabet? preference? groupings?

See also