- 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>
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 UTC