A question on RuleML

• From: ntts264 <ntts264@hcmpt.vnn.vn>
• Date: Wed, 7 Jan 2004 00:14:56 +0700
• To: www-rdf-rules@w3.org
• Message-Id: <200401061714.i06HEuhl013060@localhost.localdomain>

Hello,
What is the inference in RuleML?

Ex: If "A keeps a book" then "A owns the book".
Is this rule the inference?

Please tell me about this.
Thank you very much.
Sang Thi Thanh Nguyen
ntts264
e-mail: ntts264@hcmpt.vnn.vn

Received on Thursday, 8 January 2004 11:10:46 UTC