RE: Owl entailment rules.

Hi Nitesh,
 
One question about this, this entailment rules are "inner" to the inference system or you hope that will be into OWL vocabulary? In this situation we need syntax for expressing rules. Do you know?
 
thanks.
	-----Original Message-----
	From: Nitesh Shrestha [mailto:shrestha@ipsi.fraunhofer.de] 
	Sent: miércoles, 11 de septiembre de 2002 13:23
	To: www-rdf-logic@w3.org
	Subject: Owl entailment rules.
	
	
	Hi,
	  I am working on all possible entailment rules for Lite OWL, so that inference system can be developed covering Lite OWL vocabulary. Please find the attached file of entailment rules. I would appreciate any kind of feedback on this.
	 
	Regards,
	Nitesh Shrestha.