One of our papers received the distinguished paper award at RuleML+RR:

Combining Proofs for Description Logics and Concrete Domain Reasoning by Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova.

You can find the paper here.