[Pellet-users] SWRL rules with conjunctive consequents

[Somaya Aboulwafa]

Hello everyone,

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

On the SWRL w3c submission website [1], it is stated that : "Both the
antecedent (body) and consequent (head) consist of zero or more atoms.
Multiple atoms are treated as a conjunction. Note that rules with
conjunctive consequents could easily be transformed (via the Lloyd-Topor
transformations [Lloyd87] into multiple rules each with an atomic consequent

[1] http://www.w3.org/Submission/SWRL/
 [Lloyd87] Foundations of logic programming (second, extended edition). J.
W. Lloyd. Springer series in symbolic computation. Springer-Verlag, New
York, 1987. Regards,
Somaya
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080506/1be85811/attachment.htm