- From: Laurent Henocque <laurent.henocque@gmail.com>
- Date: Tue, 23 Jan 2007 10:42:50 +0100
- To: Jacek Kopecky <jacek.kopecky@deri.org>
- CC: Rama Akkiraju <akkiraju@us.ibm.com>, SAWSDL public list <public-ws-semann@w3.org>
-----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