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 Connolly, W3C http://www.w3.org/People/Connolly/
gpg D3C2 887B 0F92 6005 C541  0875 0F91 96DE 6E52 C29E

Received on Wednesday, 24 February 2010 22:13:02 UTC