hi zhe,

for example, there is a rule about the relations between three qualitative intervals i, j, and k:
if interval i before j and j during k, then i before or overlaps or meets or during or starts k.
is there a way workaround to implement this rule? thanks a lot.

hong

hi zhe,

thank you for the helpful reply. however, it looks like an ad hoc solution. disjunctive rule heads will become more or longer if compositions involve more intervals in the rule body. in allen's interval algebra, there are so many such compositions. moreover, for disjunction, if one of element is evaluated to true, the whole disjunction will be evaluated to true. in such case, the solution above doesn't reflex this logic. thanks a lot.

hong

hi zhe,

i'll check it. thank you very much.

hong