Luciano Serafini, Andrei Tamilin. Local Tableaux for Reasoning in Distributed Description Logics. In Volker Haarslev, Ralf Möller, editors, Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004. Volume 104 of CEUR Workshop Proceedings, CEUR-WS.org, 2004. [doi]
Abstract is missing.