Re: conditions using modelReference

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

ooops - sorry. I misspelled "xml", and wrote "uml" instead.

according to our terminology, concepts need not have "names", so I guess
the proposed swrl is a potential model reference candidate.

my remark about the "ok" (or later "true") thing is that the rule "A
implies true" is a tautology (always valid). In contrast, we need to
enforce "A". So yes, I agree with what you wrote below, except that we
don't need the "Antecedent" keyword, unless SWRL does not allow this,
which I have not checked. If so, we need something like "true implies A"
instead of the tautology "A implies true".
Regards,

Laurent

Jacek Kopecky a écrit :
> 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
>>>
> 
> 
> 

- --
*************************************************************************
Laurent Henocque
Maître de Conférences Hdr / Associate Professor
Ecole Supérieure d'Ingénieurs de Luminy - Marseille
Laboratoire des Sciences de l'Information et des Systèmes - Marseille
tel: +33 6 83 88 20 01
http://laurent.henocque.free.fr
http://laurent.henocque.perso.esil.univmed.fr
http://www.lsis.org/~laurent_henocque.html

Clé publique open pgp / open pgp public key:
http://laurent.henocque.free.fr/0x987E183.pub.asc
************************************************************************
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.5 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFFtdiZIF1tz5h+GDARCiLGAJ4hNj0nbUou7PiEvPOt7Tm/ApG66wCfcPUK
cQNTjhhN1cvaV+NioErBEk0=
=DH17
-----END PGP SIGNATURE-----

Received on Tuesday, 23 January 2007 09:43:10 UTC