Paulo Pinheiro da Silva, Deborah L. McGuinness, Nicholas Del Rio, Li Ding. Inference Web in Action: Lightweight Use of the Proof Markup Language. In Amit P. Sheth, Steffen Staab, Mike Dean, Massimo Paolucci, Diana Maynard, Timothy W. Finin, Krishnaprasad Thirunarayan, editors, The Semantic Web - ISWC 2008, 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008. Proceedings. Volume 5318 of Lecture Notes in Computer Science, pages 847-860, Springer, 2008.
Abstract is missing.