W3C home > Mailing lists > Public > public-rif-comments@w3.org > February 2010

Re: please keep Equality in the rule conclusion

From: Sandro Hawke <sandro@w3.org>
Date: Wed, 24 Feb 2010 18:33:22 -0500
To: Dan Connolly <connolly@w3.org>
cc: public-rif-comments@w3.org
Message-ID: <2874.1267054402@waldron>

> Use case: writing the pD* semantics of OWL in RIF.
> 
> http://www.ontotext.com/inference/rdfs_rules_owl.html#horst05

Dan, speaking for myself (not the WG):

Thanks for the use case; our main concern is about how hard it is to
implement without impacting performance.  Do you have any data on that?
Note, in particular, this test case:

   http://www.w3.org/2005/rules/wiki/Equality_in_conclusion_3

Thanks!

      -- Sandro
Received on Wednesday, 24 February 2010 23:33:25 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Wednesday, 24 February 2010 23:33:26 GMT