- From: David Martin <martin@AI.SRI.COM>
- Date: Tue, 30 Mar 2004 23:54:30 -0800
- To: public-sws-ig <public-sws-ig@w3.org>
Here's a simple example with an effect expression, which is consistent with our recent discussions. But there are several issues listed below. I'd appreciate comments on those. (Drew, Mark, Bijan, your attention is particularly solicited.) Note: the effect assumes the existence of an "arithmetic" ontology defining "Pair" (a class) and "sum" (a property), 2 basic concepts of arithmetic. The idea here is to define the effect of AtomicProcess "Add", in terms of these basic concepts. (That is, the effect simply says that the output is the sum of the 2 input values.) Note: As mentioned in Bijan's recent message, each input and output is a SWRL variable (because Input and Output are subclasses of swrl:Variable). <process:AtomicProcess rdf:id="Add"> <process:hasInput> <Input rdf:id="Add_In1"> <parameterType rdf:datatype= "&xsd;anyURI">xsd:float</parameterType> </Input> <process:hasInput rdf:id="Add_In2"> <Input> <parameterType rdf:datatype= "&xsd;anyURI">xsd:float</parameterType> </Input> </process:hasInput> <process:hasOutput> <Output rdf:id="Add_Out"> <parameterType rdf:datatype= "&xsd;anyURI">xsd:float</parameterType> </Output> </process:hasOutput> <process:hasEffect> <???:Formula> <???:inLanguage rdf:datatype= "&xsd;anyURI">...swrl...</???:inLanguage> <???:conjuncts rdf:parseType="Collection"> <swrl:datavaluedPropertyAtom> <swrl:propertyPredicate rdf:resource="&arithmetic;sum"/> <swrl:argument1> <arithmetic:Pair> <first rdf:resource="#Add_In1"> <second rdf:resource="#Add_In2"> </arithmetic:Pair> </swrl:argument1> <swrl:argument2 rdf:resource="#Add_Out"/> </swrl:datavaluedPropertyAtom> </???:conjuncts> </???:Formula> </process:hasEffect> </process:AtomicProcess> (1) Are we happy with having a Formula class, with properties "inLanguage" and "conjuncts"? If so, is it defined in DRS' namespace, or where? Should a value of inLanguage be a URI? (2) Does the formula content need to be a literal, as we have discussed? If so, how is that done? With parsetype=Literal? But then I'm not clear about where (on what property) to put that. (3) hasEffect is a simplification, with respect to OWL-S 1.0. That is, in 1.0, the value of hasEffect should be an instance of ConditionalEffect, whereas here it's value is an instance of ???:Formula. Do we want to allow for a simplification like this? Thanks, David
Received on Wednesday, 31 March 2004 02:58:55 UTC