Re: Advancing translational research with the Semantic Web

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