- 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>
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