- From: Vincent, Paul D <PaulVincent@fairisaac.com>
- Date: Fri, 3 Mar 2006 09:49:40 -0800
- 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 UTC