|  MT wrote
|
|  How can I correctly express the following rule in SWRL?
|
|  StanfordClass87(?person) => LivingEvent(?e)  ^  who(?e, ?person)  ^  where(?e, California)  ^  when(?e,1987)
|
|  In English: If a person belongs to the Stanford class of 87 then that person was living in California in 1987.
|
|  The problem with the above rule is that variable ?e is not allowed to be in the consequent of the rule
|  because it doesn nott occur in the antecedent.
|
|  IBL wrote :  Here's one way to do this in the Internet Business Logic notation.  
|               Perhaps the same method would work for SWRL.
|
|  You can view, run and change this example by pointing a browser to reengineeringllc.com and 
|  selecting Stanford1987



some-person is in the Stanford class of 87
there is a skolem constant some-e
add : that-e is a living event
add : that-e is associated with that-person
add : that-e happened in the state of California
add : that-e happened in the year 1987
----------------------------------------------------------------
conclude that that-person lived in CA in 1987 and add the details


some-person is in the Stanford class of 87
some-e is associated with that-person
del : that-e is a living event
del : that-e is associated with that-person
del : that-e happened in the state of California
del : that-e happened in the year 1987
---------------------------------------------------------
remove the details about the event that-e for that-person


this-person is in the Stanford class of 87
==========================================
  Larry Ellison


there is a skolem constant this-e
=================================
                            e1


this-person is in the Stanford class of 87
===========================================



this-e is a living event 
=========================



this-e is associated with this-person 
======================================



this-e happened in the state of California 
===========================================



this-e happened in the year 1987 
=================================