Carlos Areces, Daniel GorÃn, Alejandra Lorenzo, Mariano Pérez RodrÃguez. Testing Provers on a Grid - Framework Description. In Bernardo Cuenca Grau, Ian Horrocks, Boris Motik, Ulrike Sattler, editors, Proceedings of the DL Home 22nd International Workshop on Description Logics (DL 2009), Oxford, UK, July 27-30, 2009. Volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, 2009. [doi]
Abstract is missing.