W3C home > Mailing lists > Public > public-rif-wg@w3.org > March 2006

RE: exchanging OWL through RIF

From: Vincent, Paul D <PaulVincent@fairisaac.com>
Date: Fri, 3 Mar 2006 09:49:40 -0800
Message-ID: <B3636F07C8359844A9A2370C5EA08CCBD07217@SRFMSGMB00.corp.fairisaac.com>
To: <bparsia@isr.umd.edu>, "RIF WG" <public-rif-wg@w3.org>

At the very least this (Hoolet) is a "reasoning engine", determining (new logical) associations from (prior ontological, FOL?) statements.

The Rete-type of rule engine is more of a "decisioning engine" and expects to work against data. Sure, that data could be association information, but typically it is not the "is my brothers wife's brother my relative" type query (/rule).

I am still trying to work out how these worlds join (in a practical, useful way)...  

Paul Vincent
Fair Isaac Blaze Advisor --- Business Rule Management
OMG Standards for Business Rules, PRR & BPMI
mobile: +44 (0)781 493 7229 ... office: +44 (0)20 7871 7229 


-----Original Message-----
From: public-rif-wg-request@w3.org [mailto:public-rif-wg-request@w3.org] On Behalf Of Bijan Parsia
Sent: Friday, March 03, 2006 5:26 PM
To: RIF WG
Subject: Re: exchanging OWL through RIF 


[snip]
>2. There are no FOL rule engines as far as I know. They currently exist on
>   paper only. It is not at all certain that there will be. So, what is your
>   target user group?
>
>	--michael  

Does Hoolet count? (For swrl):
     http://owl.man.ac.uk/hoolet/

We are currently working on extending Pellet to handle DL Safe rules and then 
SWRL. It will be a "native" SWRL engine and respect the FOL semantics. Various 
sorts of optimizations are planned.

Cheers,
Bijan.
Received on Friday, 3 March 2006 17:50:10 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:27 GMT