Translator
: R2ML to text visualization
for R2ML version 0.4
With this web Visualizator we give you the ability to test your R2ML markup and generate
textual visualization
.
Contact:
Adrian Giurca
,
Marco Pehla
and Jens Werner (jens.werner {at} tu-cottbus.de)
The text area below contains a sample R2ML-rulebaseset.
In order to visualize this rule baseset, click "visualize" button.
Form
Visualize
<?xml version="1.0" encoding="UTF-8"?> <!-- This example file is based on the Version 0.3 of R2ML --> <r2ml:RuleBase xmlns:r2ml="http://www.rewerse.net/I1/2006/R2ML" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xs="http://www.w3.org/2001/XMLSchema" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.rewerse.net/I1/2006/R2ML http://oxygen.informatik.tu-cottbus.de/R2ML/0.4/R2ML.xsd" xmlns:examples="http://oxygen.informatik.tu-cottbus.de/R2ML/0.3/"> <r2ml:DerivationRuleSet> <r2ml:DerivationRule r2ml:ruleID="DR001"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain">If X is the parent of Y and X is brother of Z then Z is the uncle of Y</r2ml:RuleText> <r2ml:SourceCode r2ml:language="Prolog">uncle(Z,Y):-parent(X,Y),brother(X,Z).</r2ml:SourceCode> <dc:subject>Uncle definition</dc:subject> <dc:creator>Adrian Giurca</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:contributor>Sergey Lukichev</dc:contributor> <dc:title>Uncle Rule</dc:title> <dc:description>REWERSE I1 Rules Markup Language</dc:description> <dc:date>2006-04-06</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:GenericAtom r2ml:predicateID="parent"> <r2ml:arguments> <r2ml:GenericVariable r2ml:name="X"/> <r2ml:GenericVariable r2ml:name="Y"/> </r2ml:arguments> </r2ml:GenericAtom> <r2ml:GenericAtom r2ml:predicateID="brother"> <r2ml:arguments> <r2ml:GenericVariable r2ml:name="X"/> <r2ml:GenericVariable r2ml:name="Z"/> </r2ml:arguments> </r2ml:GenericAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:GenericAtom r2ml:predicateID="uncle"> <r2ml:arguments> <r2ml:GenericVariable r2ml:name="Z"/> <r2ml:GenericVariable r2ml:name="Y"/> </r2ml:arguments> </r2ml:GenericAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR002"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain">The successor of a natural number is a natural number</r2ml:RuleText> <r2ml:SourceCode r2ml:language="Prolog">natural_number(succ(N)):-natural_number(N).</r2ml:SourceCode> <dc:subject>Defining natural numbers</dc:subject> <dc:creator>Adrian Giurca</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:contributor>Sergey Lukichev</dc:contributor> <dc:title>Successor Rule</dc:title> <dc:date>2006-04-06</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:GenericAtom r2ml:predicateID="natural_number"> <r2ml:arguments> <r2ml:GenericVariable r2ml:name="N"/> </r2ml:arguments> </r2ml:GenericAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:GenericAtom r2ml:predicateID="natural_number"> <r2ml:arguments> <r2ml:GenericFunctionTerm r2ml:genericFunctionID="succ"> <r2ml:arguments> <r2ml:GenericVariable r2ml:name="N"/> </r2ml:arguments> </r2ml:GenericFunctionTerm> </r2ml:arguments> </r2ml:GenericAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR003" xmlns:fn="http://www.w3.org/2005/xpath-functions" xmlns:swrlb="http://www.w3.org/2003/11/swrlb"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain">A customer is premium if their spending has been min 5000 euro in the previous year.</r2ml:RuleText> <r2ml:SourceCode r2ml:language="RuleML"> <Implies> <head> <Atom> <Rel>premium</Rel> <Var>customer</Var> </Atom> </head> <body> <Atom> <Rel>spending</Rel> <Var>customer</Var> <Ind>min 5000 euro</Ind> <Ind>previous year</Ind> </Atom> </body> </Implies> </r2ml:SourceCode> <dc:creator>Adrian Giurca</dc:creator> <dc:title>Premium customer</dc:title> <dc:source>http://www.ruleml.org/papers/tutorial-ruleml-20050513.html</dc:source> <dc:date>2006-04-05</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:subtract"> <r2ml:dataArguments> <r2ml:DataVariable r2ml:name="previous_year" r2ml:datatypeID="xs:gYear"/> <r2ml:DatatypeFunctionTerm r2ml:datatypeFunctionID="fn:year-from-dateTime"> <r2ml:dataArguments> <r2ml:DatatypeFunctionTerm r2ml:datatypeFunctionID="fn:current-dateTime"> <r2ml:dataArguments/> </r2ml:DatatypeFunctionTerm> </r2ml:dataArguments> </r2ml:DatatypeFunctionTerm> <r2ml:TypedLiteral r2ml:datatypeID="xs:integer" r2ml:lexicalValue="1"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan"> <r2ml:dataArguments> <r2ml:DataOperationTerm r2ml:operationID="spending"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="customer" r2ml:classID="Customer"/> </r2ml:contextArgument> <r2ml:arguments> <r2ml:DataVariable r2ml:name="previous_year" r2ml:datatypeID="xs:gYear"/> </r2ml:arguments> </r2ml:DataOperationTerm> <r2ml:TypedLiteral r2ml:datatypeID="xs:positiveInteger" r2ml:lexicalValue="5000"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:ObjectClassificationAtom r2ml:classID="PremiumCustomer"> <r2ml:ObjectVariable r2ml:name="customer"/> </r2ml:ObjectClassificationAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR004"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain">The discount for a customer buying a product is 7.5 percent if the customer is premium and the product is luxury.</r2ml:RuleText> <r2ml:SourceCode r2ml:language="RuleML"> <Implies> <head> <Atom> <Rel>discount</Rel> <Var>customer</Var> <Var>product</Var> <Ind>7.5 percent</Ind> </Atom> </head> <body> <And> <Atom> <Rel>premium</Rel> <Var>customer</Var> </Atom> <Atom> <Rel>luxury</Rel> <Var>product</Var> </Atom> </And> </body> </Implies> </r2ml:SourceCode> <dc:subject>RuleML example in R2ML</dc:subject> <dc:creator>Adrian Giurca</dc:creator> <dc:title>Give discount</dc:title> <dc:source>http://www.ruleml.org/papers/tutorial-ruleml-20050513.html</dc:source> <dc:date>2006-04-05</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:ObjectClassificationAtom r2ml:classID="PremiumCustomer"> <r2ml:ObjectVariable r2ml:name="customer" r2ml:classID="Customer"/> </r2ml:ObjectClassificationAtom> <r2ml:ObjectClassificationAtom r2ml:classID="LuxuryProduct"> <r2ml:ObjectVariable r2ml:name="product" r2ml:classID="Product"/> </r2ml:ObjectClassificationAtom> <r2ml:AssociationAtom r2ml:associationPredicateID="buy"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="customer"/> <r2ml:ObjectVariable r2ml:name="product"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:AttributionAtom r2ml:attributeID="discount"> <r2ml:subject> <r2ml:ObjectVariable r2ml:name="customer"/> </r2ml:subject> <r2ml:dataValue> <r2ml:TypedLiteral r2ml:datatypeID="xs:decimal" r2ml:lexicalValue="7.5"/> </r2ml:dataValue> </r2ml:AttributionAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR005"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain"/> <r2ml:SourceCode r2ml:language="FLogic">FORALL X,Y,Z X[ancestor->>Y] - X[father->Z] AND Z[ancestor->>Y].</r2ml:SourceCode> <dc:subject>A rule from ancestor definition in F-Logic</dc:subject> <dc:creator>Adrian Giurca</dc:creator> <dc:source>http://www.ontoprise.de/content/e2/e29/e30/e490/e600/F-Logic_Tutorial_eng.pdf</dc:source> <dc:date>2006-05-05</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:ReferencePropertyAtom r2ml:referencePropertyID="father"> <r2ml:subject> <r2ml:ObjectVariable r2ml:name="X"/> </r2ml:subject> <r2ml:object> <r2ml:ObjectVariable r2ml:name="Z"/> </r2ml:object> </r2ml:ReferencePropertyAtom> <r2ml:ReferencePropertyAtom r2ml:referencePropertyID="ancestor"> <r2ml:subject> <r2ml:ObjectVariable r2ml:name="Z"/> </r2ml:subject> <r2ml:object> <r2ml:ObjectVariable r2ml:name="Y"/> </r2ml:object> </r2ml:ReferencePropertyAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:ReferencePropertyAtom r2ml:referencePropertyID="ancestor"> <r2ml:subject> <r2ml:ObjectVariable r2ml:name="X"/> </r2ml:subject> <r2ml:object> <r2ml:ObjectVariable r2ml:name="Y"/> </r2ml:object> </r2ml:ReferencePropertyAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR007"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain"/> <r2ml:SourceCode r2ml:language="SQL"><![CDATA[ CREATE VIEW part_locations (part, quantity, town) AS SELECT part, qty, city FROM inventory, location WHERE inventory.id = location.id ]]></r2ml:SourceCode> <dc:subject>SQL View as derivation rule</dc:subject> <dc:creator>Adrian Giurca</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:contributor>Sergey Lukichev</dc:contributor> <dc:title>SQL View Example</dc:title> <dc:date>2006-04-07</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:GenericAtom r2ml:predicateID="inventory"> <r2ml:arguments> <r2ml:GenericVariable r2ml:name="id"/> <r2ml:GenericVariable r2ml:name="part"/> <r2ml:GenericVariable r2ml:name="qty"/> </r2ml:arguments> </r2ml:GenericAtom> <r2ml:GenericAtom r2ml:predicateID="location"> <r2ml:arguments> <r2ml:GenericVariable r2ml:name="id"/> <r2ml:GenericVariable r2ml:name="city"/> </r2ml:arguments> </r2ml:GenericAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:GenericAtom r2ml:predicateID="part_locations"> <r2ml:arguments> <r2ml:GenericVariable r2ml:name="part"/> <r2ml:GenericVariable r2ml:name="qty"/> <r2ml:GenericVariable r2ml:name="city"/> </r2ml:arguments> </r2ml:GenericAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR008" xmlns:srv="http://www.services.org/EU-Rent/"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:DR_isAvailable.gif"> 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. </r2ml:RuleText> <r2ml:SourceCode r2ml:language="OCL"> context Branch::availableCar: RentalCar derive: self.storedCar -> select (c | not oclIsKindOf(RentalCarScheduledForService) and c.Rental --> isEmpty() ) </r2ml:SourceCode> <dc:creator>Sergey Lukichev</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:contributor>Adrian Giurca</dc:contributor> <dc:date>2006-04-07</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:AssociationAtom r2ml:isNegated="false" r2ml:associationPredicateID="srv:isStoredAt"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="rentalCar" r2ml:classID="srv:RentalCar"/> <r2ml:ObjectVariable r2ml:name="branch" r2ml:classID="srv:Branch"/> </r2ml:objectArguments> </r2ml:AssociationAtom> <r2ml:ObjectClassificationAtom r2ml:isNegated="true" r2ml:classID="srv:RentalCarScheduledForService"> <r2ml:ObjectVariable r2ml:name="rentalCar"/> </r2ml:ObjectClassificationAtom> <r2ml:AssociationAtom r2ml:isNegated="true" r2ml:associationPredicateID="srv:isAssignedTo"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="rentalCar" r2ml:classID="srv:rentalCar"/> <r2ml:ObjectVariable r2ml:name="rental" r2ml:classID="srv:Rental"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:AssociationAtom r2ml:isNegated="false" r2ml:associationPredicateID="srv:isAvailableAt"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="rentalCar" r2ml:classID="srv:RentalCar"/> <r2ml:ObjectVariable r2ml:name="branch" r2ml:classID="srv:Branch"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR009" xmlns:swrlb="http://www.w3.org/2003/11/swrlb" xmlns:srv="http://www.services.org/EU-Rent/"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:DR_scheduledService.gif"> 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. </r2ml:RuleText> <r2ml:SourceCode r2ml:language="OCL"> context RentalCar:: isScheduledForService:Boolean derive: last_maintenance_date >=90 or service_reading>5000 </r2ml:SourceCode> <dc:creator>Sergey Lukichev</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:contributor>Gerd Wagner</dc:contributor> <dc:date>2006-03-30</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:qf.Disjunction> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThanOrEqual"> <r2ml:dataArguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="last_maintenance_date"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="rentalCar" r2ml:classID="srv:RentalCar"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:TypedLiteral r2ml:lexicalValue="90" r2ml:datatypeID="xs:positiveInteger"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan"> <r2ml:dataArguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="service_reading"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="rentalCar"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:TypedLiteral r2ml:lexicalValue="5000" r2ml:datatypeID="xs:positiveInteger"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> </r2ml:qf.Disjunction> </r2ml:conditions> <r2ml:conclusion> <r2ml:ObjectClassificationAtom r2ml:classID="srv:RentalCarScheduledForService"> <r2ml:ObjectVariable r2ml:name="rentalCar"/> </r2ml:ObjectClassificationAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR010"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:DR_isHusband.png"> If a person is male and no bachelor then he is maried and a husband. </r2ml:RuleText> <dc:creator>Marco Pehla</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:date>2006-04-05</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:ObjectClassificationAtom r2ml:classID="Male"> <r2ml:ObjectVariable r2ml:name="m"/> </r2ml:ObjectClassificationAtom> <r2ml:ObjectClassificationAtom r2ml:classID="Bachelor" r2ml:isNegated="true"> <r2ml:ObjectVariable r2ml:name="b"/> </r2ml:ObjectClassificationAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:AssociationAtom r2ml:associationPredicateID="isMarriedTo"> <r2ml:objectArguments> <r2ml:ReferencePropertyFunctionTerm r2ml:referencePropertyID="husband"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="m" r2ml:classID="Male"/> </r2ml:contextArgument> </r2ml:ReferencePropertyFunctionTerm> <r2ml:ReferencePropertyFunctionTerm r2ml:referencePropertyID="wife"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="w" r2ml:classID="Female"/> </r2ml:contextArgument> </r2ml:ReferencePropertyFunctionTerm> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR011" xmlns:fn="http://www.w3.org/2005/xpath-functions" xmlns:swrlb="http://www.w3.org/2003/11/swrlb"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:DR_authenticate.png"> Any person who was some time in the last 2 months an employee of an organization which was some time in the last 2 months a W3C member may register. </r2ml:RuleText> <dc:creator>Marco Pehla</dc:creator> <dc:contributor>Adrian Giurca</dc:contributor> <dc:title>authentication</dc:title> <dc:source>http://www.ruleml.org/0.9/exa/authenticate.ruleml</dc:source> <dc:date>11-05-2006</dc:date> <r2ml:SourceCode r2ml:language="RuleML"> <Implies> <head> <Atom> <op> <Rel>may register</Rel> </op> <Var>any</Var> </Atom> </head> <body> <And> <Atom> <op> <Rel>person</Rel> </op> <Var>any</Var> </Atom> <Atom> <op> <Rel>organization</Rel> </op> <Var>org</Var> </Atom> <Atom> <op> <Rel>employee in</Rel> </op> <Var>any</Var> <Var>org</Var> <Cterm> <op> <Ctor>last</Ctor> </op> <Cterm> <op> <Ctor>month</Ctor> </op> <Ind>2</Ind> </Cterm> </Cterm> </Atom> <Atom> <op> <Rel>member in</Rel> </op> <Var>org</Var> <Ind uri="http://www.w3.org/">W3C</Ind> <Cterm> <op> <Ctor>last</Ctor> </op> <Cterm> <op> <Ctor>month</Ctor> </op> <Ind>2</Ind> </Cterm> </Cterm> </Atom> </And> </body> </Implies> </r2ml:SourceCode> </r2ml:Documentation> <r2ml:conditions> <r2ml:ObjectClassificationAtom r2ml:classID="Person"> <r2ml:ObjectVariable r2ml:name="p"/> </r2ml:ObjectClassificationAtom> <r2ml:ObjectClassificationAtom r2ml:classID="Organisation"> <r2ml:ObjectVariable r2ml:name="o"/> </r2ml:ObjectClassificationAtom> <r2ml:ObjectClassificationAtom r2ml:classID="W3C"> <r2ml:ObjectVariable r2ml:name="w" r2ml:classID="Organisation"/> </r2ml:ObjectClassificationAtom> <r2ml:AssociationAtom r2ml:associationPredicateID="isWorkingFor"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="employee" r2ml:classID="Person"/> <r2ml:ObjectVariable r2ml:name="org" r2ml:classID="Organisation"/> </r2ml:objectArguments> </r2ml:AssociationAtom> <r2ml:AssociationAtom r2ml:associationPredicateID="isMemberOf"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="org" r2ml:classID="Organisation"/> <r2ml:ObjectVariable r2ml:name="w3" r2ml:classID="W3C"/> </r2ml:objectArguments> </r2ml:AssociationAtom> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:subtract"> <r2ml:dataArguments> <r2ml:DataVariable r2ml:name="currentMonthMinusTwo" r2ml:datatypeID="xs:gMonth"/> <r2ml:DataOperationTerm r2ml:operationID="fn:month-from-dateTime"> <r2ml:arguments> <r2ml:DataOperationTerm r2ml:operationID="fn:current-dateTime"> <r2ml:arguments/> </r2ml:DataOperationTerm> </r2ml:arguments> </r2ml:DataOperationTerm> <r2ml:TypedLiteral r2ml:datatypeID="xs:integer" r2ml:lexicalValue="2"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan"> <r2ml:dataArguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="lastWorkingMonth"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="employee" r2ml:classID="Person"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:DataVariable r2ml:name="currentMonthMinusTwo" r2ml:datatypeID="xs:gMonth"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan"> <r2ml:dataArguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="lastW3cMembershipMonth"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="org" r2ml:classID="Organisation"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:DataVariable r2ml:name="currentMonthMinusTwo" r2ml:datatypeID="xs:gMonth"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:ObjectClassificationAtom r2ml:classID="PersonAllowedToRegister"> <r2ml:ObjectVariable r2ml:name="p" r2ml:classID="Person"/> </r2ml:ObjectClassificationAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR012" xmlns:fn="http://www.w3.org/2005/xpath-functions" xmlns:swrlb="http://www.w3.org/2003/11/swrlb"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:DR_broker.png">a simplified broker definition</r2ml:RuleText> <dc:creator>Marco Pehla</dc:creator> <dc:contributor>Adrian Giurca</dc:contributor> <dc:title>broker</dc:title> <dc:source>http://www.ruleml.org/0.9/exa/broker.ruleml</dc:source> <dc:date>24-05-2006</dc:date> <r2ml:SourceCode r2ml:language="RuleML"> <Implies> <head> <Atom> <op> <Rel>buy</Rel> </op> <Var>broker</Var> <Var>prod</Var> </Atom> </head> <body> <And> <Atom> <op> <Rel>want</Rel> </op> <Ind>customer-of-broker</Ind> <Var>prod</Var> </Atom> <Atom> <op> <Rel>deal</Rel> </op> <Var>prod</Var> <Cterm> <op> <Ctor>cost</Ctor> </op> <Ind>prod</Ind> </Cterm> <Ind>benefit-of-prod</Ind> </Atom> </And> </body> </Implies> </r2ml:SourceCode> </r2ml:Documentation> <r2ml:conditions> <r2ml:AssociationAtom r2ml:associationPredicateID="hasBroker"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="customer" r2ml:classID="Customer"/> <r2ml:ObjectVariable r2ml:name="broker" r2ml:classID="Broker"/> </r2ml:objectArguments> </r2ml:AssociationAtom> <r2ml:AssociationAtom r2ml:associationPredicateID="want"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="customer" r2ml:classID="Customer"/> <r2ml:ObjectVariable r2ml:name="prod" r2ml:classID="Product"/> </r2ml:objectArguments> </r2ml:AssociationAtom> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThanOrEqual"> <r2ml:dataArguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="benefit"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="prod" r2ml:classID="Product"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:AttributeFunctionTerm r2ml:attributeID="cost"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="prod" r2ml:classID="Product"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:AssociationAtom r2ml:associationPredicateID="buy"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="broker" r2ml:classID="Broker"/> <r2ml:ObjectVariable r2ml:name="prod" r2ml:classID="Product"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR013"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:DR_own.png">A person owns an object if it buys the object from a merchant and the keeps it.</r2ml:RuleText> <dc:creator>Marco Pehla</dc:creator> <dc:contributor>Adrian Giurca</dc:contributor> <dc:title>own</dc:title> <dc:source>http://www.ruleml.org/0.9/exa/own.ruleml</dc:source> <dc:date>29-05-2006</dc:date> <r2ml:SourceCode r2ml:language="RuleML"> <Implies> <head> <Atom> <op> <Rel>own</Rel> </op> <Var>person</Var> <Var>object</Var> </Atom> </head> <body> <And> <Atom> <op> <Rel>buy</Rel> </op> <Var>person</Var> <Var>merchant</Var> <Var>object</Var> </Atom> <Atom> <op> <Rel>keep</Rel> </op> <Var>person</Var> <Var>object</Var> </Atom> </And> </body> </Implies> </r2ml:SourceCode> </r2ml:Documentation> <r2ml:conditions> <r2ml:ReferencePropertyAtom r2ml:referencePropertyID="hasMerchant"> <r2ml:subject> <r2ml:ObjectVariable r2ml:name="person"/> </r2ml:subject> <r2ml:object> <r2ml:ObjectVariable r2ml:name="merchant"/> </r2ml:object> </r2ml:ReferencePropertyAtom> <r2ml:AssociationAtom r2ml:associationPredicateID="keep"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="person" r2ml:classID="Person"/> <r2ml:ObjectVariable r2ml:name="object" r2ml:classID="Object"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:AssociationAtom r2ml:associationPredicateID="own"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="person" r2ml:classID="Person"/> <r2ml:ObjectVariable r2ml:name="object" r2ml:classID="Object"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conclusion> </r2ml:DerivationRule> <r2ml:DerivationRule r2ml:ruleID="DR014"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:DR_recomment.png">If you want to review rule principles, you may have a look at the rule based system at http://www.cs.brandeis.edu .</r2ml:RuleText> <dc:creator>Marco Pehla</dc:creator> <dc:contributor>Adrian Giurca</dc:contributor> <dc:title>recommend</dc:title> <dc:source>http://www.ruleml.org/0.9/exa/recommend.ruleml</dc:source> <dc:date>30-05-2006</dc:date> <r2ml:SourceCode r2ml:language="RuleML"> <Implies> <head> <Atom> <op> <Rel>may look at</Rel> </op> <Var>you</Var> <Ind uri="http://www.cs.brandeis.edu/...">Rule-Based Systems</Ind> </Atom> </head> <body> <Atom> <op> <Rel>want to review</Rel> </op> <Var>you</Var> <Ind>rule principles</Ind> </Atom> </body> </Implies> <Atom> <op> <Rel>want to review</Rel> </op> <Ind>fred</Ind> <Ind>rule principles</Ind> </Atom> </r2ml:SourceCode> </r2ml:Documentation> <r2ml:conditions> <r2ml:AssociationAtom r2ml:associationPredicateID="wantsToReview"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="p" r2ml:classID="Person"/> <r2ml:ObjectVariable r2ml:name="rulePrinciples" r2ml:classID="Principles"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conditions> <r2ml:conclusion> <r2ml:AssociationAtom r2ml:associationPredicateID="lookAt"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="p" r2ml:classID="Person"/> <r2ml:ObjectVariable r2ml:name="rules" r2ml:classID="Resource" xmlns:b="http://www.brandeis.edu"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conclusion> </r2ml:DerivationRule> </r2ml:DerivationRuleSet> <!-- Production rule set --> <r2ml:ProductionRuleSet> <r2ml:ProductionRule xmlns:ex="org.drools.examples.TroubleTicketExample" r2ml:ruleID="Platinum_Priority"> <r2ml:Documentation> <dc:creator>Adrian Giurca</dc:creator> <r2ml:SourceCode r2ml:language="JBossRules"> package org.drools.examples import org.drools.examples.TroubleTicketExample.Customer; import org.drools.examples.TroubleTicketExample.Ticket; rule "Platinum Priority" when customer : Customer( subscription == "Platinum" ) ticket : Ticket( customer == customer, status == "New" ) then; ticket.setStatus( "Escalate" ); modify( ticket ); end </r2ml:SourceCode> </r2ml:Documentation> <r2ml:conditions> <r2ml:ObjectDescriptionAtom r2ml:classID="ex:Customer"> <r2ml:subject><r2ml:ObjectVariable r2ml:name="customer"/></r2ml:subject> <r2ml:DataSlot r2ml:attributeID="ex:subscription"> <r2ml:value><r2ml:TypedLiteral r2ml:lexicalValue="Platinum" r2ml:datatypeID="xs:string"/></r2ml:value> </r2ml:DataSlot> </r2ml:ObjectDescriptionAtom> <r2ml:ObjectDescriptionAtom r2ml:classID="ex:Ticket"> <r2ml:subject><r2ml:ObjectVariable r2ml:name="ticket"/></r2ml:subject> <r2ml:ObjectSlot r2ml:referencePropertyID="customer"> <r2ml:object><r2ml:ObjectVariable r2ml:name="customer"/></r2ml:object> </r2ml:ObjectSlot> <r2ml:DataSlot r2ml:attributeID="status"> <r2ml:value><r2ml:TypedLiteral r2ml:lexicalValue="New" r2ml:datatypeID="xs:string"/></r2ml:value> </r2ml:DataSlot> </r2ml:ObjectDescriptionAtom> </r2ml:conditions> <r2ml:producedAction> <r2ml:AssignActionExpression r2ml:propertyID="status"> <r2ml:contextArgument><r2ml:ObjectVariable r2ml:name="customer"/></r2ml:contextArgument> <r2ml:TypedLiteral r2ml:lexicalValue="Escalate" r2ml:datatypeID="xs:string"/> </r2ml:AssignActionExpression> </r2ml:producedAction> </r2ml:ProductionRule> <r2ml:ProductionRule r2ml:ruleID="PR001" xmlns:srv="http://www.services.org/EU-Rent/" xmlns:swrlb="http://www.w3.org/2003/11/swrlb"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:PR_AssignDiscount.gif"> If the order value is greater than 1000 and the customer type is not gold then give a 10% discount. </r2ml:RuleText> <r2ml:SourceCode r2ml:language="IRL"> when { IlrContext() from ?context; evaluate(orderValue >=1000 and !(customerRating equals "Gold")); } then discount = 10 </r2ml:SourceCode> <dc:creator>Sergey Lukichev</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:date>2006-04-05</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan"> <r2ml:dataArguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="orderValue"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="order" r2ml:classID="srv:Order"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:TypedLiteral r2ml:lexicalValue="1000" r2ml:datatypeID="xs:positiveInteger"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:equal" r2ml:isNegated="true"> <r2ml:dataArguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="customerRating"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="order" r2ml:classID="srv:Order"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:TypedLiteral r2ml:lexicalValue="gold" r2ml:datatypeID="xs:string"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> </r2ml:conditions> <r2ml:producedAction> <r2ml:AssignActionExpression r2ml:propertyID="srv:discount"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="order" r2ml:classID="srv:Order"/> </r2ml:contextArgument> <r2ml:TypedLiteral r2ml:lexicalValue="10" r2ml:datatypeID="xs:positiveInteger"/> </r2ml:AssignActionExpression> </r2ml:producedAction> </r2ml:ProductionRule> <r2ml:ProductionRule r2ml:ruleID="PR003" xmlns:swrlb="http://www.w3.org/2003/11/swrlb"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain">If the person age is less than 3 then send him a greeting.</r2ml:RuleText> <r2ml:SourceCode r2ml:language="JESS"> (defrule welcome-toddlers "Give a special greeting to young children" (< ( age ?person) 3) => (printout ?person "Hello, little one!" crlf)) </r2ml:SourceCode> <dc:subject>Give a special greeting to young children</dc:subject> <dc:creator>Adrian Giurca</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:contributor>Sergey Lukichev</dc:contributor> <dc:title>welcome-toddlers </dc:title> <dc:description>REWERSE I1 Rules Markup Language</dc:description> <dc:date>2006-03-30</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:lessThan"> <r2ml:dataArguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="age"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="person"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:TypedLiteral r2ml:lexicalValue="3" r2ml:datatypeID="xs:positiveInteger"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> </r2ml:conditions> <r2ml:producedAction> <r2ml:InvokeActionExpression r2ml:operationID="printout"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="person"/> </r2ml:contextArgument> <r2ml:arguments> <r2ml:TypedLiteral r2ml:lexicalValue="Hello, little one! crlf" r2ml:datatypeID="xs:string"/> </r2ml:arguments> </r2ml:InvokeActionExpression> </r2ml:producedAction> </r2ml:ProductionRule> <r2ml:ProductionRule r2ml:ruleID="aRule" xmlns:swrlb="http://www.w3.org/2003/11/swrlb"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain">If a person has a male sibling and the sibling is older then the person, the person has an older brother.</r2ml:RuleText> <r2ml:SourceCode r2ml:language="JESS"> (defrule aRule (Person (name ?x))(Man (name ?y)) (hasSibling ?x ?y)(hasAge ?x ?a1) (hasAge ?y ?a2)(test (> ?age2 ?age1)) => (assert (hasOlderBrother ?x ?y)) </r2ml:SourceCode> <dc:creator>Adrian Giurca</dc:creator> <dc:source>http://www.med.univ-rennes1.fr/~cgolb/Protege2005/SWRLJessOConnor.pdf</dc:source> <dc:date>2006-05-05</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:ReferencePropertyAtom r2ml:referencePropertyID="hasSibling"> <r2ml:subject> <r2ml:ObjectVariable r2ml:name="x" r2ml:classID="Person"/> </r2ml:subject> <r2ml:object> <r2ml:ObjectVariable r2ml:name="y" r2ml:classID="Man"/> </r2ml:object> </r2ml:ReferencePropertyAtom> <r2ml:ObjectDescriptionAtom r2ml:classID="Person"> <r2ml:subject> <r2ml:ObjectVariable r2ml:name="x"/> </r2ml:subject> <r2ml:DataSlot r2ml:attributeID="hasAge"> <r2ml:value> <r2ml:DataVariable r2ml:name="a1"/> </r2ml:value> </r2ml:DataSlot> </r2ml:ObjectDescriptionAtom> <r2ml:ObjectDescriptionAtom r2ml:classID="Man"> <r2ml:subject> <r2ml:ObjectVariable r2ml:name="y"/> </r2ml:subject> <r2ml:DataSlot r2ml:attributeID="hasAge"> <r2ml:value> <r2ml:DataVariable r2ml:name="a2"/> </r2ml:value> </r2ml:DataSlot> </r2ml:ObjectDescriptionAtom> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan"> <r2ml:dataArguments> <r2ml:DataVariable r2ml:name="a2"/> <r2ml:DataVariable r2ml:name="a1"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> </r2ml:conditions> <r2ml:producedAction> <r2ml:AssignActionExpression r2ml:propertyID="hasOlderBrother"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="x"/> </r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="y"/> </r2ml:AssignActionExpression> </r2ml:producedAction> </r2ml:ProductionRule> <r2ml:ProductionRule r2ml:ruleID="PR005" xmlns:swrlb="http://www.w3.org/2003/11/swrlb"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain" r2ml:ruleDiagram="examples:PR_RentalDiscount.gif" r2ml:ruleVocabularyDiagram="examples:Vocabulary.gif"> If reservation date of a rental is 5 days in advance then give rental a 10 % discount. </r2ml:RuleText> <dc:creator>Adrian Giurca</dc:creator> <dc:contributor>Gerd Wagner</dc:contributor> <dc:date>2006-04-05</dc:date> </r2ml:Documentation> <r2ml:conditions> <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThanOrEqual"> <r2ml:dataArguments> <r2ml:DataOperationTerm r2ml:operationID="minus"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="r" r2ml:classID="Rental"/> </r2ml:contextArgument> <r2ml:arguments> <r2ml:AttributeFunctionTerm r2ml:attributeID="startDate"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="sd" r2ml:classID="Rental"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> <r2ml:AttributeFunctionTerm r2ml:attributeID="reservationDate"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="rd" r2ml:classID="Rental"/> </r2ml:contextArgument> </r2ml:AttributeFunctionTerm> </r2ml:arguments> </r2ml:DataOperationTerm> <r2ml:TypedLiteral r2ml:lexicalValue="5" r2ml:datatypeID="xs:positiveInteger"/> </r2ml:dataArguments> </r2ml:DatatypePredicateAtom> </r2ml:conditions> <r2ml:producedAction> <r2ml:AssignActionExpression r2ml:propertyID="discount"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="r" r2ml:classID="Rental"/> </r2ml:contextArgument> <r2ml:TypedLiteral r2ml:lexicalValue="10" r2ml:datatypeID="xs:positiveInteger"/> </r2ml:AssignActionExpression> </r2ml:producedAction> </r2ml:ProductionRule> </r2ml:ProductionRuleSet> <r2ml:ReactionRuleSet> <r2ml:ReactionRule r2ml:ruleID="RR001" xmlns:swrlb="http://www.w3.org/2003/11/swrlb" xmlns:srv="www.example.org"> <r2ml:Documentation> <r2ml:RuleText r2ml:textFormat="plain"> On customer send a checkrequest, if the custumer the lineowner, check the line</r2ml:RuleText> <r2ml:SourceCode r2ml:language=""> on checkrequest(line, customer) if lineowner.equals(customer) do check(line) </r2ml:SourceCode> <dc:subject>Check a phoneline</dc:subject> <dc:creator>Jens Werner</dc:creator> <dc:contributor>Adrian Giurca</dc:contributor> <dc:title>CheckLine</dc:title> <dc:description>REWERSE I1 Rules Markup Language</dc:description> <dc:date>2006-10-01</dc:date> </r2ml:Documentation> <r2ml:triggeringEvent> <r2ml:MessageEventExpression r2ml:startTime="2006-10-01T09:00:00" r2ml:duration="P0Y0M0DT0H0M0S" r2ml:eventType="checkLine" r2ml:sender="service.org"> <r2ml:arguments> <r2ml:ObjectVariable r2ml:name="line" r2ml:classID="srv:PhoneLine"/> <r2ml:ObjectVariable r2ml:name="customer" r2ml:classID="srv:Customer"/> </r2ml:arguments> </r2ml:MessageEventExpression> </r2ml:triggeringEvent> <r2ml:conditions> <r2ml:AssociationAtom r2ml:associationPredicateID="isOwner"> <r2ml:objectArguments> <r2ml:ObjectVariable r2ml:name="line" r2ml:classID="srv:PhoneLine"/> <r2ml:ObjectVariable r2ml:name="customer" r2ml:classID="srv:Customer"/> </r2ml:objectArguments> </r2ml:AssociationAtom> </r2ml:conditions> <r2ml:producedAction> <r2ml:InvokeActionExpression r2ml:operationID="check"> <r2ml:contextArgument> <r2ml:ObjectVariable r2ml:name="line" r2ml:classID="srv:PhoneLine"/> </r2ml:contextArgument> </r2ml:InvokeActionExpression> </r2ml:producedAction> </r2ml:ReactionRule> </r2ml:ReactionRuleSet> </r2ml:RuleBase>
RESERVE