On May 22, 2007, at 12:01 AM, Pat Hayes wrote:
To encode the temporal structure in OWL takes a little care, but this particular case has been worked out already, and can be handled uniformly in all the cases where it arises. It needs to be handled specially in any case if OWL reasoning is intended to mirror the special temporal inferences which arise from the continuant/occurrent framework. In particular, it would be a mistake to treat a binary fluent as though it were merely a 3-place relation.
Do you think you could point us at where this has been worked out, or simply lay it out? It would be very helpful for me to know what has been done, and which temporal inferences can be handled.
Thanks, Alan
