Re: please keep Equality in the rule conclusion

> 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 UTC