Re: SWRL variables declared inline in OWL-S

John -

Thanks for pointing this out.

You are right: it is possible to define aBook as a ResultVar in this 
example.  There is no advantage to declaring it inline (but no harm 
either, in this case, since aBook is only mentioned in the condition 
itself, and not in outputs or effects).  Actually, since using ResultVar 
makes things somewhat more clear to the human reader, I think that 
should be considered the preferred approach.

Regards,
David Martin

John T.E. Timm wrote:
> In the OWL-S CongoBuy example there are SWRL variables which are defined in 
> the argument of a SWRL expression used as an inCondition for a particular 
> result as follows (see variable aBook):
> 
> <swrl:AtomList>
>   <rdf:first>
>     <swrl:DatavaluedPropertyAtom>
>       <swrl:propertyPredicate rdf:resource="&profileHierarchy;#title"/>
>       <swrl:argument1>
>         <swrl:Variable rdf:ID="aBook"/>
>       </swrl:argument1>
>       <swrl:argument2 rdf:resource="#FullCongoBuyBookName"/>
>     </swrl:DatavaluedPropertyAtom>
>   </rdf:first>
>   <rdf:rest>
>     <swrl:AtomList>
>       <rdf:first>
>         <swrl:ClassAtom>
>           <swrl:classPredicate rdf:resource="#OutOfStockBook"/>
>           <swrl:argument1 rdf:resource="#aBook"/>
>         </swrl:ClassAtom>
>       </rdf:first>
>       <rdf:rest rdf:resource="&rdf;#nil"/>
>     </swrl:AtomList>
>   </rdf:rest>
> </swrl:AtomList>
> 
> Is it possible to define this variable as a ResultVar?
> 
> <process:hasResultVar>
>   <process:ResultVar rdf:ID="aBook">
>     <process:parameterType 
> rdf:datatype="&xsd;#anyURI">&profileHierarchy;#Book</process:parameterType>
>   </process:ResultVar>
> </process:hasResultVar>
> 
> What is the advantage of declaring the variable inline?  Aren't ResultVar(s) 
> for those variables which are bound to an inCondition as per the spec?
> 
> Thanks,
> 
> John T.E. Timm
> Ph.D. Student
> Department of Computer Science and Engineering
> Arizona State University
> area51@asu.edu
> http://www.public.asu.edu/~area51
>

Received on Tuesday, 5 September 2006 05:54:06 UTC