If X is the parent of Y and X is brother of Z then Z is the uncle of Y Uncle definition Adrian Giurca Gerd Wagner Sergey Lukichev Uncle Rule REWERSE I1 Rules Markup Language 2006-04-06 The succesor of a natural number is a natural number Defining natural numbers Adrian Giurca Gerd Wagner Sergey Lukichev Successor Rule 2006-04-06 A customer is premium if their spending has been min 5000 euro in the previous year. premium customer spending customer min 5000 euro previous year ]]> Adrian Giurca Premium customer http://www.ruleml.org/papers/tutorial-ruleml-20050513.html 2006-04-05 The discount for a customer buying a product is 7.5 percent if the customer is premium and the product is luxury. discount customer product 7.5 percent premium customer luxury product ]]> RuleML example in R2ML Adrian Giurca Give discount http://www.ruleml.org/papers/tutorial-ruleml-20050513.html 2006-04-05 SQL View as derivation rule Adrian Giurca Gerd Wagner Sergey Lukichev SQL View Example 2006-04-07 If rental car is stored at the branch and it is not assigned to a rental and it is not scheduled for service, then rental car is available at the branch. select (c | not oclIsKindOf(RentalCarScheduledForService) and c.Rental --> isEmpty() ) ]]> Sergey Lukichev Gerd Wagner Adrian Giurca 2006-04-07 If a rental car has more than 90 days or more than 5000 km since the last service then rental car is a rental car scheduled for service. =90 or service_reading>5000 ]]> Sergey Lukichev Gerd Wagner 2006-03-30 If a (male) person is a husband (because he is maried to a female person) than he is a bachelor. Sergey Lukichev Gerd Wagner 2006-04-05 If the order value is greater than 1000 and the customer type is not gold then give a 10% discount. when { IlrContext() from ?context; evaluate(orderValue >=1000 and !(customerRating equals “Gold”)); } then discount = 10 Sergey Lukichev Gerd Wagner 2006-04-05 If the person age is less than 3 then send him a greeting. (printout "Hello, little one!" crlf)) ]]> Give a special greeting to young children Adrian Giurca Gerd Wagner Sergey Lukichev welcome-toddlers REWERSE I1 Rules Markup Language 2006-03-30 If reservation date of a rental is 5 days in advance then give rental a 10 % discount. Adrian Giurca Gerd Wagner 2006-04-05 If rental is not a one way rental then return branch of rental must be the same as pick-up branch of a rental. ]]> Sergey Lukichev Gerd Wagner Adrian Giurca 2006-03-30 Each additional driver of a rental must be a qualified driver ]]> Sergey Lukichev If customer returns a car and the car has more than 5000km from the last service then send the car to the service 5000 do service(car) ]]> Send a car to service Jens Dietrich Gerd Wagner Adrian Giurca SendCar REWERSE I1 Rules Markup Language 2006-04-05 On a car request, if the car is available then send approval and mark the ordered car as sold. Sergey Lukichev Adrian Giurca