Rules & Lloyd - Topor transformation

Dear All,

I have been wondering for a while why all the OWL/Rule papers only allow
one atom in the head of the rule. Then I cam across the Lloyd - Topor
transformation in the SWRL and SWSO documents
( Secn 2.4)

According to my reading of this, it means we can decompose any rule with
conjunctions in the head into several rules:

a(x) -> b(x) & c(x)   into:
a(x) -> b(x)
a(x) -> c(x)

Does anyone know of any cases where this _doesn't_ work/ behaves


Dr. M. Williams MRCP(UK)
Clinical Research Fellow
Cancer Research UK
+44 (0)207 269 2953
+44 (0)7834 899570

Received on Wednesday, 8 February 2006 16:13:22 UTC