Owl entailment rules.

From: Nitesh Shrestha <shrestha@ipsi.fraunhofer.de>
Date: Wed, 11 Sep 2002 13:23:20 +0200
To: <www-rdf-logic@w3.org>
Message-ID: <000001c25985$a23ec3e0$95240c8d@pcpersimmon>

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.

Attachments

application/pdf attachment: owl-entailment-rules.pdf

Received on Wednesday, 11 September 2002 07:23:52 UTC