as far as i know, disjunctive rule head is not permitted in inference rules. is there any way workaround to implement the disjunctive rule heads even a simple one for reasoning over ontology? thanks a lot in advance.
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.
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.