]> RuleML definition of the RDF Concrete Syntax for the Semantic Web Rule Language $Id: swrl.ruleml,v 1.1 2005/03/11 10:36:12 vivien Exp $ implication (rule) rule head (consequent): List of Atom rule body (consequent): List of Atom indicate that a URI is being used as a variable common superclass can be a Literal or Resource can be a Literal or Resource consists of a classPredicate and argument1 consists of a propertyPredicate (owl:ObjectProperty), argument1 (owl:Thing), and argument2 (owl:Thing) consists of a propertyPredicate (owl:DatatypedProperty), argument1 (owl:Thing), and argument2 (rdfs:Literal) consists of argument1 (owl:Thing) and argument2 (owl:Thing) consists of argument1 (owl:Thing) and argument2 (owl:Thing) consists of a builtin and a List of arguments consists of a dataRange and argument1