[Reaction-tg] reaction rules

[Peng Yue]

Hi,

  I am trying to understand some issues related RuleML and SWRL. Some 
questions exist:

1. Could reaction rules be represented in the SWRL? I thought the customized 
execution detail related to action can be wrapped as an extended procedural 
call so this transformation can be finished? Do you have any comment on 
this? Is there any resource or examples discussing representing the 
different categories of rules in RuleML using SWRL? Or this question is just 
a misunderstanding of RuleML and SWRL.

2. considering the following example from (Gerd Wagner: RuleML, SWRL and 
REWERSE: Towards a General Web Rule Language Framework. 
http://www.sigsemis.org/articles/copy_of_index_html ):
¡°A car is available for rental if it is not assigned to any rental contract 
and does not require service¡±
<imp>
      <_head>
            <atom>
                  <_opr>isAvailable</_opr>
                  <var>Car</var>
            </atom>
      </_head>
      <_body>
            <atom>
                  <_opr>RentalCar</_opr>
                  <var>Car</var>
            </atom>
            <naf>
                  <atom>
                        <_opr>requiresService</_opr>
                        <var>Car</var>
                  </atom>
            </naf>
            <naf>
                  <atom>
                  <_opr>isAssignedToRentalContract</_opr>
                  <var>Car</var>
                  </atom>
            </naf>
      </_body>
</imp>
Couldn¡¯t this rule really be encoded using SWRL as Gerd said? Why those 
relations can¡¯t be represented as appropriate properties so SWRL can be 
used?

3."The semantics of SWRL is a straightforward extension of the first-oder 
model-theoretic semantics of OWL DL. Since, like RDF and OWL, SWRL is based 
on classical 2-valued logic, it cannot deal with partial information and 
with closed predicates."(Gerd Wagner: RuleML, SWRL and REWERSE: Towards a 
General Web Rule Language Framework. 
http://www.sigsemis.org/articles/copy_of_index_html )
Could someone give some more explanation or better examples on this?

  Could someone explain please or point some directions?

  thanks

Peng

_________________________________________________________________
Express yourself instantly with MSN Messenger! Download today - it's FREE! 
http://messenger.msn.click-url.com/go/onm00200471ave/direct/01/