]> This file specifies in OWL, a vocabulary for framing rules All variables are instances of this class An instance of this class embodies a rule