W3C home > Mailing lists > Public > public-ws-semann@w3.org > January 2007

Re: conditions using modelReference

From: Jacek Kopecky <jacek.kopecky@deri.org>
Date: Tue, 23 Jan 2007 10:22:36 +0100
To: Laurent Henocque <laurent.henocque@gmail.com>
Cc: Rama Akkiraju <akkiraju@us.ibm.com>, SAWSDL public list <public-ws-semann@w3.org>
Message-Id: <1169544156.19819.15.camel@localhost>

Hi Laurent,

why would the contents of model references be in UML? None of our
previous examples were so.

However, I myself am not sure whether the document URI
http://www.w3.org/2002/ws/sawsdl/spec/examples/rule/swrl.swrl would be
viewed as identifying a concept. Does SWRL allow giving names to rules?
If so, the name should be the thing that's referenced, not the document.

I have no idea about the valid syntax, but I'd imagine something like
this:

Rule "myCond" (
     Implies (Antecedent (
                      swrlb:substract (2 I-variable(deliveryDay) I-variable(orderDay))
                      I-variable(hour) swrlb:greaterThanOrEqual 7
                      I-variable(hour) swrlb:lessThanOrEqual 20
                      I-variable(continent) swrlb:equal (http://en.wikipedia.org/wiki/North_america)
                      I-variable(weight) swrlb:lessThanOrEqual 50
                    )
     Implies (Antecedent (
                      swrlb:substract (2 I-variable(deliveryDay) I-variable(orderDay))
                      I-variable(hour) swrlb:greaterThanOrEqual 7
                      I-variable(hour) swrlb:lessThanOrEqual 20
                      I-variable(continent) swrlb:equal (http://en.wikipedia.org/wiki/Europe)
                      I-variable(weight) swrlb:lessThanOrEqual 50
                    )
)


And the modelReference would be
http://www.w3.org/2002/ws/sawsdl/spec/examples/rule/swrl.swrl#myCond

Anyway, we could probably also say that a SWRL file represents a
semantic concept that is expressed as a set of rules, then the original
approach would work. Was this the idea?

Best regards,
Jacek

On Mon, 2007-01-22 at 17:36 +0100, Laurent Henocque wrote:
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA512
> 
> Hi Rama,
> thanks for this. I have two comments:
> 
> Isn't there a requirement to wrap the contents of any model reference in
>  uml? This is not the case with
> http://www.w3.org/2002/ws/sawsdl/spec/examples/rule/swrl.swrl
> 
> Also, I am a bit puzzled by the rather awkward "OK" statement. Shouldn't
> the following suffice as constraints:?
> 
> swrlb:substract (2 I-variable(deliveryDay) I-variable(orderDay))
>                       I-variable(hour) swrlb:greaterThanOrEqual 7
>                       I-variable(hour) swrlb:lessThanOrEqual 20
>                       I-variable(continent) swrlb:equal
> (http://en.wikipedia.org/wiki/North_america)
>                       I-variable(weight) swrlb:lessThanOrEqual 50
> 
> 
> 
> Rama Akkiraju a écrit :
> > All,
> > 
> > Brahmananda and I added a small example showing how to associate
> > constraints to a WSDL via modelreference construct in section 3.7 in the
> > editor's copy of the SAWSDL Usage guide
> > http://www.w3.org/2002/ws/sawsdl/spec/examples/overview.html. Constraints
> > are represented in SWRL (syntax is being verified). Please look it over and
> > give feedback.
> > 
> > Thanks.
> > 
> > Regards
> > 
Received on Tuesday, 23 January 2007 09:22:48 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 17 April 2012 12:14:27 GMT