Reasoning and inference tools - Revision history

I Howley at 17:40, 15 September 2006

2006-09-15T17:40:10Z

2006-09-15T17:34:08Z

2006-09-15T17:32:44Z

See also

2006-09-15T17:25:30Z

See also

2006-09-15T17:20:18Z

See also

2006-09-15T17:18:51Z

See also

2006-09-14T19:08:52Z

See also

2006-09-14T18:51:11Z

2006-09-14T17:46:22Z

2006-09-14T17:45:40Z

← Older revision		Revision as of 17:40, 15 September 2006
Line 1:		Line 1:
		+	[[Category:Semantic Web]]
	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.		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.

@@ Line 14: / Line 14: @@
 ==See also==
-* [[FaCT |FaCT Description Logic Reasoner]]
+[[FaCT |FaCT Description Logic Reasoner]]
-* [[Jena |Jena Java Rule-Based Inference System]]
-* [[Kaon2 |Kaon2 Inference Engine]] (Closed-Source)
+[[Jena |Jena Java Rule-Based Inference System]]
-* [[Otter |Otter Automated Deduction System]]
-* [[OWLJessKB |OWLJessKB Semantic Web Reasoning Tool]]
+[[Kaon2 |Kaon2 Inference Engine]] (Closed-Source)
-* [[Pellet |Pellet OWL Reasoner]]
-* [[RacerPro |RacerPro OWL Reasoner]] (Closed-Source)
+[[Otter |Otter Automated Deduction System]]
-* [[SWRL |SWRL (Semantic Web Rule Language)]]
 ==References==

@@ Line 22: / Line 22: @@
 * [[RacerPro |RacerPro OWL Reasoner]] (Closed-Source)
 * [[SWRL |SWRL (Semantic Web Rule Language)]]
 ==References==

@@ Line 18: / Line 18: @@
 * [[Kaon2 |Kaon2 Inference Engine]] (Closed-Source)
 * [[Otter |Otter Automated Deduction System]]
 * [[OWLJessKB |OWLJessKB Semantic Web Reasoning Tool]]
 * [[Pellet |Pellet OWL Reasoner]]
 * [[RacerPro |RacerPro OWL Reasoner]] (Closed-Source)

@@ Line 17: / Line 17: @@
 * [[Jena |Jena Java Rule-Based Inference System]]
 * [[Kaon2 |Kaon2 Inference Engine]] (Closed-Source)
 * [[Otter |Otter Automated Deduction System]]
 ** [http://www-unix.mcs.anl.gov/AR/otter/ Official Site]

@@ Line 27: / Line 27: @@
 ** [http://www.daml.org/2003/11/swrl/ Official Site]
 * [http://sourceforge.net/projects/dig DIG interface]
 * [http://jena.sourceforge.net/how-to/dig-reasoner.html How To Use Jena with DIG Reasoners]

@@ Line 14: / Line 14: @@
 ==See also==
-* FaCT Description Logic Reasoner
+* [[FaCT |FaCT Description Logic Reasoner]]
-** [http://www.cs.man.ac.uk/~horrocks/FaCT/ Official Site]
+* [[Jena |Jena Java Rule-Based Inference System]]
-* Jena Java Rule-Based Inference System
-** [http://jena.sourceforge.net/ Official Site]
 * Kaon2 Inference Engine (Closed-Source)
 ** [http://kaon2.semanticweb.org/ Official Site]
@@ Line 24: / Line 22: @@
 * OWLJessKB Semantic Web Reasoning Tool
 ** [http://edge.cs.drexel.edu/assemblies/software/owljesskb/ Official Site]
-* Pellet OWL Reasoner
+* [[Pellet |Pellet OWL Reasoner]]
-** [http://www.mindswap.org/2003/pellet/index.shtml Official Site]
+* [[RacerPro |RacerPro OWL Reasoner]] (Closed-Source)
-* RacerPro OWL Reasoner (Closed-Source)
-** [http://www.racer-systems.com/) Official Site]
 * SWRL (Semantic Web Rule Language)
 ** [http://www.daml.org/2003/11/swrl/ Official Site]

@@ Line 9: / Line 9: @@
 At the moment, a computer would not be able to infer from the above code that a <tt>SnakeRobot</tt> is a ''sub-class'' of <tt>Robot</tt>. 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 disadvantages.
-Many applications for the Semantic Web, such as [[Protege |protégé]] and [[Jena]], are able to use an interface to connect with a DIG reasoner for more efficiently handling large, complex ontologies. These available DIG reasoners include [[Pellet]], [[FaCT]], and [[RacerPro]].
+Many applications for the Semantic Web, such as [[Protege |protégé]] and [[Jena]], are able to use an interface to connect with a [http://sourceforge.net/projects/dig DIG] reasoner for more efficiently handling large, complex ontologies. These available DIG reasoners include [[Pellet]], [[FaCT]], and [[RacerPro]].
 Many of the described tools below may be found on other lists, such as [http://www.w3.org/2001/sw/WebOnt/impls W3C's OWL Implementations] and [http://www.daml.org/tools/ DAML Tools]. Feel free to wade through these listings as well. Additionally, [http://semwebcentral.org/ SemWebCentral] has a collection of open source tools for the Semantic Web.