Re: OWL Inference Engines

Hi Somaya --

You asked about inference engines that work over OWL.

The following engine stretches the definition of OWL a bit, but has other 
advantages, such as human-readable rules and a decidable but powerful 
inference method backed by a journal publication.

The engine is live, online, at the site below with a number of examples 
that you can view, run and change, using a browser.  You can also use a 
browser to write and run your own examples.

In case you prefer to simply view some rule sets directly without running 
them, you could start by looking at:

   http://www.reengineeringllc.com/demo_agents/Wine1.agent

   http://www.reengineeringllc.com/demo_agents/RDFQueryLangComparison1.agent

   http://www.reengineeringllc.com/demo_agents/FeaReferenceModelOntology1.agent

   http://www.reengineeringllc.com/demo_agents/OntologyInterop2.agent

Some background about the approach is in the paper

   http://www.w3.org/2004/12/rules-ws/paper/19/

and section 3 describes some of the online examples.

HTH,                    -- Adrian



INTERNET BUSINESS LOGIC (R)
www.reengineeringllc.com

Adrian Walker
Reengineering LLC
PO Box 1412
Bristol
CT 06011-1412 USA

Phone: USA 860 583 9677
Cell:    USA  860 830 2085
Fax:    USA  860 314 1029

Received on Sunday, 22 May 2005 17:05:27 UTC