Florian Fuchs Michael Berger Using Off-the-Shelf Reasoners for Reasoning over Distributed ABoxes. 2007 Description Logics http://ceur-ws.org/Vol-250/paper_35.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#FuchsB07