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

[Serguei Krivov]

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:

http://www.daml.org/2003/11/swrl/

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
http://www.daml.org/2003/11/swrl/examples.html
 



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

 

 



Implies(Antecedent(Artist(I-variable(x)) 
                  (restriction(artistStyle
maxCardinality(1)))(I-variable(x))
                  Style(I-variable(y))
                  creator(I-variable(z) I-variable(x)))
        Consequent((restriction(style/period
maxCardinality(1)))(I-variable(z))))
 
 
Hope that this was entertaining,
Serguei

 

 

 

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