RE: what is a rule?

From: Wagner, G.R. ([email protected])
Date: 03/11/03

Next message: Ian Horrocks: "Re: DQL update, etc."

Previous message: Sandro Hawke: "use cases: log:semantics, log:includes, log:notIncludes"
Maybe in reply to: pat hayes: "what is a rule?"
Next in thread: pat hayes: "RE: what is a rule?"
Reply: pat hayes: "RE: what is a rule?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

> 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

Next message: Ian Horrocks: "Re: DQL update, etc."
Previous message: Sandro Hawke: "use cases: log:semantics, log:includes, log:notIncludes"
Maybe in reply to: pat hayes: "what is a rule?"
Next in thread: pat hayes: "RE: what is a rule?"
Reply: pat hayes: "RE: what is a rule?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
Mail actions: [ respond to this message ] [ mail a new topic ]

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