[Pellet-users] SWRL rules with conjunctive consequents

Michael Smith msmith at clarkparsia.com
Wed Jun 11 10:46:00 UTC 2008


On Tue, 2008-05-06 at 11:48 +0300, Somaya Aboulwafa wrote:

> Does anyone know whether Pellet can process SWRL rules rules with
> conjunctive consequents or not?

Yes.  Further and consistent with the statement you cited, any rule
added to a Pellet KB with multiple atoms in the consequent will be
transformed into multiple rules, each with a single consequent.  This
transformation is performed in the loader and requires no user action.

-- 
Mike Smith

Clark & Parsia



More information about the Pellet-users mailing list