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.