the precondition property in OWL-S 1.0

Currently in the 1.0 version of the process model, we have the following

  <owl:Class rdf:ID="Precondition" />
- <owl:ObjectProperty rdf:ID="preCondition">
  <rdfs:domain rdf:resource="#Precondition" />
  <rdfs:range rdf:resource="#Condition" />
  </owl:ObjectProperty>

Where, Condition is defined as,

- <owl:Class rdf:ID="Condition">
  <rdfs:comment>This is a "place-holder" for now, which awaits further 
work from the DAML/OWL community. An instance of Condition is a logical 
formula that evaluates to true or false. Eventually we expect this to be 
defined elsewhere, as part of a OWL extension allowing for logical 
expressions.</rdfs:comment>
  </owl:Class>

Somehow I am not able to grasp the utility of the property 
"preCondition".  Since in this model, we have IOPEs as Classes, 
therefore I believe all we need to do is make Precondition a subclass of 
Condition.

 <owl:Class rdf:ID="PreCondition">
  <rdfs:subClassOf rdf:resource="#Condition" />
  </owl:Class>

The property preCondition, introduces redundancy as it is ranging over 
the class "Condition" anyways.

Feedback appreciated in case I missed something.

-Monika


-- 
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**
Monika Solanki
Software Technology Research Laboratory(STRL)
De Montfort University
Hawthorn building, H00.18
The Gateway
Leicester LE1 9BH, UK

phone: +44 (0)116 250 6170 intern: 6170
email: monika@dmu.ac.uk
web: http://www.cse.dmu.ac.uk/~monika
**>><<**>><<**>><<**>><<**>><<**>><<**>><<**

Received on Wednesday, 5 November 2003 12:01:56 UTC