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.
Does it make sense for your application to define a qualitative temporal relationship as follows?
:I :Before_or_Overlaps_or_Meets_or_During_or_Starts :K
I have seen some research using this kind of temporal modeling.
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.
There are research about maximal tractable subset of Allen relations. The following article may be useful to your application.
Maximal Tractable Fragments of the Region Connection Calculus: A Complete Analysis (1999), J. Renz.