RE: what is a rule?

From: Wagner, G.R. (G.R.Wagner@tm.tue.nl)
Date: 03/11/03

  • Next message: Ian Horrocks: "Re: DQL update, etc."
    > BTW, there is no such thing as a 'KIF rule', as far as I know. KIF 
    > can express implications, of course, but it is misleading to call 
    > these 'rules'.
    
    KIF makes a distinction between implications and rules: the 
    symbol "<<=" is used for rules, while "<=" is used for 
    implications.
    
    See http://meta2.stanford.edu/kif/Hypertext/node36.html 
    
    -Gerd
    


    This archive was generated by hypermail 2.1.4 : 03/11/03 EST