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


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

This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:55 UTC