Re: the precondition property in OWL-S 1.0

Monika wrote

> David wrote:
>
> > I also agree, except note that there are 2 proposals "on the table":
> >
> > I think Monika suggested this:
> >
> >     Process - hasPrecondition - Precondition
> > where Precondition is a subclass of Condition
> >
> > whereas Drew seems to be suggesting this:
> >
> >     Process - hasPrecondition - Condition
> >
> > (with no Precondition class anywhere).
>
> I think we should retain the Precondition class and the hasPrecondition
> property. This is because, although Precondition is effectively a
> Condition, however it is a "special" kind of Condition. In the process
> model, Condition is a general thing, which  is also  used for
> Conditional Effects and Conditional Outputs.


I agree. We may want to syntactically restrict the types of preconditions
we have.  This affords us that flexibility.

Sheila

Received on Sunday, 9 November 2003 11:34:15 UTC