Hi Jakob
I'm not aware of a paper dealing specifically with the comparisons that you listed, though there are some papers that do discuss the close relationship between ORM and SBVR. There are many rule languages around, based on various logics, and Common Logic (now an ISO standard) is one attempt to facilitate interchange between them.
Ontology languages such as OWL also have basic inferencing capabilities, based on description logic, and extended datalog is even more powerful. I'm currently writing a series of articles for the Business Rules Journal that approaches ontology languages and datalog from the perspective of information modeling (as done in ORM, ER and UML). The first 4 articles in this series are available from http://www.brcommunity.com/index.php, with many more to follow.
Hope this helps
Terry