Thanks for the update first of all. This solution was considered. It works in the simple cases, but not for the complex embedded conditions. I am exploring custom built-ins to accomplish the logical OR.
Lorenz Buehmann <[email protected]> 于2023年1月13日周五 23:07写道： > You can emulate logical OR in the premise of the rule by just adding a > rule for each operand with the same conclusion > > (a b c) -> xxxx > > (d e f) -> xxxx > > > On 13.01.23 22:42, L B wrote: > > The Jena rule is composed like logical AND. > > > > (a b c) (d e f) -> xxxx > > > > I wonder if we could implement logical OR like below > > > > (a b c) | (a x w) -> xxx > > > > where either (a b c) or (a x w) are true, then the rule is triggered. I > > know we could split it into two rules, but consider the complex cases. > > > > ((a b c) | (a x w)) ((d e f) | (w y z)) -> xxxx > > > > I am searching for the best practice to do it. Tried to google but no > > luck. > > > > Any suggestions? > > > > Regards, > > DDD > > >
