[seek-kr-sms] Semantic Web Rule Language and GrOWL

Serguei Krivov Serguei.Krivov at uvm.edu
Sat Apr 23 07:17:29 PDT 2005

I have heared that RACER based extension to SWRL is coming out in near
future, which perhaps render some practical value to SWRL.  I have looked
carefuly at resent SWRL proposal:


All SWRL rules are conjunctive and have form antecedent => consequent, where
both antecedent and consequent are conjunctions of atoms  of the form x:C or
(x,y):R, where C is class description, R is role name, x, y are either
variable or individual names.

In this case GrOWL -Query could be accurately extended to GrSWRL without
adding any new symbols for operators. Here are the first and the last rule
examples from RSWL proposal, given at

Implies(Antecedent(hasParent(I-variable(x1) I-variable(x2))
                  hasBrother(I-variable(x2) I-variable(x3)))
        Consequent(hasUncle(I-variable(x1) I-variable(x3))))



                  creator(I-variable(z) I-variable(x)))
Hope that this was entertaining,




-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-kr-sms/attachments/20050423/1019ebaf/attachment-0001.htm
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/jpeg
Size: 9025 bytes
Desc: not available
Url : http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-kr-sms/attachments/20050423/1019ebaf/attachment-0002.jpg
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/jpeg
Size: 7828 bytes
Desc: not available
Url : http://mercury.nceas.ucsb.edu/ecoinformatics/pipermail/seek-kr-sms/attachments/20050423/1019ebaf/attachment-0003.jpg

More information about the Seek-kr-sms mailing list