W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2005

Re: OWL Inference Engines

From: Adrian Walker <adrianw@snet.net>
Date: Sun, 22 May 2005 13:05:08 -0400
Message-Id: <5.0.2.1.2.20050522125503.034983b0@pop.snet.net>
To: Somaya Aboulwafa <somaya_ahmad@yahoo.com>
Cc: public-owl-dev@w3.org

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 GMT

This archive was generated by hypermail 2.3.1 : Wednesday, 27 March 2013 09:32:53 GMT