W3C home > Mailing lists > Public > semantic-web@w3.org > February 2006

Rules & Lloyd - Topor transformation

From: Matt Williams <matthew.williams@cancer.org.uk>
Date: Wed, 08 Feb 2006 15:18:53 +0000
To: Jena Dev <jena-dev@yahoogroups.com>, Semantic Web <semantic-web@w3.org>
Message-Id: <1139411932.2938.22.camel@dhcp0320.acl.icnet.uk>

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
(http://www.daml.org/services/swsf/1.0/swsl/#swsl-rules-horn 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
strangely?

Thanks,
Matt

-- 
Dr. M. Williams MRCP(UK)
Clinical Research Fellow
Cancer Research UK
+44 (0)207 269 2953
+44 (0)7834 899570
http://acl.icnet.uk/~mw
http://adhominem.blogspot.com
Received on Wednesday, 8 February 2006 16:13:22 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 1 March 2016 07:41:49 UTC